L-fuzzy Domain及其等价刻画

本文在L为完全分配格的情况下,定义了L-fuzzy定向子集,定向并,L-fuzzydomain,L-fuzzy Scott连续映射概念.借助集合套的思想讨论了L-fuzzy偏序集以及上述概念的等价刻画.

两类代数Domain范畴的等价

首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSA(由L-偏序集与逼近关系组成)和范畴BPOSA(由B-偏序集与逼近关系组成),并证明了它们分别与代数L-domain范畴ALD和代数bc-domain范畴ABD等价．

L-Fuzzy偏序集(英文)

借助 L-fuzzy关系在 L-fuzzy集中引入 L-fuzzy偏序 ,自然地有了 L-fuzzy偏序集 ,进一步借助水平截集刻画了 L -fuzzy偏序集。

L-连续偏序集的M性质与有限分离性

讨论了L-连续偏序集的M性质与有限分离性质之间的关系,主要结果:(1)若P为L-连续偏序集,则P是有限上集生成,而且满足M性质当且仅当它的定向完备化为FS-domain(有限分离的domain);(2)若P为相容L-domain,则P是有限上集生成,而且满足M性质当且仅当它为相容FS-domain.

定向完备偏序集上的模糊Scott拓扑

设L是一个完备剩余格,定义了定向完备偏序集上的Hohle意义下的满层L-拓扑,称之为模糊Scott拓扑;基于满层的L-滤子,建立了相应的Scott收敛理论。证明了一个定向完备偏序集是连续的当且仅当对于每一个满层的L-滤子,其Scott收敛等价于按模糊Scott拓扑收敛。

L-偏序集映射空间连续性的刻画

设L为完备剩余格,在L-偏序集中引入步函数的概念。基于一般的weight类,得到了L-偏序集映射空间连续性的一个刻画定理。基于以上结果,证明了两个完全代数的L-完备格之间的余连续映射之集是完全代数的。

L-fuzzy偏序集上若干问题研究

定义了L-fuzzy连续格,它是分明连续格的一种推广,并且保持了分明连续格的部分性质.对通常映射进行了提升,给出了L-fuzzy Scott连续映射的定义.使用不同的截集对L-fuzzy Scott闭集进行了等价刻画.

模糊完备格范畴中的乘积和余积

讨论了以L-模糊完备格为对象、以保任意L-模糊集并的映射为态射的L-模糊完备格范畴LSUP中的乘积和余积,给出了乘积和余积的具体结构,推广了经典完备格范畴的结论,为研究此范畴的其他性质打下了基础。

L-模糊偏序集上的核算子与核系统

定义L-模糊偏序集上的L-核系统,给出了任一L-模糊偏序集上的L-核算子与L-核系统之间的一一对应关系,从而推广了有界完备L-模糊偏序集的情形,并使得模糊的情况与分明的情况更加协调。另外,也给出了L-闭包算子与L-闭包系统的相关结论。