Completeness and Hauptsatz for second order logic

Theoria 33 (3):246-258 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1967.tb00622.x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

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. 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.
Prawitz Dag. Hauptsatz for higher order logic.K. Schütte - 1974 - Journal of Symbolic Logic 39 (3):607.
Philosophical and logical publications of Dag Prawitz.[author unknown] - 1998 - Theoria 64 (2-3):338-343.
Proofs as Acts and Proofs as Objects: Some questions for Dag Prawitz.Göran Sundholm - 1998 - Theoria 64 (2-3):187-216.
A completeness theorem in second order modal logic.Nino B. Cocchiarella - 1969 - Theoria 35 (2):81-103.
Zucker J. I.. The adequacy problem for classical logic. Journal of philosophical logic, vol. 7 , pp. 517–535.Zucker J. I. and Tragesser R. S.. The adequacy problem for inferential logic. Journal of philosophical logic, pp. 501–516.Prawitz Dag. Proofs and the meaning and completeness of the logical constants. Essays on mathematical and philosophical logic, Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskyla, Finland, June 29-July 6,1976, edited by Hintikka Jaakko, Niiniluoto Ilkka, and Saarinen Esa, Synthese library, vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 25–40.Prawitz Dag. Meaning and proofs: on the conflict between classical and intuitionistic logic. Theoria, vol. 43 , pp. 2–40.Dummett M. A. E.. The justification of deduction. Proceedings of the British Academy, vol. 59 , pp. 201–232.Dummett Michael. The philosophical basis of intuitionistic logic. Logic Colloquium '73, Proceedings. [REVIEW]Richard E. Grandy - 1982 - Journal of Symbolic Logic 47 (3):689-694.
Normalization, Soundness and Completeness for the Propositional Fragment of Prawitz’ Ecumenical System.Luiz Carlos Pereira & Ricardo Oscar Rodriguez - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1153-1168.
A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic.W. W. Tait - 1968 - Journal of Symbolic Logic 33 (2):289-290.
Prawitz's completeness conjecture: A reassessment.Peter Schroeder-Heister - 2024 - Theoria 90 (5):492-514.

Analytics

Added to PP
2010-09-13

Downloads
90 (#240,824)

6 months
8 (#390,329)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dag Prawitz
Stockholm University

Citations of this work

Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.
Hauptsatz for higher order logic.Dag Prawitz - 1968 - Journal of Symbolic Logic 33 (3):452-457.
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing, Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.
Type theory.Thierry Coquand - 2008 - Stanford Encyclopedia of Philosophy.

View all 11 citations / Add more citations

References found in this work

Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
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.

View all 9 references / Add more references