Review: S. C. Kleene, On the Intuitionistic Logic [Book Review]

Journal of Symbolic Logic 14 (1):63-63 (1949)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268997

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

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

Review: S. C. Kleene, On the Interpretation of Intuitionistic Number Theory. [REVIEW]Andkzej Mostowski - 1947 - Journal of Symbolic Logic 12 (3):91-93.
Review: S. C. Kleene, Recursive Functions and Intuitionistic Mathematics. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (2):181-182.
Semantics-based Nonmonotonic Inference.Heinrich Wansing - 1995 - Notre Dame Journal of Formal Logic 36 (1):44-54.
Review: E. W. Beth, Semantic Construction of Intuitionistic Logic. [REVIEW]S. C. Kleene - 1957 - Journal of Symbolic Logic 22 (4):363-365.
Review: E. W. Beth, Semantical Considerations on Intuitionistic Mathematics. [REVIEW]S. C. Kleene - 1948 - Journal of Symbolic Logic 13 (3):173-173.
Review: S. C. Kleene, Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. [REVIEW]T. Thacher Robinson - 1963 - Journal of Symbolic Logic 28 (2):166-167.
Review: Robert R. Tompkins, On Kleene's Recursive Realizability as an Interpretation for Intuitionistic Elementary Number Theory. [REVIEW]R. E. Vesley - 1970 - Journal of Symbolic Logic 35 (3):475-475.
Review: N. A. Sanin, On the Constructive Interpretation of Mathematical Judgments; S. C. Kleene, A Formal System of Intuitionistic Analysis. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
Classical extensions of intuitionistic mathematics.S. C. Kleene - 1965 - In Yehoshua Bar-Hillel (ed.), Logic, Methodology and Philosophy of Science. Amsterdam: North-Holland Pub. Co.. pp. 2--31.
Disjunction and existence under implication in elementary intuitionistic formalisms.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (1):11-18.
An addendum: Disjunction and existence under implication in elementary intuitionistic formalisms.S. C. Kleene - 1963 - Journal of Symbolic Logic 28 (2):154-156.
Interpretations of Kleene's metamathematical predicate γ∣a in intuitionistic arithmetic.T. Thacher Robinson - 1965 - Journal of Symbolic Logic 30 (2):140-154.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Review: Zygmunt Zawirski, Genesis and Development of Intuitionistic Logic. [REVIEW]Andrzej Mostowski - 1947 - Journal of Symbolic Logic 12 (1):26-27.

Analytics

Added to PP
2013-11-22

Downloads
2 (#1,809,554)

6 months
1 (#1,478,830)

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