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