Monoidal logics: completeness and classical systems

DOI10.1080/11663081.2018.1547513zbMath1444.03188OpenAlexW2931800015MaRDI QIDQ5379321

Clayton Peterson

Publication date: 28 May 2019

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

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

zbMATH Keywords

Lambek calculuslinear logicintuitionistic logicnon-classical logicsDe Morgan logicdisplay logics

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Proof analysis in intermediate logics
• Weakly distributive categories
• Algebra of proofs
• Continuation semantics for the Lambek-Grishin calculus
• Full intuitionistic linear logic
• Lattice logic properly displayed
• Multi-type display calculus for semi De Morgan logic
• Applications of formal philosophy. The road less travelled
• Displaying modal logic
• Display logic
• Bilattice logic properly displayed
• Contrary-to-duty reasoning: a categorical approach
• Falsification, natural deduction and bi-intuitionistic logic
• Multi-type display calculus for dynamic epistemic logic
• A Unified Display Proof Theory for Bunched Logic
• The Mathematics of Sentence Structure
• Non‐commutative intuitionistic linear logic
• Substructural logics on display
• A comparison between monoidal and substructural logics
• Deductive systems and categories
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic

This page was built for publication: Monoidal logics: completeness and classical systems