|
|
|
| 利用插入性质刻画模糊domain |
| 饶三平 |
| 南昌工程学院理学院 |
|
|
|
|
摘要 基于插入性质,结合某些特定的条件,给出了模糊domain的等价刻画。首先,在模糊dcpo中,定义了模糊定向逼近元,结合插入性质给出模糊domain的等价刻画;然后,利用模糊Scott拓扑,定义了它的模糊基,同样基于插入性质得到模糊domain的另外一个等价刻画。
|
|
| 关键词 ：
模糊domain,
模糊Scott拓扑,
模糊way-below关系,
插入性质
|
|
|
| 基金资助:江西省教育厅科技项目基金资助项目(GJJ14754)； 江西省科技厅青年基金资助项目(20171BAB211003)； |
|
|
|
