Disjunction and existence under implication in elementary intuitionistic formalisms

Journal of Symbolic Logic 27 (1):11-18 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963675

Other Versions

reprint Kleene, S. C. (1963) "Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms". Journal of Symbolic Logic 28(2):166-167

Links

PhilArchive

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

An addendum: Disjunction and existence under implication in elementary intuitionistic formalisms.S. C. Kleene - 1963 - Journal of Symbolic Logic 28 (2):154-156.
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.
Kleene S. C.. On the interpretation of intuitionistic number theory.Andkzej Mostowski - 1947 - Journal of Symbolic Logic 12 (3):91-93.
Kleene S. C.. On the intuitionistic logic. Library of the Xth International Congress of Philosophy . Vol. I. Proceedings of the Congress. Preprint 1948, pp. 185–187. [REVIEW]Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (1):63-63.
Disjunction and Existence in Formalized Intuitionistic Analysis.J. R. Moschovakis - 1970 - Journal of Symbolic Logic 35 (4):587-588.
Kleene S. C.. Recursive functions and intuitionistic mathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, pp. 679–685. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (2):181-182.
Kleene S. C.. On notation for ordinal numbers.Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (2):93-94.
Kleene S. C.. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 1–26.Kleene S. C.. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 27–66.Kleene S. C.. Bibliography. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 67–68.Craig William. On axiomatizability within a system. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (1):62-63.
S. C. Kleene. An addendum. The journal of symbolic logic, vol. 28 no. 2 , pp. 154–156.T. Thacher Robinson - 1964 - Journal of Symbolic Logic 29 (3):146.
Review: S. C. Kleene, Errata. Arithmetical Predicates and Function Quantifiers. [REVIEW]S. C. Kleene - 1957 - Journal of Symbolic Logic 22 (4):375-375.

Analytics

Added to PP
2009-01-28

Downloads
215 (#187,809)

6 months
47 (#180,338)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On two problems of Harvey Friedman.Tadeusz Prucnal - 1979 - Studia Logica 38 (3):247 - 262.

View all 26 citations / Add more citations

References found in this work

Add more references