scientific article
From MaRDI portal
Publication:3322079
zbMath0537.03017MaRDI QIDQ3322079
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
disjunction propertyexistence propertyHarrop formulaslogic of constant domainsKripke models for intuitionistic logic
Related Items
A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics, 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, The disjunction property of intermediate propositional logics, A new semantics for intuitionistic predicate logic
