scientific article; zbMATH DE number 3231075
From MaRDI portal
Publication:5519127
zbMath0143.25201MaRDI QIDQ5519127
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (34)
V. Yankov’s Contributions to Propositional Logic ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond ⋮ An Application of the Yankov Characteristic Formulas ⋮ A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics ⋮ An algebraic approach to subframe logics. Intuitionistic case ⋮ Constructing a continuum of predicate extensions of each intermediate propositional logic ⋮ Applications of weak Kripke semantics to intermediate consequences ⋮ The structure of lattices of subframe logics ⋮ Recognizable logics ⋮ On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview ⋮ Universal algebraic methods for non-classical logics ⋮ KRULL DIMENSION IN MODAL LOGIC ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ Lattices of Intermediate Theories via Ruitenburg's Theorem ⋮ On decision procedures for sentential logics ⋮ The disjunction property of intermediate propositional logics ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Cofinal stable logics ⋮ Interpolation in weakly transitive modal logics ⋮ Decidability of the weak interpolation property over the minimal logic ⋮ Negative equivalence of extensions of minimal logic ⋮ On the structure of paraconsistent extensions of Johansson's logic ⋮ Frame based formulas for intermediate logics ⋮ Characteristic Formulas Over Intermediate Logics ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Irreflexive modality in the intuitionistic propositional logic and Novikov completeness ⋮ On the structure of varieties with equationally definable principal congruences. I ⋮ Splittings in varieties of logic ⋮ Intuitionistic logic and implicit definability ⋮ Restricted interpolation over modal logic S4 ⋮ Characteristic inference rules ⋮ Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic
This page was built for publication:
