Algebraic fuzzy directed-complete posets

被引：0
作者：
Shuhua Su
Qingguo Li
机构：
[1] Hunan University,College of Mathematics and Econometrics
来源：
Neural Computing and Applications | 2012年 / 21卷
关键词：
Fuzzy domain; Algebraic fuzzy dcpo; Section retraction; Fuzzy Galois connection;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this paper, as a special case of fuzzy domains, algebraic fuzzy directed-complete posets (shortly, algebraic fuzzy dcpos) are discussed. Throughout the algebraic fuzzy dcpos, some equivalent characterizations of fuzzy domains are given. Then, the construction of new algebraic fuzzy dcpos (resp., fuzzy domains) from known ones by means of forming products, taking some special subsets, and taking images under maps with appropriate operations is investigated. Finally, a new kind of fuzzy continuous section retraction pairs is proposed. Moreover, it is proved that every fuzzy domain is a fuzzy continuous retraction of an algebraic fuzzy dcpo, and the fuzzy continuous retraction of a fuzzy domain is also a fuzzy domain.
引用
收藏
页码：255 / 265
页数：10
相关论文
共 18 条
  • [1] Fan L(2001)A new approach to quantitative domain theory Electron Notes Theor Comput Sci 45 77-87
  • [2] Fang JM(2010)-fuzzy closure systems Fuzzy Sets Syst 161 1242-1252
  • [3] Yue YL(2007)Complete and directed complete ω-categories Theor Comput Sci 388 1-24
  • [4] Lai H(2010)Relationship of algebraic theories to powersets over objects in Set and Set × C Fuzzy Sets Syst 161 453-470
  • [5] Zhang D(2010)Quantitative domains via fuzzy sets: Part I: continuity of fuzzy directed complete posets Fuzzy Sets Syst 161 973-987
  • [6] Rodabaugh SE(2009)Fuzzy Galois connections on fuzzy posets Math Logic Q 55 84-91
  • [7] Yao W(2011)Quantitative domains via fuzzy sets: Part II: fuzzy Scott topology on fuzzy directed complete posets Fuzzy Sets Syst 161 1-21
  • [8] Yao W.(2005)Continuity in quantitative domains Fuzzy Sets Syst 154 118-131
  • [9] Lu LX(2007)Section-retraction-pairs between fuzzy domains Fuzzy Sets Syst 158 99-114
  • [10] Yao W(2009)Fuzzy complete lattices Fuzzy Sets Syst 160 2275-2291
12