Multiplicative Conjunction as an Extensional Conjunction

DOI10.1093/JIGPAL/5.2.181zbMATH Open0867.03019OpenAlexW1978438394MaRDI QIDQ3126403FDOQ3126403

Authors: Arnon Avron 

Publication date: 2 June 1997

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d06d1c4a77ea9e0427623d920dcf8542243ef8a4

Recommendations

• Multiplicative conjunction and an algebraic meaning of contraction and weakening
• scientific article; zbMATH DE number 1463257
• scientific article; zbMATH DE number 1163926
• On purely relevant logics

zbMATH Keywords

contractionrelevanceparaconsistencysubstructural logicstranslationhypersequentsmultiplicative linear logiccut-free Gentzen-type formulationmultiplicative fragmentinfinite-valued semantics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (11)

• What is relevance logic?
• Relative congruence formulas and decompositions in quasivarieties
• Classical multiplicative linear logic \(\simeq\) intuitionistic MLL
• Combining classical logic, paraconsistency and relevance
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Fragments of R-mingle
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• Inconsistency lemmas in algebraic logic
• $$\mathbf {RM}$$ RM and its Nice Properties
• Multiplicative conjunction and an algebraic meaning of contraction and weakening
• Implicational F-structures and implicational relevance logics

This page was built for publication: Multiplicative Conjunction as an Extensional Conjunction

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