AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE

DOI10.1017/S1755020309990177zbMath1183.03065OpenAlexW2140223009MaRDI QIDQ3644804

Nick Bezhanishvili, Guram Bezhanishvili

Publication date: 12 November 2009

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020309990177

zbMATH Keywords

Heyting algebraEsakia spacecanonical formulasEsakia dualityEsakia morphismJankov formulas

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Intermediate logics (03B55)

Related Items

Canonical formulas for \(k\)-potent commutative, integral, residuated lattices ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS ⋮ Duality and Universal Models for the Meet-Implication Fragment of IPC ⋮ Forbidden configurations and subframe varieties ⋮ Characteristic formulas of partial Heyting algebras ⋮ Diego's theorem for nuclear implicative semilattices ⋮ On some classes of Heyting algebras with successor that have the amalgamation property ⋮ POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION ⋮ Esakia style duality for implicative semilattices ⋮ An algebraic approach to canonical formulas: modal case ⋮ CANONICAL FORMULAS FOR wK4 ⋮ Cofinal stable logics ⋮ Stable formulas in intuitionistic logic ⋮ Characteristic Formulas Over Intermediate Logics ⋮ Easkia Duality and Its Extensions ⋮ Characteristic inference rules

Cites Work

• Unnamed Item
• Syntax and semantics of superintuitionistic logics
• Profinite Heyting algebras
• Frame based formulas for intermediate logics
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• An algebraic approach to subframe logics. Intuitionistic case
• Logics containing K4. Part II
• On formulas of one variable in intuitionistic propositional calculus
• The lattice of modal logics: an algebraic investigation
• Brouwerian Semilattices
• Canonical formulas for K4. Part I: Basic results
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Implicative Semi-Lattices
• Algebras Whose Congruence Lattices are Distributive.
• The decidability of certain intermediate propositional logics
• Equational Bases and Nonmodular Lattice Varieties
• On intermediate propositional logics