Esakia style duality for implicative semilattices

DOI10.1007/s10485-011-9265-0zbMath1294.06005OpenAlexW2086961867MaRDI QIDQ1942035

Guram Bezhanishvili, Ramon Jansana

Publication date: 25 March 2013

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-011-9265-0

zbMATH Keywords

duality theoryHeyting algebraimplicative semilattice

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Semilattices (06A12)

Related Items (18)

On the free implicative semilattice extension of a Hilbert algebra ⋮ Duality and Universal Models for the Meet-Implication Fragment of IPC ⋮ A duality for two-sorted lattices ⋮ Diego's theorem for nuclear implicative semilattices ⋮ On intermediate inquisitive and dependence logics: an algebraic study ⋮ Lewis meets Brouwer: constructive strict implication ⋮ A frame-theoretic perspective on Esakia duality ⋮ Characterizations of near-Heyting algebras ⋮ Generalized Priestley quasi-orders ⋮ Relative annihilator-preserving congruence relations and relative annihilator-preserving homomorphisms in bounded distributive semilattices. ⋮ Unnamed Item ⋮ EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES ⋮ A note on Hilbert algebras and their related generalized Esakia spaces ⋮ Priestley style duality for distributive meet-semilattices ⋮ Easkia Duality and Its Extensions ⋮ Constructive Modalities with Provability Smack ⋮ A topological duality for monotone expansions of semilattices ⋮ Hilbert algebras with a modal operator \(\diamondsuit\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Priestley style duality for distributive meet-semilattices
• The fundamental duality of partially ordered sets
• Varieties with equationally definable principal congruences
• Representation of Hilbert algebras and implicative semilattices
• Choiceless, pointless, but not useless: dualities for preframes
• Bitopological duality for distributive lattices and Heyting algebras
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Brouwerian Semilattices
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Continuous Lattices and Domains
• Implicative Semi-Lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The Theory of Representation for Boolean Algebras
• Topological representations of distributive lattices and Brouwerian logics

This page was built for publication: Esakia style duality for implicative semilattices