Section-retraction-pairs between fuzzy domains
暂无分享,去创建一个
In this paper we give the concepts of fuzzy monotone and fuzzy continuous section-retraction-pairs between fuzzy domains defined in [Q.-Y. Zhang, C.-Y. Zheng, L-fuzzy domain and its related properties, Fuzzy Systems and Math. 18 (2004) 1-7 (in chinese); Q.-Y. Zhang, L. Fan, Continuity in quantitative domains, Fuzzy Sets and Systems 154 (2005) 118-131], discuss some properties about them, and prove that the fuzzy monotone retract of a fuzzy domain is also a fuzzy domain, the fuzzy continuous retract of a continuous fuzzy domain is also a continuous fuzzy domain when L is a completely distributive lattice in which <<< is multiplicative, and every continuous fuzzy domain is a fuzzy continuous retract of an algebraic fuzzy domain when L is a completely distributive lattice in which 1 is @?-irreducible and <<< is multiplicative.
[1] Qi-Ye Zhang,et al. Continuity in quantitative domains , 2005, Fuzzy Sets Syst..
[2] Samson Abramsky,et al. Domain theory , 1995, LICS 1995.
[3] George N. Raney,et al. Completely distributive complete lattices , 1952 .
[4] Robert C. Flagg,et al. The essence of ideal completion in quantitative form , 2002, Theor. Comput. Sci..