No CrossRef data available.
Article contents
Lattice-valued Scott topology on dcpos
Published online by Cambridge University Press: 18 May 2015
Abstract
This paper studies the fuzzy Scott topology on dcpos with a *-continuous semigroup (L, *) as the truth value table. It is shown that the fuzzy Scott topological space on a continuous dcpo is an ιL-sober space. The fuzzy Scott topology is completely distributive iff L is completely distributive and the underlying dcpo is continuous. For (L, *) being an integral quantale, semantics of L-possibility of computations is studied by means of a duality.
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 27 , Special Issue 4: Symposium on Domain Theory (ISDT 2013) , May 2017 , pp. 516 - 529
- Copyright
- Copyright © Cambridge University Press 2015