An Introduction to Substructural Logics

Front Cover
Psychology Press, 2000 - Mathematics - 381 pages
0 Reviews
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 Logicsis 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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Irs Ands and Ors
9
Modalities
47
Hilbert Systems
73
Theories
89
Gentzen Systems
105
Formulae as Types Proofs as Terms
127
Defining Propositional Structures
155
Manipulating Propositional Structures
189
Logics with Distribution
235
Logics Rejecting Distribution
275
Frame Constructions
295
Decision Procedures
313
Undecidability
323
Using Substructural Logic
339
Bibliography
349
Index
365

Categories
211

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

About the author (2000)

Macquarie University in Australia

Bibliographic information