scientific article; zbMATH DE number 3316016

Publication date: 1968

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Related Items (46)

Canonical formulas for \(k\)-potent commutative, integral, residuated lattices ⋮ V. Yankov’s Contributions to Propositional Logic ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ 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 INQUISITIVE AND -LOGICS ⋮ On superintuitionistic logics as fragments of proof logic extensions ⋮ Constructing a continuum of predicate extensions of each intermediate propositional logic ⋮ On maximal intermediate logics with the disjunction property ⋮ Forbidden configurations and subframe varieties ⋮ The structure of lattices of subframe logics ⋮ Axiomatic extensions of the constructive logic with strong negation and the disjunction property ⋮ New operations in intuitionistic calculus ⋮ In search of a ``true logic of knowledge: the nonmonotonic perspective ⋮ Partitioning Kripke frames of finite height ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ Esakia duals of regular Heyting algebras ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ An algebraic approach to canonical formulas: modal case ⋮ Lattices of Intermediate Theories via Ruitenburg's Theorem ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ A semantic hierarchy for intuitionistic logic ⋮ A new constant in superintuitionistic logic L3 ⋮ Cofinal stable logics ⋮ An infinite class of maximal intermediate propositional logics with the disjunction property ⋮ New constants in two pretabular superintuitionistic logics ⋮ A study of intermediate propositional logics on the third slice ⋮ Negative equivalence of extensions of minimal logic ⋮ A lattice of normal modal logics ⋮ On the structure of paraconsistent extensions of Johansson's logic ⋮ Equational axioms for classes of Heyting algebras ⋮ \(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ A splitting logic in NExt(KTB) ⋮ On some intuitionistic modal logics ⋮ Hereditarily structurally complete superintuitionistic deductive systems ⋮ Frame based formulas for intermediate logics ⋮ Characteristic Formulas Over Intermediate Logics ⋮ On Algebraisation of Superintuitionistic Predicate Logics ⋮ Explicating logical independence ⋮ Axiomatization of models for intermediate logics constructed with Boolean models by piling up ⋮ Some results on the intermediate logics ⋮ Splittings in GBL-algebras. I: The general case ⋮ A study of intermediate predicate logics ⋮ On the Blok-Esakia Theorem ⋮ In search of a ``true logic of knowledge: The nonmonotonic perspective

This page was built for publication: