稳定模糊谓词  

Stable fuzzy predicates

作　　者：马艳芳[1] 陈仪香[1] 

机构地区：[1]上海师范大学数理信息学院,上海200234

出　　处：《上海师范大学学报（自然科学版）》2006年第6期30-36,共7页Journal of Shanghai Normal University(Natural Sciences)

基　　金：国家自然科学基金(60273054;60673117);教育部高等学校博士学科点专项科研基金(20050270004);上海市重点学科基金(T0401).

摘　　要：引入稳定模糊谓词的概念,讨论稳定模糊谓词的一些基本性质和它的线性运算,建立具有相容交dcpo上的ξ-半拓扑与模糊ξ-半拓扑之间的序同态关系．We introduce the concept of a stable fuzzy predicate which is a stable ruction from a dcpo with consistent intersection into the unit interval [0, 1] . Then, we discuss some basic properties of stable fuzzy predicates and linear opertations on stable fuzzy predicates. Finally, we establish the order-homomorphism relation between ξ- semitopology and fuzzy ξ- semitopology on dcpos with the consistent meets.

关 键 词：DOMAIN理论 半拓扑 稳定模糊谓词 

分 类 号：O159[理学—数学] TP301[理学—基础数学]