# Generalized Esakia duality and canonical formulas for intuitionistic logic

Nick Bezhanishvili ( Imperial College )

- 14:00 5th June 2009 ( week 6, Trinity Term 2009 )Lecture Theatre B

Esakia duality provides a link between Heyting algebras and certain order-topological spaces. In this talk, I will discuss a generalization of the Esakia duality to the category of Heyting algebras and meet and implication preserving homomorphisms. I will also show how this duality could be used to obtain an algebraic account of Zakharyaschev’s canonical formulas. In particular, I will sketch an algebraic proof that each intermediate logic can be axiomatized by canonical formulas.