Disjunction and existence under implication in elementary intuitionistic formalisms
From MaRDI portal
Publication:3851084
DOI10.2307/2963675zbMath0112.24502OpenAlexW2069450525MaRDI QIDQ3851084
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
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
