Hauptsatz for higher order logic

Journal of Symbolic Logic 33 (3):452-457 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270331

Other Versions

reprint Prawitz, Dag (1974) "Hauptsatz for Higher Order Logic". Journal of Symbolic Logic 39(3):607-607

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

Prawitz Dag. Hauptsatz for higher order logic.K. Schütte - 1974 - Journal of Symbolic Logic 39 (3):607.
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.
In memoriam: Michael Dummett 1925-2011.Dag Prawitz - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
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.
A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic.W. W. Tait - 1968 - Journal of Symbolic Logic 33 (2):289-290.
A New S4 Classical Modal Logic in Natural Deduction.Maria Da Paz N. Medeiros - 2006 - Journal of Symbolic Logic 71 (3):799 - 809.
Review: W. W. Tait, A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic. [REVIEW]Moto-O. Takashaih - 1968 - Journal of Symbolic Logic 33 (2):289-290.

Analytics

Added to PP
2009-01-28

Downloads
295 (#91,265)

6 months
21 (#136,938)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dag Prawitz
Stockholm University

Citations of this work

Sense and the computation of reference.Reinhard Muskens - 2004 - Linguistics and Philosophy 28 (4):473 - 504.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
A compact representation of proofs.Dale A. Miller - 1987 - Studia Logica 46 (4):347 - 370.
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.

View all 19 citations / Add more citations

References found in this work

Add more references