Topological dualities for distributive meet-semilattices, implicative semilattices and Hilbert algebras

Wed, 01/02/2012
16:00
Ramon Jansana (Barcelona) Analytic Topology in Mathematics and Computer Science Add to calendar L3

 I will first present Priestley style topological dualities for 
several categories of distributive meet-semilattices
and implicative semilattices developed by G. Bezhanishvili and myself. 
Using these dualities I will introduce a topological duality for Hilbert 
algebras, 
the algebras that correspond to the implicative reduct of intuitionistic logic.