W. W. Tait. A counterexample to a conjecture of Scott and Suppes. The Journal of symbolic logic, vol. 24 no. 1 , pp. 15–16 [Book Review]

Journal of Symbolic Logic 33 (2):288-288 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269884

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

A counterexample to a conjecture of Scott and Suppes.W. W. Tait - 1959 - Journal of Symbolic Logic 24 (1):15-16.
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.
Evans Ellis. On the language of converse relations. Analysis , vol. 16 no. 1 , pp. 15–24.Alonzo Church - 1956 - Journal of Symbolic Logic 21 (3):318-319.
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.
Stroll Avrum. A problem concerning the analysis of belief sentences. Analysis , vol. 14 no. 1 , pp. 15–19.Mellor W. W.. Believing the meaningless. Analysis, vol. 15 no. 2 , pp. 41–43. [REVIEW]E. J. Lemmon - 1956 - Journal of Symbolic Logic 21 (4):384-384.
Robert W. Ritchie. Classes of recursive functions based on Ackermann's function. Pacific journal of mathematics, vol. 15 , pp. 1027–1044. [REVIEW]Paul Axt - 1966 - Journal of Symbolic Logic 31 (4):654-654.
S. Feferman. Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 , no. 1, pp. 1–49. - W. N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 , no. 2, pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s theory of truth. The Journal of Symbolic Logic, vol. 71 , no. 2, pp. 667–712 - H. Friedman and M. Sheard. An axiomatic approach to self-referential truth.Annals of Pure and Applied Logic, vol. 33 , no. 1, pp. 1–21. - V. Halbach. A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 , no. 3, pp. 311–327. [REVIEW]Graham E. Leigh - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.
L. A. Bokut′. Ob odnom svojstvé grupp Buna . Algébra i logika, Séminar, vol. 5 no. 5 , pp. 5–23, and vol. 6 no. 1 , pp. 15–24. [REVIEW]D. J. Collins - 1968 - Journal of Symbolic Logic 33 (3):470-471.
Burks Arthur W., McNaughton Robert, Pollmar Carl H., Warren Don W., and Wright Jesse B.. The folded tree. Journal of the Franklin Institute, vol. 260 , pp. 9–24, 115–126. [REVIEW]Raymond J. Nelson - 1956 - Journal of Symbolic Logic 21 (3):334-334.

Analytics

Added to PP
2013-11-22

Downloads
18 (#1,111,327)

6 months
5 (#1,038,502)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references