Publication:3605743
From MaRDI portal
zbMath1233.03030MaRDI QIDQ3605743
Publication date: 24 February 2009
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)
Related Items
METAVALUATIONS, The simple consistency of naive set theory using metavaluations, Distribution in the Logic of Meaning Containment and in Quantum Mechanics, Logic—The Big Picture