Quantitative semantics, topology, and possibility measures (Q1295211): 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: Bohumil František Šmarda / rank | |||
Property / reviewed by | |||
Property / reviewed by: Bohumil František Šmarda / 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: Q4843177 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4382654 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Programming as a Discipline of Mathematical Nature / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integration in Real PCF / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4385542 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PCF extended with real numbers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3898534 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5726943 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222889 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4373421 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Compositional Approach to Performance Modelling / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An axiomatic basis for computer programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3915037 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222891 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3203061 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Note on free algebras over continuous domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992568 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3969890 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222902 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4347854 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy sets / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 20:45, 28 May 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
0 references