Disjunction and existence under implication in elementary intuitionistic formalisms

DOI10.2307/2963675zbMath0112.24502OpenAlexW2069450525MaRDI QIDQ3851084

Stephen C. Kleene

Publication date: 1963

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2963675

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics ⋮ The Mathematical Work of S.C.Kleene ⋮ Some metacomplete relevant modal logics ⋮ Metacompleteness of substructural logics ⋮ On two problems of Harvey Friedman ⋮ Choice and independence of premise rules in intuitionistic set theory ⋮ Intermediate logics and the de Jongh property ⋮ METAVALUATIONS ⋮ A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics ⋮ From the weak to the strong existence property ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ Nominal techniques in Isabelle/HOL ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ The disjunction property of intermediate propositional logics ⋮ The Story of $$\gamma $$ γ ⋮ Frege systems for extensible modal logics ⋮ A(nother) characterization of intuitionistic propositional logic ⋮ Subintuitionistic logics and the implications they prove ⋮ Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis

Cites Work

• Unnamed Item
• On disjunctions and existential statements in intuitionistic systems of logic
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül