Substructural Logics

BL A collection of papers by eminent logicians BL The only unified approach to this subject available Substructural logics are nonclassical logics which 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, to produce a unified view of substructural logics.