Publication:5519127
From MaRDI portal
zbMath0143.25201MaRDI QIDQ5519127
Publication date: 1963
Related Items
Decidability of the interpolation problem and of related properties in tabular logics, Interpolation in weakly transitive modal logics, Decidability of the weak interpolation property over the minimal logic, Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic, Frame based formulas for intermediate logics, Applications of weak Kripke semantics to intermediate consequences, On decision procedures for sentential logics, The disjunction property of intermediate propositional logics, Irreflexive modality in the intuitionistic propositional logic and Novikov completeness, The structure of lattices of subframe logics, Intuitionistic logic and implicit definability, Negative equivalence of extensions of minimal logic, On the structure of paraconsistent extensions of Johansson's logic, On the structure of varieties with equationally definable principal congruences. I, Constructing a continuum of predicate extensions of each intermediate propositional logic, An algebraic approach to subframe logics. Intuitionistic case