Heyting algebras. Duality theory. Translated from the Russian by A. Evseev

DOI10.1007/978-3-030-12096-2zbMath1436.06001OpenAlexW4237415506MaRDI QIDQ1722781

Leo Esakia

Publication date: 18 February 2019

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-12096-2

zbMATH Keywords

modal logicHeyting algebrasduality theoryhybrid modelssuperintuitionistic logicclosure algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Stone spaces (Boolean spaces) and related structures (06E15) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)

Related Items (25)

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ Adjoint maps between implicative semilattices and continuity of localic maps ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Nuclear ranges in implicative semilattices ⋮ A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras ⋮ Choice-free duality for orthocomplemented lattices by means of spectral spaces ⋮ Bounded distributive lattices with two subordinations ⋮ On intermediate inquisitive and dependence logics: an algebraic study ⋮ The frame of nuclei on an Alexandroff space ⋮ A frame-theoretic perspective on Esakia duality ⋮ Characterization and computation of approximate bisimulations for fuzzy automata ⋮ Deriving dualities in pointfree topology from Priestley duality ⋮ CHOICE-FREE STONE DUALITY ⋮ Computable Heyting algebras with distinguished atoms and coatoms ⋮ On duality and model theory for polyadic spaces ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ Esakia duals of regular Heyting algebras ⋮ B-frame duality ⋮ Intuitionistic propositional logic with Galois negations ⋮ Lattices of Intermediate Theories via Ruitenburg's Theorem ⋮ Bitopological duality for algebras of Fitting's logic and natural duality extension ⋮ An algebraic study of S5-modal Gödel logic ⋮ Hyper-MacNeille completions of Heyting algebras ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras ⋮ Hofmann-Mislove through the lenses of Priestley

This page was built for publication: Heyting algebras. Duality theory. Translated from the Russian by A. Evseev