Guram Bezhanishvili

Heyting Algebras

Leo Esakia on Duality in Modal and Intuitionistic Logics