Review: J. R. Moschovakis, Disjunction and Existence in Formalized Intuitionistic Analysis [Book Review]

Journal of Symbolic Logic 35 (4):587-588 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

Glueing of analysis models in an intuitionistic setting.D. Dalen - 1986 - Studia Logica 45 (2):181 - 186.
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.
Classical and constructive hierarchies in extended intuitionistic analysis.Joan Rand Moschovakis - 2003 - Journal of Symbolic Logic 68 (3):1015-1043.
A negationless interpretation of intuitionistic theories. I.Victor N. Krivtsov - 2000 - Studia Logica 64 (1-2):323-344.
A negationless interpretation of intuitionistic theories.Victor N. Krivtsov - 2000 - Erkenntnis 53 (1-2):155-179.
A New Solution to a Problem of Hosoi and Ono.Michael Zakharyaschev - 1994 - Notre Dame Journal of Formal Logic 35 (3):450-457.
Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
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.
On the derivability of instantiation properties.Harvey Friedman - 1977 - Journal of Symbolic Logic 42 (4):506-514.
A negationless interpretation of intuitionistic theories. II.Victor N. Krivtsov - 2000 - Studia Logica 65 (1-2):155-179.
Unavoidable sequences in constructive analysis.Joan Rand Moschovakis - 2010 - Mathematical Logic Quarterly 56 (2):205-215.
Failures of Categoricity and Compositionality for Intuitionistic Disjunction.Jack Woods - 2012 - Thought: A Journal of Philosophy 1 (4):281-291.
Review: Paul Carl Gilmore, The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):91-92.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,389,828)

6 months
1 (#1,459,555)

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