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