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