格环上的Fuzzy同余关系

给出了格环上Fuzzy同余关系的定义,研究了它的若干性质,证明了格环上的全体Fuzzy同余关系关于Fuzzy集合的包含关系构成一个模格,并利用Fuzzy同余类给出了Fuzzy同余商格环的定义及其同态、同构的若干性质。     

整环的泛拟正则性与雅各布森(Jacobson)根的另一构成

设■是一个含恒等元的整环,且包含有理数域为其子域,则(?)中一切正则元所成的集合P对乘法构成一个群,即■的正则群。取a∈P,则a有逆元b∈P;因为■包含有理数域,故可令a=1-nz,b=1-nω(n正整数),我们有 1=ab(1-nz)(1-nw)=1-n(z+w-nzw),从而     

模糊完备格上模糊G-理想和模糊Galois伴随之间的一一对应

以交换单位quantale为取值格,研究了模糊完备格上的模糊G-理想。首先,给出了模糊G-理想的定义,证明了由X×Y上的所有模糊G-理想构成的集合在包含度下是一个模糊完备格。其次,研究了模糊G-理想和模糊Galois伴随之间的关系,证明了由X×Y上的模糊G-理想构成的模糊完备格与X和Y之间的模糊Galois伴随构成的模糊完备格相互同构。     

分子格范畴中一种新的乘积结构

利用完备格上的关系，在一族分子格｛Ｌｉ｝ｉ∈Ｉ的直积上引入了二元关系，讨论了关系的一些基本性质．借助于关系，在引入了下集的概念，证明了中的所有下集全体按集合包含序构成一个分子格．由此得到了一族分子格在分子格范畴中的乘积结构，并且给出了乘积对象中的全体分子与完全分子．最后证明了一族强分子格在分子格范畴中的乘积对象仍然是强分子格．     

剩余格中的Fuzzy(P)滤子的结构

在剩余格中引入生成Fuzzy(P)滤子的概念并给出了它的结构。证明了剩余格中的Fuzzy(P)滤子之集构成完备的分配格,并在全体Fuzzy(P)滤子之集上引入运算""和"→",证明了剩余格中的部分Fuzzy(P)滤子之集添入特殊的零元得到的集合带上这两个运算构成剩余格。     

循环描述逻辑 TBOX 中的完备格

描述逻辑中含有循环定义的TBox通常使用固定点模型来刻画循环定义的语义,对于固定点模型,不仅需要研究其存在性,还需要研究模型之间的关系,如是否存在最大、最小固定点模型。TBox中所有模型扩展集合上的偏序关系可以诱导出格结构,而且是完备格,现有的研究得出的一些结论主要是针对此完备格。考虑在特定固定点下,概念解释域上的偏序关系同样可以诱导出格。对这种格进行研究得出了一些有益的结论,这些结论为深入研究循环描述逻辑语义提供了新的思路。     

完备集环是理想格的充分必要条件

证明了如下结果：设L是完备格，L是完备集环←→L同构到L的完全并既约元有限生成的分配并半格F上的理想格I(F)，完备格L同构到一个格K的理想格I(K)，L是完备集环←→K是强Sober格。     

剩余格的TL-滤子与TL-同余关系

将有界格上的t-模T应用于剩余格的滤子和同余上,提出了剩余格的TL-滤子与TL-同余关系。首先,研究TL-滤子与TL-同余的性质与一些等价刻画。得到了TL-滤子的集合与TL-同余关系的集合是同构的。最后研究了剩余格的商结构与同态定理,这些理论在其他逻辑代数系统中依然成立。     

完备集环上的Stone代数

得到了如下结果：①完备集环L是Stone代数当且仅当L的每个完备素滤子仅包含在L的一个极大滤子中；②完备集环L是Stone代数当且仅当L是直积不可约Stone代数的直积；③完备集环L是Lukasiewicz三值代数当且仅当L同构到一个幂集格．     

子空间格的几何意义

本文主要叙述子空间格在射影几何中的一些应用,将子空间格与射影空间、子空间格之间的同构映射与射影对应、零化映射与对偶原理联系起来,最后并归结为一类特殊的范畴与函子。 (一)子空间格与射影空间设V是实数域R上的有限维向量空间,P(V)是V的所有子空间做成的集,则p(V)关于集的包含关系     

完备布劳威尔格上蕴涵的结构

研究了完备布劳威尔格上全体蕴涵算子之集,在此集上定义运算及序关系使其成为幺半群,且是完备布劳威尔格;然后讨论了线性完备布劳威尔格,且给出一种方法构造新的蕴涵算子,同时研究了蕴涵算子换置位对称性质,最后讨论了[0,1]上任意2个可比蕴涵算子的关系。     

诱导某些完全格的另一类正则α─半群

对于有限集合ｘ上的任—等价关系Ｅ，本文找到了另一类正则ａ—半群，它所诱导的完全格恰为｛δ｝Ｕ［Ｅ，ω］，并且这个半群比［６］中给出的正则ａ—半群具有更小的基数。     

完备格上Fuzzy关系方程的解是极小元的一个充要条件

在完备格L上给出方程∨j∈J(aj∧xj) =b的解集非空时 ,解集中的解是极小元的一个充要条件及解集中的解有极小元的一个充分条件 .讨论了与格论有关的一些性质 ,并给出了一个开问题 .     

关于群的同余格的一个注记

从半群理论的观点出发,证明了群的同余格与它的正规子群格是完备格同构的,这加强了已知的传统结论     

闭包算子格及其分配性

基于对闭包运算的性质研究,引入了闭包算子以及同一集合上的闭包算子之间的通常序关系概念,构造出同一集合上的闭包算子关于通常序的上下确界,使得同一集合上的所有闭包算子关于定义的算子间的通常序构成完备格（闭包算子格）.同时证明了闭包算子格不满足分配性。     

概念格与粗糙集

概念格与粗糙集都是有效的数据分析方法，它们已广泛应用于机器学习、人工智能、知识发现等领域．概念格与粗糙集在数据分析方面有相似之处，并且粗糙集的一些概念包括等价类，上、下近似等都可以通过概念格来表示．论述了概念格与粗糙集之间的联系，建立了它们之间的关系，并通过实例进行了解释．     

BCH-代数的首行商代数和不变子代数

给出一种求BCH-代数商代数的十分方便的方法,证明了0*x=0*yx*y∈B(X),并给出一个BCH-代数成为广义结合BCI-代数的两个条件.在BCH-代数中提出不变子代数的概念,证明了一个BCH-代数的两个不变子代数的交和并仍然是一个不变子代数,〈Q(X),∪,∩〉是一个分配格,其中Q(X)是一个BCH-代数中所有不变子代数做成的集合.     

完备格的一种表示

Ｍ．Ｈ．ｓｔｏｎｅ 已证明：对于分配格,存在一个集合,使得它格同构于这个集的幂集格的一个子格．对于完全分配格,可知它格同构于［０ ,１］ 的某个幂的子完备格．本文探讨完备格的表示,给出了它的一种表示     

关于广义格半群

引入广义格半群的概念，进而对广义格半群与格半群以及相应的理想和sl理想的相互关系及区别进行了讨论，指出格半群是广义格半群，反之则不一定，在广义格半群中理想集I(S)是完备格，而sl理想集却不能构成格，在格半群中，sl理想集是格，但是两个sl理想的上确界不等于其并，广义格半群中的理想均能生成sl理想。     

格蕴涵代数的构造

进一步讨论了格蕴涵代数的性质和结构,给出了一条不能构成格蕴涵代数的链的例子,得到并证明了链可成为格蕴涵代数的一个充分必要条件;同时,对格蕴涵代数之全体的结构进行了全面的研究.