Lattice-valued Scott topology on dcpos
From MaRDI portal
Publication:2971118
DOI10.1017/S0960129515000201zbMath1378.06006MaRDI QIDQ2971118
Publication date: 4 April 2017
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Retracted: Semantic domains for combining probability and non-determinism
- A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety
- Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets
- Fuzzy topology with respect to continuous lattices
- Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets
- Domain semantics of possibility computations
- Power domains
- Metamathematics of fuzzy logic
- Probabilistic models for the guarded command language
- Semantics of non-deterministic possibility computation
- Many valued topologies and lower semicontinuity
- A Powerdomain Construction
- Continuous Lattices and Domains
This page was built for publication: Lattice-valued Scott topology on dcpos