强Raney偏序集

引入强Raney偏序集的概念,讨论了强Raney偏序集的一些性质,证明了强Raney偏序集为超代数偏序集,定向完备的偏序集为强Raney偏序集当且仅当它既是Raney偏序集也是A-偏序集.     

z-代数偏序集的范畴特征

讨论z-代数偏序集一些性质,主要证明z-代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴.     

伪超连续偏序集

引入了伪超连续偏序集和伪超代数偏序集的概念,讨论了它们的一些基本性质,给出了它们的若干刻画,特别是基于区间拓扑、某种特殊二元关系的刻画和内蕴式刻画.     

偏序集上一致连续性的等价刻画与性质

将一致小于关系移植到一般偏序集上,同时引入了上界小于关系,定义了偏序集的一致连续性和上界连续性.给出了一致连续偏序集的等价刻画,探讨了一致连续偏序集所具有的性质.主要结果有:(1)证明了偏序集上的一致连续性,上界连续性与s-超连续性均等价;(2)在交半格条件下,偏序集的一致连续性等价于它的每一主理想一致连续;(3)在并半格条件下,偏序集的一致连续性蕴含连续性,反之不成立;(4)一致完备的一致连续偏序集均是连续bc-dcpo,且每个主理想均为完全分配格;(5)在一致完备的条件下,一致连续性对主滤子,对闭区间,对Scott S-集以及对一致连续投射像均是可遗传的.文中也构造了若干实用的反例.     

Z-连通代数偏序集及其范畴

对于Z-连通集系统,本文引入了Z-连通代数偏序集的概念,证明了Z-连通代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴.     

交C-连续偏序集

利用偏序集上的半拓扑结构,引入了交C-连续偏序集概念,探讨了交C-连续偏序集的性质、刻画及与C-连续偏序集、拟C-连续偏序集等之间的关系.主要结果有:(1)交C-连续的格一定是分配格;(2)有界完备偏序集(简记为bc-poset)L是交C-连续的当且仅当对任意x∈L及非空Scott闭集S,当∨S存在时有x∧∨S=∨{x∧s:s∈S};(3)完备格是完备Heyting代数当且仅当它是交连续且交C-连续的;(4)有界完备偏序集是C-连续的当且仅当它是交C-连续且拟C-连续的;(5)获得了反例说明分配的完备格可以不是交C-连续格,交C-连续格也可以不是交连续格.     

Z_S-相容连续偏序集及其相关范畴性质

引入了Zs-相客集系统的概念,讨论了Zs-相客连续偏序集的一系列性质.证明了Zs-相容连续偏序集范畴对偶等价于完全分配格范畴的一个满子范畴.     

偏序集的完备化

首先给出了偏序集的一些完备化的具体构造，又给出了关于完备格中完备子集的某些有用的定理，最终解决了关于偏序集的所有可能的完备化问题     

C_Z-偏序集

我们将强Z-连续偏序集推广到了CZ-偏序集,并讨论了CZ-偏序集和强Z-连续偏序集之间的关系。同时我们定义了CZ-偏序集上的CZ-连续映射,得到CZ-偏序集在该映射下的像集仍是CZ-偏序集。最后,我们讨论了CZ-偏序集上的基及其相关性质。     

Fuzzy格YX的特征

从两个方面对 Fuzzy格 YX 进行研究。通过讨论有限偏序集 X与 Fuzzy格 2 X 的关系 ,得到当 X为软偏序集时 ,2 X 必为 Fuzzy格 ;通过引入 E-非空概念 ,得到关于 Fuzzy格 YX 的重要定理。     

幂格与商格的关系的注记

研究了分配格上的幂格,给出了格的相对凸子格的概念,得到了分配格上的幂格的一个充要条件,建立了幂格与商格的联系.     

Smooth格和强Smooth格

引入了强smooth格的概念,讨论了smooth格与强smooth格的一些基本性质,证明了强smooth格可用保任意交和Scott闭集之并的映射嵌入到某方体[0,1]X之中.     

分配格的滤子格是空间式Frame的新证明

在分配格中引入了次极大滤子的概念,并以此给出了分配格的滤子格是空间式frame的一种新证明,然后研究了次极大滤子在Heyting代数中的一些具体性质。     

Strongly Pseudoalgebraic Lattices

In the recent twenty years,the generalizations of continuous lattices have attracted aconsiderable deal of attention (see [1 -6] ) .The so-called generalized continuous lat-tices(GCL) (see[2 ] ) is one of the most successful generalizations of continuous lat-tices.In 1 990 ,Venugopalan gave the definition of pseudoalgebraic lattice and provedthat a complete lattice is a compact totally order-disconnected(Preistley) space with re-spect to the Lawson topology if and only if it is a pseadoalgeb…     

单调概念格性质研究

概念格是知识表示和数据分析的重要工具,单调概念格是概念格的推广。本文就Deogun等提出的单调概念格进行了两方面的研究:一,指出Deogun等提出的单调概念格性质的错误并加以修正;二,证明单调概念格就是闭格,从而找到用拓扑闭包算子和拓扑交结构来表示单调概念格的两种格表示方法,并建立起单调概念格与有上界的拓扑交结构的范畴等价。本文所建立的单调概念格的拓扑表示方法将方便我们进一步研究单调概念格的构造算法、约简算法和实际应用,具有理论和实际的双重意义。     

半连续格和半代数格的映射性质

研究了半连续格及半代数格的一些映射性质,讨论了强连续格的函数空间,给出了强连续格到方体的嵌入定理.     

半极小集及其应用

在完备格中,引入半极小集概念,得到完备格L是半连续格当且仅当每一个元都有半极小集这一结论,同时给出半极小集的一些刻画性质.在半Scott连续映射的帮助下,给出了保半极小集的一些映射性质,并用这些性质证明了半连续格的子半格、商半格还是半连续格.     

余剩余格及其应用

在偏序集上引入了余伴随对（＋，-）的概念，并研究了它在格上的若干性质，提出了余剩余格理论，最后在此基础上给出了MV-代数的一个等价刻画。     

模糊概念格与模糊推理

基于伽罗瓦连接,分别在交换伴随对与对合剩余格条件下,讨论了模糊概念格的四种定义形式。并证明了在对合剩余格上,对偶性成立,四种模糊算子将具有与经典意义下一致的相互关系。最后我们提出了一种基于模糊概念格的模糊推理规则,并证明了其还原性。     

蕴涵格的同余关系及熵蕴涵格

在蕴涵格中引入了蕴涵滤子的概念 ,讨论了蕴涵滤子的一些基本性质 ,并由此建立了由素蕴涵滤子决定的同余关系及其商蕴涵格 ,以便为Fuzzy推理建立严格的逻辑基础作些必要的准备 .