欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
引入了有界完备模糊dcpo的概念，研究了有界完备模糊dcpo的基本性质。证明了当赋值格L是Frame时，以模糊Scott连续映射为态射的有界完备模糊dcpo范畴BC—FDCPO是以模糊Scott连续映射为态射的模糊dcpo范畴FDCPO的笛卡尔闭子范畴。同时还给出了模糊完备交半格、强模糊完备交半格的定义，并研究了它们与有界完备模糊dcpo之间的关系。
英文摘要：
The concept of bounded complete fuzzy dcpo is introduced and its basic properties are discussed. It is proved that when the complete residuated lattice L is a frame, the category BC-FDCPO of all bounded complete fuzzy dcpos with fuzzy Scott continuous maps is a cartesian closed full subcategory of the category DCPO of all fuzzy dcpos. Moreover, fuzzy complete semilattice and strong fuzzy complete semilattice are defined and the relationships among them and the bouded complete fuzzy dcpo are discussed.
同期刊论文项目
同项目期刊论文
期刊信息
位置：