A comparison between monoidal and substructural logics

DOI10.1080/11663081.2016.1179528zbMath1398.03101OpenAlexW2495156561MaRDI QIDQ4586159

Clayton Peterson

Publication date: 12 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2016.1179528

zbMATH Keywords

linear logicrelevance logicnon-classical logicsdisplay logicclassical systemsDe Morgan dualities

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (max. 100)

Monoidal logics: completeness and classical systems

Cites Work

• The categorical imperative: category theory as a foundation for deontic logic
• Linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Proof analysis in intermediate logics
• Weakly distributive categories
• Residuated lattices. An algebraic glimpse at substructural logics
• Natural deduction and coherence for weakly distributive categories
• Full intuitionistic linear logic
• A survey of abstract algebraic logic
• On a contraction-less intuitionistic propositional logic with conjunction and fusion
• Display logic
• Contrary-to-duty reasoning: a categorical approach
• From a geometrical point of view. A study of the history and philosophy of category theory
• Falsification, natural deduction and bi-intuitionistic logic
• The History of Categorical Logic: 1963–1977
• The Mathematics of Sentence Structure
• Classical BI: Its Semantics and Proof Theory
• Completeness Results for Lambek Syntactic Calculus
• The Logic of Bunched Implications
• Games and full completeness for multiplicative linear logic
• Powerset Residuated Algebras and Generalized Lambek Calculus
• Substructural logics on display
• Axiomatic Extensions of Hohle's Monoidal Logic
• A dialectica-like model of linear logic
• Category Theory
• Deductive systems and categories
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A comparison between monoidal and substructural logics