Chapter 1 Introduction; Part 1 Proof Theory; Chapter 2 Ifs, Ands and Ors; Chapter 3 Chapter 3Modalities; Chapter 4 Hilbert Systems; Chapter 5 Theories; Chapter 6 Gentzen Systems; Chapter 7 Formulae as Types, Proofs as Terms; Part 2 Propositional Structures; Chapter 8 Defining Propositioned Structures; Chapter 9 Manipulating Propositional Structures; Chapter 10 Categories; Part 3 Frames; Chapter 11 Frames I: Logics with Distribution; Chapter 12 Frames II: Logics Rejecting Distribution; Chapter 13 Frame Constructions; Part 4 Decidability; Chapter 14 Decision Procedures; Chapter 15 Undecidability; Part 5 Coda; Chapter 16 Using Substructural Logic;
Greg Restall is Senior Lecturer in Philosophy at Macquarie University in Sydney, Australia.
"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... |
![]() |