Substructural Logics

Substructural Logics

by Dosen Schroeder-Heister, Kosta Dosen, P. Schroeder-Heister
     
 

ISBN-10: 0198537778

ISBN-13: 9780198537779

Pub. Date: 12/28/1993

Publisher: Oxford University Press, USA

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

Overview

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.

Product Details

ISBN-13:
9780198537779
Publisher:
Oxford University Press, USA
Publication date:
12/28/1993
Series:
Studies in Logic and Computation Series, #2
Pages:
400
Product dimensions:
6.37(w) x 9.50(h) x 1.06(d)

Table of Contents

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

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >