An improved proof procedure

Theoria 26 (2):102-139 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1960.tb00558.x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Dag Prawitz, Håkon Prawitz, and Neri Voghera. A mechanical proof procedure and its realization in an electronic computer.Journal of the Association for Computing Machinery, vol. 7 , pp. 102–128. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-126.
Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410. [REVIEW]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.
Philosophical and logical publications of Dag Prawitz.[author unknown] - 1998 - Theoria 64 (2-3):338-343.
On the motives for proof theory.Michael Detlefsen - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer.
Proofs as Acts and Proofs as Objects: Some questions for Dag Prawitz.Göran Sundholm - 1998 - Theoria 64 (2-3):187-216.
Pluralism and the logical basis of metaphysics.N. Kurbis - 2007 - In Logica Yearbook.
Dimostrazioni e significato: Michael Dummett, Dag Prawitz, Per Martin-Löf.Enrico Moriconi - 1993 - Francoangeli.
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.

Analytics

Added to PP
2010-09-13

Downloads
93 (#226,124)

6 months
8 (#583,676)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dag Prawitz
Stockholm University

Citations of this work

Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.
Computer proofs of limit theorems.W. W. Bledsoe, R. S. Boyer & W. H. Henneman - 1972 - Artificial Intelligence 3 (C):27-60.
Towards the automation of set theory and its logic.Frank Malloy Brown - 1978 - Artificial Intelligence 10 (3):281-316.

View all 17 citations / Add more citations

References found in this work

Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
Provability in logic.Stig Kanger - 1957 - Stockholm,: Almqvist & Wiksell.
Solvable cases of the decision problem.Wilhelm Ackermann - 1954 - Amsterdam,: North-Holland Pub. Co..
The Logic Theory Machine -- A Complex Information Processing System.Allen Newell & Herbert A. Simon - 1956 - IRE Transactions on Information Theory 2 (3):61--79.

View all 16 references / Add more references