scientific article; zbMATH DE number 912318
From MaRDI portal
Publication:4887107
zbMath0857.03013MaRDI QIDQ4887107
Publication date: 11 March 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fixed pointKripke semanticssuperintuitionistic logicintermediate predicate logicsKripke completenessdisjunctive and existence properties
Related Items (4)
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 ⋮ On Kripke completeness of modal predicate logics around quantified \textbf{K5}
This page was built for publication:
