基于拟幂等的交换单位quantale的模糊domain

基于一个拟幂等的交换单位quantale，用模糊集的方法重新研究了量化domain理论，主要定义了模糊dcpo上的模糊scott拓扑，建立了满层的l滤子的scott收敛理论，证明了模糊dcpo范畴的笛卡尔闭性。虽然所得结论和已有文献中的基本一样，但是证明过程却有很大不同。结果表明，拟幂等的交换单位quantale是用模糊集方法研究量化domain的最宽泛的格。