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

&
Mathematical Logic Quarterly 11 (4):277-289 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19650110403

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Uwagi o okresie warunkowym, implikacji i entailmencie.Robert Łyczek - 2008 - Filozofia Nauki 2.
Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding.Thomas Lukasiewicz - 2005 - Synthese 146 (1-2):153 - 169.
A constructive negation for logics including TW+.Gemma Robles & José M. Méndez - 2005 - Journal of Applied Non-Classical Logics 15 (4):389-404.
How to reach legitimate decisions when the procedure is controversial.Franz Dietrich - 2005 - Social Choice and Welfare 1 (24):363-393.
Relevant generalization starts here (and here = 2).Dmitry Zaitsev & Oleg Grigoriev - 2010 - Logic and Logical Philosophy 19 (4):329-340.
A Decision Procedure for Evaluating Natural Language Arguments.Moti Mizrahi - 2012 - APA Newsletter on Teaching Philosophy 12 (1):11-12.
Gts and interrogative tableaux.Stephen Harris - 1994 - Synthese 99 (3):329 - 343.
A Question of Entailment.John O. Nelson - 1964 - Review of Metaphysics 18 (2):364 - 377.
On the redress of grievances.J. M. Alexander - 2013 - Analysis 73 (2):228-230.
Negation in Weak Positional Calculi.Marcin Tkaczyk - 2013 - Logic and Logical Philosophy 22 (1):3-19.
Review: T. J. Smiley, Entailment and Deducibility; Alan Ross Anderson, Nuel D. Belnap, The Pure Calculus of Entailment. [REVIEW]Jonathan Bennett - 1965 - Journal of Symbolic Logic 30 (2):240-241.
A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic.Storrs McCall - 1962 - Notre Dame Journal of Formal Logic 3 (2):120-122.
Review: Storrs McCall, A Simple Decision Procedure for One-Variable Implication/Negation Formulae in Intuitionist Logic. [REVIEW]Gene F. Rose - 1964 - Journal of Symbolic Logic 29 (4):212-212.

Analytics

Added to PP
2013-11-24

Downloads
16 (#855,572)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nuel Belnap
University of Pittsburgh

Citations of this work

The undecidability of entailment and relevant implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.
Intensional models for first degree formulas.Nuel D. Belnap - 1967 - Journal of Symbolic Logic 32 (1):1-22.
New Consecution Calculi for R→t.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references