Generalized Esakia duality and canonical formulas for intuitionistic logic

Nick Bezhanishvili ( Imperial College )

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.