Greg Restall

An Introduction to Substructural Logics (eBook, PDF)

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis
• Seitenzahl: 396
• Erscheinungstermin: 11. September 2002
• Englisch
• ISBN-13: 9781135111311
• Artikelnr.: 42831393

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