Multiplicative Conjunction as an Extensional Conjunction

DOI10.1093/JIGPAL/5.2.181MaRDI QIDQ3126403zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(11)

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

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)