Intensional interpretations of functionals of finite type I

Journal of Symbolic Logic 32 (2):198-212 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271658

Other Versions

reprint Tait, W. W. (1975) "Intensional Interpretations of Functionals of Finite Type I". Journal of Symbolic Logic 40(4):624-625

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,191

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

W. W. Tait. Intensional interpretations of functionals of finite type I. The journal of symbolic logic, vol. 32 , pp. 198–212. [REVIEW]J. Y. Girard - 1975 - Journal of Symbolic Logic 40 (4):624-625.
W. W. Tait. The substitution method. The journal of symbolic logic, Bd. 30 , S. 175–192.K. Schütte - 1973 - Journal of Symbolic Logic 38 (4):660.
Compact and majorizable functionals of finite type.Marc Bezem - 1989 - Journal of Symbolic Logic 54 (1):271-280.
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.
W. W. Tait. A counterexample to a conjecture of Scott and Suppes. The Journal of symbolic logic, vol. 24 no. 1 , pp. 15–16. [REVIEW]Robert L. Causey - 1968 - Journal of Symbolic Logic 33 (2):288-288.
Tait W. W.. Nested recursion. Mathematische Annalen, Bd. 143 , S. 236–250.Rózsa Péter - 1963 - Journal of Symbolic Logic 28 (1):103-104.
Georg Kreisel and William W. Tait. Finite definability of number-theoretic functions and parametric completeness of equational calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 28–38. [REVIEW]Rohit Parikh - 1967 - Journal of Symbolic Logic 32 (2):270-271.
Tait W. W.. A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic. Bulletin of the American Mathematical Society, vol. 72 , pp. 980–983. [REVIEW]Moto-O. Takahashi - 1968 - Journal of Symbolic Logic 33 (2):289-290.

Analytics

Added to PP
2009-01-28

Downloads
161 (#153,769)

6 months
18 (#193,370)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William W. Tait
University of Chicago

Citations of this work

Proof-Theoretic Semantics.Peter Schroeder-Heister - 2024 - Stanford Encyclopedia of Philosophy.
The Harmony of Identity.Ansten Klev - 2019 - Journal of Philosophical Logic 48 (5):867-884.
Setting the Facts Straight.Mark Jago - 2011 - Journal of Philosophical Logic 40 (1):33-54.

View all 44 citations / Add more citations

References found in this work

Add more references