Quantitative semantics, topology, and possibility measures (Q1295211): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:51, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quantitative semantics, topology, and possibility measures |
scientific article |
Statements
Quantitative semantics, topology, and possibility measures (English)
0 references
13 December 1999
0 references
The authors present a new junction between the world of topological spaces and complete lattices. The main objective of this paper is to develop the notion of quantitative predicates in a topological setting that encompasses that of continuous domains, and to provide a dual view of such quantitative predicates as possibility measures on the lattice of opens. Since we may view any complete lattice \(L\) as a topological space in its Scott topology, we obtain another representation of the order dual of the function space \([L^{\text{op}}\to L^{\text{op}}]\); the lattice \(O(L^{\text{op}})\multimap L\). This should open up the possibility of proving new results in the theory of continuous lattices, especially in bi-continuous lattices.
0 references
topological spaces
0 references
complete lattices
0 references
quantitative predicates
0 references
continuous domains
0 references
possibility measures
0 references
order dual
0 references
function space
0 references
continuous lattices
0 references
bi-continuous lattices
0 references