模糊偏序集上的扩张定理

Extension theorem of fuzzy posets

借助于模糊Galois联络,在模糊偏序集上定义了完备扩张,并建立了模糊dcop和完备扩张之间的等价关系。此外,还定义了连续扩张,并得到模糊domain和连续扩张的等价刻画定理。

In this paper, based on fuzzy posets, we will introduce the concept of complete extension with the help of fuzzy Galois connection, and establish a characterization theorem between fuzzy dcpos and complete extension. Moreover, we also give the definition of continuous extension and obtain an equivalent characterization theorem of fuzzy domains by means of continuous extension.