The compatibility of relevance and mingle

DOI10.1007/BF00247955zbMath0651.03016MaRDI QIDQ1106195

S. H. Smith

Publication date: 1988

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

zbMATH Keywords

relevant logic; minimal negation; mingle axiom

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)