Publication:3830979
From MaRDI portal
zbMath0676.03016MaRDI QIDQ3830979
Publication date: 1987
03B55: Intermediate logics
Related Items
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics, UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS, TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS, 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, Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, A note on sequent calculi intermediate between LJ and LK, On finite linear intermediate predicate logics, The disjunction property of intermediate propositional logics, Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas, A uniform tableau method for intuitionistic modal logics. I, On the predicate logics of finite Kripke frames, Constructing a continuum of predicate extensions of each intermediate propositional logic, On maximal intermediate predicate constructive logics