Substructural logics: a primer (Q1405890): Difference between revisions

The study of substructural logics has rapidly developed in a few decades particularly, and now forms by itself an important and active research field in logic. As is imagined by its label ``substructural'', which, roughly speaking, means for a logical system to enjoy not all but only a part of the characteristics given by the so-called structural rules in the Gentzen-style sequential formalization, the subject covers many kinds of logical systems that have been introduced originally with several distinct motivations: philosophical, informational, linguistic, and so on. Accordingly, there are also various approaches to the subject depending on the concerning logical systems. This book provides a comprehensive view of the contemporary state of the development in propositional substructural logics. The author, beginning with an introduction to explain the reasons for dropping structural rules, leads the reader, without assuming any particular knowledge on the field, to their proof theory (especially on sequent calculi and their generalizations) as well as to their (algebraic and relational) semantics. Thus the book is designed for a wide readership; not only as an introductory textbook for graduate students (in philosophy, mathematics, theoretical computer science, theoretical linguistics, etc.) who have a working knowledge of elementary logic, but also as an up-to-date survey of the most important current research topics and problems for specialists and researchers in the area.