Topology via logic
Power Domains and Predicate Transformers: A Topological View
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Approximating labelled Markov processes
Information and Computation
On the relationship between compact regularity and Gentzen's cut rule
Theoretical Computer Science - Logic, semantics and theory of programming
Semantics of probabilistic programs
SFCS '79 Proceedings of the 20th Annual Symposium on Foundations of Computer Science
An intrinsic characterization of approximate probabilistic bisimilarity
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Hi-index | 0.00 |
The full subcategory of proximity lattices equipped with some additional structure (a certain form of negation) is equivalent to the category of compact Hausdorff spaces. Using the Stone-Gelfand-Naimark duality, we know that the category of proximity lattices with negation is dually equivalent to the category of real C* algebras. The aim of this paper is to give a new proof for this duality, avoiding the construction of spaces. We prove that the category of C* algebras is equivalent to the category of skew frames with negation, which appears in the work of Moshier and Jung on the bitopological nature of Stone duality.