Localic sup-lattices and tropological systems. (Q1427786): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Q382417 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Peter T. Johnstone / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A domain equation for bisimulation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantales, observational logic and process semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructive theory of the lower power locale / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3965241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An extension of the Galois theory of Grothendieck / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4508558 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4508560 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tropological systems are points of quantales / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantales, finite observations and strong bisimulation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996704 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4884543 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3481701 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994458 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructive points of powerlocales / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topical categories of domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4870815 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:33, 6 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Localic sup-lattices and tropological systems. |
scientific article |
Statements
Localic sup-lattices and tropological systems. (English)
0 references
14 March 2004
0 references
Approaches to process semantics using quantales and modules over them were developed by the second author of this paper and S.~Abramsky, and (in a slightly different way) by the first author. In these approaches, although the `set' of actions is taken to be a quantale, the set of states remains an untopologized set. In order to give a fully constructive account of these structures, it is necessary not merely to topologize the state set but to replace it with a locale (or `pointless space'): this is done in the present paper. The authors begin by recalling how the `classical' duality for sup-lattices may be constructivized by using localic sup-lattices instead of topological ones, and then go on to indicate how the same approach may be applied to the `tropological systems' introduced by the first author as a setting for process semantics. This enables them to rewrite the `third completeness' results of Abramsky and the second author in constructive form.
0 references
Quantale
0 references
Localic sup-lattice
0 references
Localic quantale module
0 references
Localic tropological
0 references
system
0 references
Process semantics
0 references
Third completeness
0 references