Disjunction and existence under implication in elementary intuitionistic formalisms-Reference-Cited by-同舟云学术

Disjunction and existence under implication in elementary intuitionistic formalisms

Published:1962-03 Issue:1 Volume:27 Page:11-18
ISSN:0022-4812
Container-title:Journal of Symbolic Logic
language:en
Short-container-title:J. symb. log.

Author:

Kleene S. C.

Abstract

Let Pp, Pd, and N be the intuitionistic formal systems of prepositional calculus, predicate calculus, and elementary number theory, respectively.1 Consider the following six propositions.8(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).

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy

Reference12 articles.

1. Constructive theories;Rasiowa;Bulletin de l'Académie Polonaise des Sciences, Classe,1954

2. Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül

3. Propositional calculus and realizability

4. Zum intuitionistischen Aussagenkalkül;Gödel;Akademie der Wissenschaften in Wien, Mathematisch-naturwissenschaftliche Klasse, Anzeiger,1932

5. Untersuchungen �ber das logische Schlie�en. I

Cited by 50 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Constructive Validity of a Generalized Kreisel–Putnam Rule;Studia Logica;2024-07-15

2. Choice and independence of premise rules in intuitionistic set theory;Annals of Pure and Applied Logic;2023-10

3. Ordinal analysis and the set existence property for intuitionistic set theories;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10

4. A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics;Outstanding Contributions to Logic;2022

5. A Negative Solution to Ono’s Problem P52: Existence and Disjunction Properties in Intermediate Predicate Logics;Outstanding Contributions to Logic;2021-12-14