Join Amazon Prime and ship Two-Day for free and Overnight for $3.99. Already a member? Sign in.
An Introduction to Substructural Logics
and over 140,000 other books are available for Amazon Kindle – Amazon’s new wireless reading device. Learn more
|
||||||||||||
Better Together
Customers Who Bought This Item Also Bought
Handbook of Paraconsistency (Studies in Logic (Logic & Cognitive Systems)) by J, Y Beziau
$35.75
|
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy) by Graham Priest  (1)
$31.49
|
An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy) by Peter Smith (2)
$26.99
|
Possibilities and Paradox: An Introduction to Modal and Many-Valued Logic by J. C. Beall  (1)
$39.95
|
Dynamic Epistemic Logic (Synthese Library) by Hans van Ditmarsch
$36.30
|
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
Product Description
This is the first book to systematically survey new areas of substructural logics. This book is geared to introduce the topic to advanced students. An Introduction to Substructural Logics covers the area of logic that is crucial to developments in computing, philosophy and linguistics.
See all Editorial Reviews
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
Product Description
This is the first book to systematically survey new areas of substructural logics. This book is geared to introduce the topic to advanced students. An Introduction to Substructural Logics covers the area of logic that is crucial to developments in computing, philosophy and linguistics.
See all Editorial Reviews
Product Details
Would you like to update product info or give feedback on images?
|
|
Inside This Book Citations: This book cites 65 books | 22 books that cite this book Explore: Citations | Books on Related Topics | Concordance | Text Stats Key Phrases - SIPs: substructural logics, consecution system, strong excluded middle, split negation, canonical accessibility relations (more) Key Phrases - CAPs: Exercises Practice, Left Push, Left Pop, Pair Extension Theorem, Slice Lemma (more) Browse Sample Pages: Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover | Surprise Me! |