Keyword:Stone-type dualities

Publications
Spectral-like duality for Distributive Hilbert Algebras with Infimum Sergio A. Celani, María Esteban and Ramón Jansana In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Scheme representation for first-order logic Steve Awodey and Spencer Breiner In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic