A Decision Procedure For the System EĪ of Entailment with Negation

DOI10.1002/malq.19650110403zbMath0143.24902OpenAlexW1574367593MaRDI QIDQ5519120

John R. Wallace, Nuel D. jun. Belnap

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

zbMATH Keywords

mathematical logic

Related Items (14)

Current trends in substructural logics ⋮ Intensional models for first degree formulas ⋮ The undecidability of entailment and relevant implication ⋮ A relevant logic of questions ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs ⋮ On the decision problem for MELL ⋮ The contraction rule and decision problems for logics without structural rules ⋮ New consecution calculi for \(R^{t}_{\to}\) ⋮ Classical relevant logics. I ⋮ The complexity of decision procedures in relevance logic II ⋮ Cut-elimination theorem for relevant logics ⋮ Relevant analytic tableaux ⋮ On interpretation and separation theorems for the logical systems E and R

This page was built for publication: A Decision Procedure For the System E_Ī of Entailment with Negation