A presentation given at the conference Topological and Algebraic Methods in Non-Classical Logic -TANCL- in Barcelona, $15^{th}-18^{th}$ June 2005.
A presentation given at the conference Topological and Algebraic Methods in Non-Classical Logic -TANCL- in Barcelona, $15^{th}-18^{th}$ June 2005.