Tropological systems are points of quantales

Journal of Pure and Applied Algebra

Volumn 173, Issue 1, 2002, Pages 87-120

  Resende, Pedro ^a  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0037043587     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(01)00156-6     Document Type: Article

References (34)

1. Quantales, observational logic and process semantics
2. Left ideal structure of C*-algebras
3. A Gelfand representation theory for C*-algebras
4. How quantales emerge by introducing induction in the operational approach
5. The spectral theory of commutative C*-algebras: The constructive spectrum
6. The spectral theory of commutative C*-algebras: The constructive Gelfand-Mazur theorem
7. Duality of quantales emerging from an operational resolution
8. Noncommutative Geometry
9. A non-commutative generalisation of topology
10. The linear time-branching time spectrum
11. The linear time-branching time spectrum II; the semantics of sequential systems with silent moves
12. Stone Spaces
13. An Extension of the Galois Theory of Grothendieck
14. Spatial quantales
15. On quantales and spectra of C* -algebras, preprint 32/01, Department of Mathematics
16. On the quantisation of spaces
17. On the quantisation of points
18. A quantisation of the calculus of relations
19. Constructing locales from quantales
20. Simple quantales
21. Quantales
22. Simple involutive quantales
23. Continuous maps of Galois connections
24. Tropological systems and observational logic in concurrency and specification
25. Modular specification of concurrent systems with observational logic
26. Quantales and observational semantics
27. Quantales, finite observations and strong bisimulation
28. Localic sup-lattices and tropological systems
29. Quantales and Their Applications
30. Characterizing spatial quantales
31. Topology via Logic
32. Quantales and (non commutative) linear logic