在计算机科学中,我们使用拓扑来描述信息的逼近状态,Domain上的Scott拓扑是最基本的拓扑.一个自然的问题是:对任意一族dcpo{L:i∈I......

研究了直觉模糊集的真值域L*上的"way-below"关系,利用L*上的"way-below"关系,构造了[0,1]-拓扑范畴[0,1]-Top与Coker意义下的直觉......

对任意一族具有小元的dcpo {Li}i∈I,证明了若每个σ(Li)是连续格,则∏Li上的Scott拓扑恰是诸Scott拓扑σ(Li)的积拓扑,得到了关于......

利用梁基华教授等提出的步函数的新定义，讨论了一般情况下代数L-domain的函数空间．证明了如果L1和L2都是代数的L—domain，则函数空间[......

基于way-below关系和弱way-below关系,在具有逆合对应的完备格上建立了广义Rough上下近似算子,研究了它们的基本性质,并说明本文提......

本文给出了相容定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论了相容定向完备范畴上的way-below关系的一些性质,证......

在完备格中引进了广义连续和可加概念,建立了广义连续格理论,并解决了格的拓扑表示问题,提供了一个用格理论解决拓扑问题的方法.......

研究了直觉模糊集的真值域L＊上的＂way-below＂关系,利用L＊上的＂way-below＂关系,构造了[0,1]-拓扑范畴[0,1]-Top与oker意义下的直觉模糊......

辅助关系是定义在偏序集上的一种重要的二元关系.当偏序集为定向完备集时,其上的辅助关系性质比较丰富.将辅助关系的概念及有关性......

本文指出文献（１）中关于下半连续函数格ＬＳＣ（Ｘ，Ｒ）上Ｗａｙ－ｂｅｌｏｗ关系的一个结论是错误的，并且给出一个修正的命题及其证明。......

定义了广义完全极小集,并证明了L为广义完全分配格与它的每个元都有广义完全极小集等价。在广义完全分配格中,给出了保广义完全极......

给出了一类局部有限dcpo的概念及在其结构下的自由局部有限depo，进而给出新的连续性概念，接着讨论这种自由的局部有限depo和自由连续......

证明广义代数格同构于拓扑空间的闭集格当且仅当它是可加的,进而证明可加广义代数格之范畴等价于T0拓扑空间之范畴.因此可加广义代......