Priestley style duality for distributive meet-semilattices

DOI10.1007/s11225-011-9323-5zbMath1238.03050OpenAlexW2036781278MaRDI QIDQ763299

Guram Bezhanishvili, Ramon Jansana

Publication date: 9 March 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-011-9323-5

zbMATH Keywords

distributive latticesduality theorydistributive meet-semilattices

Mathematics Subject Classification ID

Lattices and duality (06D50) Other algebras related to logic (03G25) Semilattices (06A12)

Related Items (22)

On the free implicative semilattice extension of a Hilbert algebra ⋮ A duality for two-sorted lattices ⋮ Diego's theorem for nuclear implicative semilattices ⋮ On intermediate inquisitive and dependence logics: an algebraic study ⋮ Spectral-like duality for distributive Hilbert algebras with infimum ⋮ Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces ⋮ A frame-theoretic perspective on Esakia duality ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ Esakia style duality for implicative semilattices ⋮ Sheaf representation of monoidal categories ⋮ Characterizations of near-Heyting algebras ⋮ Generalized Priestley quasi-orders ⋮ Stone style duality for distributive nearlattices ⋮ Coalgebraic Completeness-via-Canonicity ⋮ A categorical duality for semilattices and lattices ⋮ Unnamed Item ⋮ Stone duality, topological algebra, and recognition. ⋮ A note on Hilbert algebras and their related generalized Esakia spaces ⋮ The free distributive semilattice extension of a distributive poset ⋮ Easkia Duality and Its Extensions ⋮ A topological duality for monotone expansions of semilattices ⋮ Hilbert algebras with a modal operator \(\diamondsuit\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Esakia style duality for implicative semilattices
• Choiceless, pointless, but not useless: dualities for preframes
• The category of semilattices
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Continuous Lattices and Domains
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Ideals in Partially Ordered Sets

This page was built for publication: Priestley style duality for distributive meet-semilattices