Syntactical and semantical properties of simple type theory

Journal of Symbolic Logic 25 (4):305-326 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963525

Other Versions

No versions found

Links

PhilArchive



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

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

Kurt Schütte. Syntactical and semantical properties of simple type theory. The journal of symbolic logic, vol. 25 no. 4 , pp. 305–326.Gaisi Takeuti - 1967 - Journal of Symbolic Logic 32 (3):418-419.
Syntactical and semantical properties of generalized quantifiers.Mitsuru Yasuhara - 1966 - Journal of Symbolic Logic 31 (4):617-632.
In Memoriam: Kurt Schütte 1909–1998.Wolfram Pohlers - 2000 - Bulletin of Symbolic Logic 6 (1):101-102.
Wilfried Buchholz and Kurt Schütte. Proof theory of impredicative subsystems of analysis. Studies in proof theory. Bibliopolis, Naples1988, 122 pp. [REVIEW]Gerhard Jäger - 1991 - Journal of Symbolic Logic 56 (1):332-333.
Reviews. Kurt Schütte. Beweistheorie. Springer-Verlag, Berlin-Göttingen-Heidelberg 1960, X + 355 pp. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.
Schütte Kurt. Schlussweisen-Kalküle der Prädikatenlogik. Mathematische Annalen, vol. 122 , pp. 47–65.Alfons Borgers - 1951 - Journal of Symbolic Logic 16 (2):155-156.
Schütte Kurt. Zur Widerspruchsfreiheit einer typenfreien Logik. Mathematische Annalen, Bd. 125 Heft 4 , S. 394–400.W. Ackermann - 1955 - Journal of Symbolic Logic 20 (1):67-67.
Kurt Schütte. Probleme und Methoden der Beweistheorie. Studium generale, vol. 18 , pp. 562–567.Paul Bernays - 1968 - Journal of Symbolic Logic 33 (4):604-605.
Schütte Kurt. Beweistheoretische Untersuchung der verzweigten Analysis. Mathematische Annalen, Bd. 124 , S. 123–147.Wilhelm Ackermann - 1953 - Journal of Symbolic Logic 18 (1):76-76.
Kurt Schütte. Der Interpolationssatz der intuitionistischen Prädikatenlogik. Mathematische Annalen, vol. 148 , pp. 192–200. [REVIEW]Ronald Harrop - 1964 - Journal of Symbolic Logic 29 (3):145-146.

Analytics

Added to PP
2009-01-28

Downloads
271 (#98,105)

6 months
24 (#126,575)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

One Step is Enough.David Ripley - 2021 - Journal of Philosophical Logic 51 (6):1-27.
One Step is Enough.David Ripley - 2022 - Journal of Philosophical Logic 51 (6):1233-1259.
Is cut-free logic fit for unrestricted abstraction?Uwe Petersen - 2022 - Annals of Pure and Applied Logic 173 (6):103101.
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.

View all 18 citations / Add more citations

References found in this work

Provability in Logic.Roland Hall - 1960 - Philosophical Quarterly 10 (41):376-376.
Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archiv für Philosophie 5 (4):375.

Add more references