A coalgebraic view of Heyting duality

DOI10.1023/B:STUD.0000009559.44998.A3zbMath1037.06008OpenAlexW2013598211MaRDI QIDQ1419380

Brian A. Davey, John C. Galati

Publication date: 14 January 2004

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

Full work available at URL: https://doi.org/10.1023/b:stud.0000009559.44998.a3

zbMATH Keywords

coalgebraPriestley dualityHeyting algebra

Mathematics Subject Classification ID

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

Related Items (11)

Profinite completions and canonical extensions of Heyting algebras ⋮ Restricted Priestley dualities and discriminator varieties ⋮ A frame-theoretic perspective on Esakia duality ⋮ Ordered locales ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Modes of adjointness ⋮ The enriched Vietoris monad on representable spaces ⋮ Stone coalgebras ⋮ A coalgebraic view on positive modal logic ⋮ Splittings in varieties of logic ⋮ Easkia Duality and Its Extensions

This page was built for publication: A coalgebraic view of Heyting duality