L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos
Author(s) -
Wei Yao
Publication year - 2009
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2009.11.031
Subject(s) - mathematics , fuzzy logic , topology (electrical circuits) , fuzzy set , convergence (economics) , discrete mathematics , fuzzy subalgebra , fuzzy number , combinatorics , computer science , artificial intelligence , economic growth , economics
On a fuzzy dcpo with a frame L as its valued lattice, we define an L-fuzzy Scott topology by means of graded convergence of stratified L-filters. It is a fuzzy counterpart of the classical Scott topology on a crisp dcpo. The properties of L-fuzzy Scott topology are investigated. We establish Scott convergence theory of stratified L-filters. We show that for an L-set, its degree of Scott openness equals to the degree of Scott continuity from the underlying fuzzy dcpo to the lattice L (also being viewed as a fuzzy poset). We also show that a fuzzy dcpo is continuous iff for any stratified L-filter, Scott convergence coincides with topological convergence (w.r.t. the L-fuzzy Scott topology)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom