A decision procedure for the system "E"

Studia Logica 42:139 (1983)
  Copy   BIBTEX

Abstract

A system of natural deduction is presented whose set of theses is identical with that of the systemE of entailment. For that system a decision procedure is described proving the decidability ofE

Categories

Keywords

Reprint years

DOI

10.1007/bf01063835

Links

PhilArchive



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

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

Relational dual tableau decision procedure for modal logic K.Joanna Golińska-Pilarek, Emilio Munoz-Velasco & Angel Mora - 2012 - Logic Journal of the IGPL 20 (4):747-756.
Propositional temporal logics: decidability and completeness.O. Lichtenstein & A. Pneuli - 2000 - Logic Journal of the IGPL 8 (1):55-85.
Relational dual tableau decision procedure for modal logic K.Joanna Golińska-Pilarek, Emilio Muñoz-Velasco & Angel Mora-Bonilla - 2012 - Logic Journal of the IGPL 20 (4):747-756.
How to reach legitimate decisions when the procedure is controversial.Franz Dietrich - 2005 - Social Choice and Welfare 1 (24):363-393.
A Decision Procedure for Evaluating Natural Language Arguments.Moti Mizrahi - 2012 - APA Newsletter on Teaching Philosophy 12 (1):11-12.
On the redress of grievances.J. M. Alexander - 2013 - Analysis 73 (2):228-230.
An o-space decision procedure for the relevance logic b+.Luca Viganò - 2000 - Studia Logica 66 (3):385-407.
A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151-177.
Finite and Rational Tree Constraints.Torbjorn Keisu - 1994 - Logic Journal of the IGPL 2 (2):167-204.
A correction to Von Wright's decision procedure for the deontic system P.David Meredith - 1956 - Mind 65 (260):548-550.
An analysis and generalization of Venn's diagrammatic decision procedure.S. Łuszczewska-Romahnowa - 1953 - Studia Logica 1 (1):245-246.
Applying the Benchmarking Procedure: A Decision Criterion of Choice Under Risk. [REVIEW]Francesca Beccacece & Alessandra Cillo - 2006 - Theory and Decision 61 (1):75-91.
Complementarity of behavioral biases.Toru Suzuki - 2012 - Theory and Decision 72 (3):413-430.
Litigation in the U.s. And in the civil law system: What can we learn from each other?James R. Maxeiner - unknown
Review: Francis C. Oglesby, An Examination of a Decision Procedure; F. C. Oglesby, Report: An Examination of a Decision Procedure. [REVIEW]Abraham Robinson - 1963 - Journal of Symbolic Logic 28 (2):165-166.

Analytics

Added to PP
2009-01-28

Downloads
33 (#481,395)

6 months
6 (#508,040)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Entailment and relevance.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (2):144-146.
Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification.Alan Ross Anderson - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):201-216.

Add more references