Seminar series
Date
Wed, 01 Feb 2012
16:00
16:00
Location
L3
Speaker
Ramon Jansana
Organisation
Barcelona
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.