Disjunction and existence under implication in elementary intuitionistic formalisms

12 March 1962

journal article
Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic

Vol. 27 (1) , 11-18
https://doi.org/10.2307/2963675

Abstract

Let Pp, Pd, and N be the intuitionistic formal systems of prepositional calculus, predicate calculus, and elementary number theory, respectively.¹ Consider the following six propositions.⁸(1) ├A V B only if ├A or ├B.(2) ├∋xA(x) only if ├Ã(t) for some formula Ã(x) congruent to A(x) and some term t free for x in Ã(x).

Keywords

This publication has 7 references indexed in Scilit:

Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
Archive for Mathematical Logic, 1957
On disjunctions and existential statements in intuitionistic systems of logic
Mathematische Annalen, 1956
Algebraic models of axiomatic theories
Fundamenta Mathematicae, 1955
Introduction to Metamathematics. By S. C. Kleene. Pp. x, 550, Fl. 32.50. 1952. (Noordhoff, Groningen; North-Holland Publishing Co., Amsterdam)
The Mathematical Gazette, 1954
Propositional calculus and realizability
Transactions of the American Mathematical Society, 1953
Untersuchungen ber das logische Schlie en. I
Mathematische Zeitschrift, 1935
Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. By A. Heyting. Pp. iv, 73. RM. 8.75. 1934. Ergebnisse der Mathematik, Band III, Heft 4. (Springer)
The Mathematical Gazette, 1935