Studia Logica 60 (1):3-43 (1998)

Although resolution-based inference is perhaps the industry standard in automated theorem proving, there have always been systems that employed a different format. For example, the Logic Theorist of 1957 produced proofs by using an axiomatic system, and the proofs it generated would be considered legitimate axiomatic proofs; Wang’s systems of the late 1950’s employed a Gentzen-sequent proof strategy; Beth’s systems written about the same time employed his semantic tableaux method; and Prawitz’s systems of again about the same time are often said to employ a natural deduction format. [See Newell, et al (1957), Beth (1958), Wang (1960), and Prawitz et al (1960)]. Like sequent proof systems and tableaux proof systems, natural deduction systems retain..
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
DOI 10.1023/A:1005035316026
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,979
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.
First-Order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
Logic: Techniques of Formal Reasoning.Donald Kalish, Richard Montague & Gary Mar - 1964 - New York, NY, USA: Harcourt, Brace, and Jovanovich.
Logic: Techniques of Formal Reasoning.Donald Kalish - 1964 - New York: Harcourt, Brace & World.
Logic: Techniques of Formal Reasoning.Donald Kalish, Richard Montague & Gary Mar - 1964 - New York, NY, USA: Oxford University Press USA.

View all 16 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
A Note on the Proof Theory the λII-Calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.


Added to PP index

Total views
90 ( #129,413 of 2,504,871 )

Recent downloads (6 months)
6 ( #119,383 of 2,504,871 )

How can I increase my downloads?


My notes