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

contractioncut-free Gentzen-type formulationhypersequentsinfinite-valued semanticsmultiplicative fragmentmultiplicative linear logicparaconsistencyrelevancesubstructural logicstranslation

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) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

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)

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

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)