Substructural logics: a primer (Q1405890)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Substructural logics: a primer |
scientific article |
Statements
Substructural logics: a primer (English)
0 references
8 September 2003
0 references
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.
0 references
substructural logic
0 references
sequent calculus
0 references
structural rule
0 references
cut elimination
0 references
linear logic
0 references
relevance logic
0 references
Lambek calculus
0 references
BCK-logic
0 references