- Hardcover: 400 pages
- Publisher: Routledge; 1 edition (16 Dec 1999)
- Language English
- ISBN-10: 0415215331
- ISBN-13: 978-0415215336
- Product Dimensions: 24 x 16.2 x 3.6 cm
- Amazon Bestsellers Rank: 3,695,319 in Books (See Top 100 in Books)
- See Complete Table of Contents
An Introduction to Substructural Logics
and over one million other books are available for Amazon Kindle .
Learn more
| ||||||||||||||||||||
Did you know you can trade in your old books for an Amazon.co.uk Gift Card to spend on the things you want? Plus, get an extra £5 Gift Certificate when you trade in books worth £10 or more before June 30, 2012. Visit the Books Trade-In Store for more details. |
Product details |
More About the Author
Product Description
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
-"Teaching Philosophy
Product Description
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.
* 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.
Inside This Book
(Learn More)
First Sentence
Given that logic is a discipline concerned with consequence, we will focus our attention on claims of the form X A where X is a body of premises, each one expressed in some language, and A is a conclusion also expressed in that language. Read the first page
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Given that logic is a discipline concerned with consequence, we will focus our attention on claims of the form X A where X is a body of premises, each one expressed in some language, and A is a conclusion also expressed in that language. Read the first page
Explore More
Concordance
Browse Sample PagesConcordance
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organise and find favourite items. |
What Other Items Do Customers Buy After Viewing This Item?
Customer Reviews
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
Look for similar items by category
Look for similar items by subject
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
|
