Substructural Logics [Hardcover]

Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories. This book brings together new papers by some of the most eminent authorities in these various traditions in order to provide a unified view of the field. This important volume--the first to bring together the disparate strands of work in substructural logics--will be welcomed by student and professional logicians, theoretical computer scientists, theoretical linguists, philosophers, and mathematicians working in category theory and universal algebra.

A historical introduction to substructural logics
Life in the undistributed middle
Theorems in classical logic are instances of theorems in condensed BCI logic
Partial gaggles applied to logics with restricted structural rules
A general theory of structured consequence relations
Decidability and interpolation for a first-order relevance logic
Logic without structural rules (another look at cut elimination)
From categorical grammar to bilinear logic
The semantics of entailment O
Lambda terms with functional symbols and decidability in certain closed categories
Tutorial on linear logic
The landscape of deduction
Index