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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 16:11, 31 January 2024

scientific article
Language Label Description Also known as
English
Substructural logics: a primer
scientific article

    Statements

    Substructural logics: a primer (English)
    0 references
    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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references