An improved proof procedure

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

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,264

External links

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

Through your library

Similar books and articles

Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Extending Lambek grammars to basic categorial grammars.Wojciech Buszkowski - 1996 - Journal of Logic, Language and Information 5 (3-4):279-295.
.[author unknown] - unknown
A proof procedure for quantification theory.W. V. Quine - 1955 - Journal of Symbolic Logic 20 (2):141-149.
A uniform proof procedure for SCI tautologies.Aileen Michaels - 1974 - Studia Logica 33 (3):299 - 310.
Sense and Proof.Carlo Penco & Daniele Porello - 2010 - In M. D'agostino, G. Giorello, F. Laudisa, T. Pievani & C. Sinigaglia (eds.), New Essays in Logic and Philosophy of Science,. College Publicationss.
On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.

Analytics

Added to PP
2010-09-13

Downloads
71 (#171,361)

6 months
2 (#298,443)

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.
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. 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.
Doing arithmetic without diagrams.F. Malloy Brown - 1977 - Artificial Intelligence 8 (2):175-200.

View all 15 citations / Add more citations

References found in this work

Introduction to Mathematical Logic.Alonzo Church - 1944 - Princeton: Princeton University Press.
Introduction to Mathematical Logic.Alonzo Church - 1944 - London: Oxford University PRess.
Provability in Logic.STIG KANGER - 1957 - Stockholm, Almqvist & Wiksell.
Solvable Cases of the Decision Problem.Wilhelm Ackermann - 1954 - Amsterdam: North-Holland Pub. Co..

View all 16 references / Add more references