Monoidal logics: completeness and classical systems

DOI10.1080/11663081.2018.1547513MaRDI QIDQ5379321zbMATH OpenOpenAlexFDO

Authors 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

De Morgan logicdisplay logicsintuitionistic logicLambek calculuslinear logicnon-classical logics

Mathematics Subject Classification ID

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

Recommendations

• A comparison between monoidal and substructural logics
• Combinatory logic and the semantics of substructural logics
• scientific article; zbMATH DE number 970630
• Polarized classical non-associative Lambek calculus and formal semantics
• scientific article; zbMATH DE number 786485

Cites work

• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
• A comparison between monoidal and substructural logics
• A unified display proof theory for bunched logic
• Algebra of proofs
• Applications of formal philosophy. The road less travelled
• Bilattice logic properly displayed
• Continuation semantics for the Lambek-Grishin calculus
• Contrary-to-duty reasoning: a categorical approach
• Deductive systems and categories
• Display logic
• Displaying modal logic
• Falsification, natural deduction and bi-intuitionistic logic
• Full intuitionistic linear logic
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 3959364 (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 1406808 (Why is no real title available?)
• scientific article; zbMATH DE number 1406811 (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?)
• Lattice logic properly displayed
• Linear logic
• Multi-type display calculus for dynamic epistemic logic
• Multi-type display calculus for semi De Morgan logic
• Non‐commutative intuitionistic linear logic
• Proof analysis in intermediate logics
• Proof analysis in non-classical logics
• Relating sequent calculi for bi-intuitionistic propositional logic
• Substructural logics on display
• The Mathematics of Sentence Structure
• Weakly distributive categories

Cited in

(7)

• Logics for classes of Boolean monoids
• Unified Classical Logic Completeness
• scientific article; zbMATH DE number 1735985 (Why is no real title available?)
• scientific article; zbMATH DE number 2059955 (Why is no real title available?)
• A comparison between monoidal and substructural logics
• Axiomatic Extensions of Hohle's Monoidal Logic
• Monadic partition logics and finite automata

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

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