Substructural logics: a primer
BCK-logiccut eliminationLambek calculuslinear logicrelevance logicsequent calculusstructural rulesubstructural logic
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
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.
- scientific article; zbMATH DE number 1907195
- Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra \& Substructural Logics -- Take 6), Cagliari, Italy, June 11--13, 2018
- Current trends in substructural logics
- scientific article; zbMATH DE number 591901
- Proof theory. Sequent calculi and related formalisms
- Investigations into a left-structural right-substructural sequent calculus
- Off-line parsability and the well-foundedness of subsumption
- Meeting strength in substructural logics
- Quine and Slater on paraconsistency and deviance
- Substructural logics with mingle
- The Archimedean property: new horizons and perspectives
- Contraction, infinitary quantifiers, and omega paradoxes
- A simple sequent calculus for Angell's logic of analytic containment
- Anything goes
- Naive structure, contraction and paradox
- -autonomous lattices
- Structural weakening and paradoxes
- Join-completions of partially ordered algebras
- Hopeful monsters: a note on multiple conclusions
- Validity, dialetheism and self-reference
- Residuated structures and orthomodular lattices
- Defining formal explanation in classical logic by substructural derivability
- Analytic tableaux for non-deterministic semantics
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
- Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra \& Substructural Logics -- Take 6), Cagliari, Italy, June 11--13, 2018
- Logics of left variable inclusion and Płonka sums of matrices
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Hypersequent and display calculi -- a unified perspective
- From natural to formal language: a case for logical pluralism
- An analytic calculus for the intuitionistic logic of proofs
- Hulls of ordered algebras: projectability, strong projectability and lateral completeness
- Instability and contraction. \textit{Méditations hégéliennes}. I
- Proper semantics for substructural logics, from a stalker theoretic point of view
- Minimal varieties of involutive residuated lattices
- MV-algebras and quantum computation
- \(\bigstar\)-autonomous lattices and fuzzy sets
- Variations on a theme of Curry
- The logics of strict-tolerant logic
- Current trends in substructural logics
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
- Editorial introduction: substructural logics and metainferences
- The original sin of proof-theoretic semantics
- On structural contraction and why it fails
- On when a disjunction is informative. Ambiguous connectives and a realist commitment to pluralism
- Bilateral relevant logic
- Reasoning About Substructures and Games
- Contractions of noncontractive consequence relations
- On split negation, strong negation, information, falsification, and verification
- Open reading and free choice permission: a perspective in substructural logics
- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
- Skolemization for Substructural Logics
- scientific article; zbMATH DE number 5289966 (Why is no real title available?)
- A non commutative generalization of *-autonomous lattices
- Gaggles, Gentzen and Galois: how to display your favourite substructural logic
- scientific article; zbMATH DE number 591901 (Why is no real title available?)
- A Useful Substructural Logic
- scientific article; zbMATH DE number 1107619 (Why is no real title available?)
- scientific article; zbMATH DE number 1975400 (Why is no real title available?)
- scientific article; zbMATH DE number 2070197 (Why is no real title available?)
- scientific article; zbMATH DE number 2079266 (Why is no real title available?)
- Subprevarieties versus extensions. Application to the logic of paradox
- Substructural epistemic logics
- Judgement aggregation in non-classical logics
- scientific article; zbMATH DE number 1870417 (Why is no real title available?)
- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- Logical consequence and the paradoxes
- Informational semantics as a third alternative?
- A paraconsistent and substructural conditional logic
- Connecting sequent calculi with Lorenzen-style dialogue games
- scientific article; zbMATH DE number 7297101 (Why is no real title available?)
- Belief revision, probabilism, and logic choice
- A recovery operator for nontransitive approaches
- LP, K3 and FDE as substructural logics
- Substructural logic and partial correctness
- SUBSTRUCTURAL INQUISITIVE LOGICS
- An abstract approach to consequence relations
- Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
- Substructural Logics in Natural Deduction
- LK, LJ, dual intuitionistic logic, and quantum logic
- Weak disharmony: some lessons for proof-theoretic semantics
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics
- The nature of entailment: an informational approach
- (Meta)inferential levels of entailment beyond the Tarskian paradigm
- Towards substructural property-based testing
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- Structural Rules in Natural Deduction with Alternatives
- Hiroakira Ono on Substructural Logics
- Semiconic idempotent logic. I: Structure and local deduction theorems.
- Relevant consequence relations: an invitation
- On the non-substantiality of logic: a case study
- Univocity of intuitionistic and classical connectives
- Truthmakers and relevance for FDE, LP, K3, and CL
- A gentle introduction to the Leibniz hierarchy
- Equivalence of multiset-based consequence relations
- Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
- Proof theory of abelian connexive logics
- Tree-verifiable graph grammars
- Proof-theoretic analysis of subabelian lattice logic
- Reflecting rules: a note on generalizing the deduction theorem
This page was built for publication: Substructural logics: a primer
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1405890)
