An Introduction to Substructural Logics [Paperback]

Greg Restall (Author)

Book Description

ISBN-10: 041521534X | ISBN-13: 978-0415215343 | Publication Date: February 3, 2000 | Edition: First Edition

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. An Introduction to Substrucural Logics is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered:
* Proof Theory
* Propositional Structures
* Frames
* Decidability
* Coda
Both students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading.

Editorial Reviews

Review

Greg Lestall offers a comprehensive introduction to substructural logics, some examples of which are relevant logics, linear logic, the Lambek calculus, and Lukasiewicz's many-valued logics. Restall discusses the question of what distinguishes these logics from classical logic; what motivates the creation of these logics; how theorums in the Lambek calculus are proved; what rules the Lambek calculus reinterprets or drops; what kinds of semantics can be given for these kinds of logics; and whether these logics are decidable. In every case Restall's book does a good job of presenting answers to these questions..
–Teaching Philosophy

About the Author

Greg Restall, Macquarie University

Product Details

• Paperback: 400 pages
• Publisher: Routledge; First Edition edition (February 3, 2000)
• Language: English
• ISBN-10: 041521534X
• ISBN-13: 978-0415215343
• Product Dimensions: 9 x 6.1 x 1.3 inches
• Shipping Weight: 1.4 pounds (View shipping rates and policies)
• Amazon Best Sellers Rank: #1,636,077 in Books (See Top 100 in Books)

More About the Author

Greg Restall teaches and researches in Logic and Philosophy at the University of Melbourne. He's likes the way his work oscillates between the discursive and the technical. When proving a theorem is too difficult, there's always handwaving. When coming up with a good explanation for something doesn't work, we can retreat into technicalities. Greg blogs at consequently.org.