Lattice-valued Scott topology on dcpos
-
Published:2015-05-18
Issue:4
Volume:27
Page:516-529
-
ISSN:0960-1295
-
Container-title:Mathematical Structures in Computer Science
-
language:en
-
Short-container-title:Math. Struct. Comp. Sci.
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.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference29 articles.
1. Metamathematics of Fuzzy Logic
2. Crisp posets can not be roughly considered as fuzzy posets;Yao;Journal of Weinan Normal University,2013
3. The duality of continuous posets;Lawson;Houston Journal of Mathematics,1979