Publication:4940716
From MaRDI portal
zbMath0941.03519MaRDI QIDQ4940716
Publication date: 28 February 2000
relevant logic; semantics; semantic normality; \(\vee\)-distribution; cut proofs; distribution-free systems
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Distribution in the Logic of Meaning Containment and in Quantum Mechanics, Displaying and deciding substructural logics. I: Logics with contraposition, Four-valued logic, Naive structure, contraction and paradox, Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning, Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic