A Coalgebraic View of Heyting Duality

• 1 December 2003
• journal article
• Published by Springer Nature in Studia Logica
• Vol. 75  (3) , 259-270
• https://doi.org/10.1023/b:stud.0000009559.44998.a3

Abstract

Keywords

• COALGEBRA
• HEYTING ALGEBRA
• PRIESTLEY DUALITY