摘要
基于插入性质,结合某些特定的条件,给出了模糊domain的等价刻画。首先,在模糊dcpo中,定义了模糊定向逼近元,结合插入性质给出模糊domain的等价刻画;然后,利用模糊Scott拓扑,定义了它的模糊基,同样基于插入性质得到模糊domain的另外一个等价刻画。
Based on the interpolation property,some equivalent characterizations of the fuzzy domain are given under appropriate conditions.Firstly the notion of fuzzy direct approximation element is introduced in the fuzzy dcpo.Then,with the help of the interpolation property,equivalent characterizations of the fuzzy domain are obtained.Moreover,by defining the fuzzy base with respect to the fuzzy Scott topology,equivalent characterizations of the fuzzy domain are derived again via the interpolation property.
作者
饶三平
RAO Sanping(Department of Science,Nanchang Institute of Technology,Nanchang 330099 ,China)
出处
《南昌大学学报（理科版）》
CAS
北大核心
2018年第3期212-215,共4页
Journal of Nanchang University(Natural Science)
基金
江西省教育厅科技项目基金资助项目(GJJ14754)
江西省科技厅青年基金资助项目(20171BAB211003)
