Generalized Esakia duality and canonical formulas for intuitionistic logic

Nick Bezhanishvili (Imperial College)

Info

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

Abstract

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.