Free Worldwide Shipping

Shop over 1 Million Toys in our Huge New Range

An Introduction to Substructural Logics


Product Description
Product Details


"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

Ask a Question About this Product More...
Write your question below:
Look for similar items by category
Home » Books » Nonfiction » Philosophy » General
Home » Books » Science » Mathematics » Logic
Home » Books » Nonfiction » Philosophy » Logic
People also searched for
Item ships from and is sold by Fishpond Retail Limited.
Back to top