The compatibility of relevance and mingle

DOI10.1007/BF00247955zbMath0651.03016OpenAlexW33509043MaRDI QIDQ1106195

S. H. Smith

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1007/bf00247955

zbMATH Keywords

relevant logicminimal negationmingle axiom

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (6)

A general characterization of the variable-sharing property by means of logical matrices ⋮ Natural deduction and sequent calculus for intuitionistic relevant logic ⋮ Blocking the routes to triviality with depth relevance ⋮ Fragments of R-mingle ⋮ Variable sharing in connexive logic ⋮ On purely relevant logics

This page was built for publication: The compatibility of relevance and mingle