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

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