A Decision Procedure For the System EĪ of Entailment with Negation
From MaRDI portal
Publication:5519120
DOI10.1002/malq.19650110403zbMath0143.24902MaRDI QIDQ5519120
Nuel D. jun. Belnap, John R. Wallace
Publication date: 1965
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19650110403
Related Items
The complexity of decision procedures in relevance logic II, Intensional models for first degree formulas, The contraction rule and decision problems for logics without structural rules, Classical relevant logics. I, Cut-elimination theorem for relevant logics, Relevant analytic tableaux, \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs, On interpretation and separation theorems for the logical systems E and R, European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988, The undecidability of entailment and relevant implication