Elementary intuitionistic theories

Journal of Symbolic Logic 38 (1):102-134 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271732

Other Versions

No versions found

Links

PhilArchive



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

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

Kleene S. C.. Disjunction and existence under implication in elementary intuitionistic formalisms. [REVIEW]T. Thacher Robinson - 1963 - Journal of Symbolic Logic 28 (2):166-167.
Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories.Panu Raatikainen - 2003 - Journal of Symbolic Logic 68 (1):262-266.
Smoryński C.. Self-reference and modal logic. Universitext. Springer-Verlag, New York, Berlin, etc., 1985, xii + 333 pp. [REVIEW]George Boolos - 1988 - Journal of Symbolic Logic 53 (1):306-309.
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (3):317-330.
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.
Gilmore Paul Carl. The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic. English with Dutch Samenvatting. Dissertation Amsterdam 1953, viii + 25 pp.Gilmore P. C.. The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic. The same paper with omission of the preface and the Dutch summary. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 , pp. 162–186; also Indagationes mathematicae, vol. 15 , pp. 162–186. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):91-92.
G. Kreisel. Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. The journal of symbolic logic, vol. 23 no. 3 , pp. 317–330. [REVIEW]Joan Rand Moschovakis - 1967 - Journal of Symbolic Logic 32 (2):282-283.

Analytics

Added to PP
2009-01-28

Downloads
61 (#348,948)

6 months
16 (#187,025)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The eskolemization of universal quantifiers.Rosalie Iemhoff - 2010 - Annals of Pure and Applied Logic 162 (3):201-212.

View all 8 citations / Add more citations

References found in this work

Solvable Cases of the Decision Problem.[author unknown] - 1956 - Philosophy 31 (116):92-93.
Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
Deductive validity and reduction classes.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 26--28.

Add more references