Substructural Logics - Hardcover
$167.99
Quantity
01
Pay over time for orders over $35.00 with
Offers & Perks
Earn 167 points with this purchase
Added to your rewards balance after checkout.
100 points welcome bonus
Create an account and start with extra points.
Availability:In StockContributor:Peter Schroeder-Heister, Kosta DosenSeries:Studies in Logic and ComputationPublish date:4/28/1994Pages:396
Languages:EnglishPublisher:Clarendon PressISBN-13:9780198537779ISBN-10:0198537778UPC:9780198537779Book Category:Mathematics, Computers, PhilosophyBook Subcategory:Logic, Logic DesignSize:9.12 x 6.94 x 1.09 inchesWeight:0.713Product ID:SCF5M256JW
Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories. This book brings together new papers by some of the most eminent authorities in these various traditions in order to provide a unified view of the field. This important volume--the first to bring together the disparate strands of work in substructural logics--will be welcomed by student and professional logicians, theoretical computer scientists, theoretical linguists, philosophers, and mathematicians working in category theory and universal algebra.
Languages:EnglishPublisher:Clarendon PressISBN-13:9780198537779ISBN-10:0198537778UPC:9780198537779Book Category:Mathematics, Computers, PhilosophyBook Subcategory:Logic, Logic DesignSize:9.12 x 6.94 x 1.09 inchesWeight:0.713Product ID:SCF5M256JW
Publisher: Clarendon Press
Contributor(s)
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Eligible items may be returned within 30 days of delivery. Conditions apply.