A comparison between monoidal and substructural logics

DOI10.1080/11663081.2016.1179528MaRDI QIDQ4586159zbMATH OpenOpenAlexFDO

Authors 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

classical systemsDe Morgan dualitiesdisplay logiclinear logicnon-classical logicsrelevance logic

Mathematics Subject Classification ID

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

Recommendations

• Monoidal logics: completeness and classical systems
• Conditional normative reasoning with substructural logics
• scientific article; zbMATH DE number 65539
• scientific article; zbMATH DE number 1907195
• Hiroakira Ono on Substructural Logics

Cites work

• *-autonomous categories. With an appendix by Po-Hsiang Chu
• A dialectica-like model of linear logic
• A survey of abstract algebraic logic
• Axiomatic Extensions of Hohle's Monoidal Logic
• Category Theory
• Classical BI: Its Semantics and Proof Theory
• Completeness Results for Lambek Syntactic Calculus
• Contrary-to-duty reasoning: a categorical approach
• Deductive systems and categories
• Display logic
• Falsification, natural deduction and bi-intuitionistic logic
• From a geometrical point of view. A study of the history and philosophy of category theory
• Full intuitionistic linear logic
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Games and full completeness for multiplicative linear logic
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1735985 (Why is no real title available?)
• scientific article; zbMATH DE number 1024333 (Why is no real title available?)
• scientific article; zbMATH DE number 1059893 (Why is no real title available?)
• scientific article; zbMATH DE number 2070197 (Why is no real title available?)
• scientific article; zbMATH DE number 2134910 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 1406803 (Why is no real title available?)
• scientific article; zbMATH DE number 1406811 (Why is no real title available?)
• scientific article; zbMATH DE number 975284 (Why is no real title available?)
• scientific article; zbMATH DE number 3264054 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Linear logic
• Natural deduction and coherence for weakly distributive categories
• On a contraction-less intuitionistic propositional logic with conjunction and fusion
• Powerset Residuated Algebras and Generalized Lambek Calculus
• Proof analysis in intermediate logics
• Proof analysis in non-classical logics
• Relating sequent calculi for bi-intuitionistic propositional logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Substructural logics on display
• The categorical imperative: category theory as a foundation for deontic logic
• The History of Categorical Logic: 1963–1977
• The Logic of Bunched Implications
• The Mathematics of Sentence Structure
• Weakly distributive categories

Cited in

(1)

• Monoidal logics: completeness and classical systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4586159)