Multiplicative Conjunction as an Extensional Conjunction

DOI10.1093/jigpal/5.2.181zbMath0867.03019OpenAlexW1978438394MaRDI QIDQ3126403

Arnon Avron

Publication date: 2 June 1997

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

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

zbMATH Keywords

relevancecontractionparaconsistencytranslationsubstructural logicshypersequentsmultiplicative linear logiccut-free Gentzen-type formulationmultiplicative fragmentinfinite-valued semantics

Mathematics Subject Classification ID

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

Related Items (10)

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

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