Greg Restall

An Introduction to Substructural Logics

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: Taylor & Francis Ltd
• Seitenzahl: 400
• Erscheinungstermin: 16. Dezember 1999
• Englisch
• Abmessung: 241mm x 162mm x 32mm
• Gewicht: 602g
• ISBN-13: 9780415215343
• ISBN-10: 041521534X
• Artikelnr.: 21048112

Autorenporträt

Greg Restall is Senior Lecturer in Philosophy at Macquarie University in Sydney, Australia.

Inhaltsangabe

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