Title: An introduction to substructural logics /
Authors: Restall, Greg, 1969-
Publisher: Routlege,
Year: 2000
Subjects: Logic, Symbolic and mathematical.
Abstract: This is an introduction to 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.
Contents: 1. Introduction -- I. Proof Theory -- 2. Its, Ands and Ors -- 3. Modalities -- 4. Hilbert Systems -- 5. Theories -- 6. Gentzen Systems -- 7. Formulae as Types, Proofs as Terms -- II. Propositional Structures -- 8. Defining Propositional Structures -- 9. Manipulating Propositional Structures -- 10. Categories -- III. Frames -- 11. Frames I: Logics with Distribution -- 12. Frames II: Logics Rejecting Distribution -- 13. Frame Constructions -- IV. Decidability -- 14. Decision Procedures -- 15. Undecidability -- V. Coda -- 16. Using Substructural Logic.