Intuitionistic Analysis and Gödel's Interpretation

Journal of Symbolic Logic 37 (2):404-404 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272993

Other Versions

No versions found

Links

PhilArchive



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

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

Mariko Yasugi. Intuitionistic analysis and Gödel's interpretation. Journal of the Mathematical Society of Japan, vol. 15 , pp. 101–112. [REVIEW]A. S. Troelstra - 1972 - Journal of Symbolic Logic 37 (2):404.
Takeuti Gaisi and Yasugi Mariko. The ordinals of the systems of second order arithmetic with the provably -comprehension axiom and with the -comprehension axiom respectively. Japanese journal of mathematics, vol. 41 , pp. 1–67. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):877-880.
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
Extending gödel's negative interpretation to ZF.William C. Powell - 1975 - Journal of Symbolic Logic 40 (2):221-229.
An intuitionistically plausible interpretation of intuitionistic logic.H. C. M. de Swart - 1977 - Journal of Symbolic Logic 42 (4):564-578.
A Philosophically Plausible Formal Interpretation of Intuitionistic Logic.Andrzej Grzegorczyk - 1971 - Journal of Symbolic Logic 36 (2):329-329.
An Interpretation of the Intuitionistic Propositional Calculus.John Dawson & A. S. Troelstra - 1990 - Journal of Symbolic Logic 55 (1):346-346.
On the interpretation of intuitionistic number theory.Stephen Cole Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.

Analytics

Added to PP
2015-02-05

Downloads
6 (#1,699,771)

6 months
3 (#1,481,767)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Bounded functional interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
The machinery of consistency proofs.Mariko Yasugi - 1989 - Annals of Pure and Applied Logic 44 (1-2):139-152.

Add more citations

References found in this work

No references found.

Add more references