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

1 February 2012
Ramon Jansana

 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 
the algebras that correspond to the implicative reduct of intuitionistic logic.

  • Analytic Topology in Mathematics and Computer Science