正则FI代数及其伴随代数

引入了正则FI代数伴随代数的概念，研究了该伴随代数与Boolean代数的联系；同时讨论了正则FI代数许多有趣的性质。     

可换BR_0代数的刻画和性质

为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价.     

关于PFI代数的格论性质

提出了较正则FI代数更为广泛的一类FI代数-PFI代数，并且深入研究了它的格论性质，得到了一个PFI代数的导出偏序集成为一个格或半格的若干条件．     

正则FI代数的MP滤子性质新探

讨论了正则FI代数中MP滤子的性质与应用。获得了正则FI代数中MP滤子的若干新性质,证明了正则FI代数中生成MP滤子的一个新的表示定理;利用MP滤子概念在正则FI代数上构造了一个同余关系,讨论了此同余关系的基本性质。     

正则FI-代数上的伴随算子

研究了正则FI 代数的性质,并证明了对于正则FI 代数(L,→,0)的蕴涵算子→,存在惟一满足条件(a b)→c=a→(b→c)的算子 ,使得( ,→)成为伴随对.所得结果在一定程度上反映了正则剩余格内部结构的特征.     

A∞-代数与三维AS正则代数

利用A∞-代数来讨论Artin-Schelter(AS)正则代数的分类．设A是整体维数为3的连通分次Noetherian代数,则A是AS正则代数当且仅当它的Yoneda代数ExtA(k,k)是Frobenius代数．设E是与ExtA(k,k)有相同的双分次结构的Frobenius代数．首先对E的代数结构及A∞-结构作分类,然后利用这个A∞-结构的分类及已知的一个对应关系,得到A∞-代数E的“对应”代数,从而为三维AS正则代数的A∞-分类作好了准备．     

可交换的弱FI代数

引入可交换弱FI代数的概念 ,讨论了弱FI代数和FI代数的几个性质 ;进一步得到了交换弱FI代数和交换FI代数的一些结果     

滤子化软FI代数

将软集概念及其相关运算运用于FI代数问题的研究。首先,提出滤子化软FI代数的概念并讨论其代数性质。其次,应用滤子化软FI代数概念给出了FI代数上的模糊集成为模糊MP滤子和(∈,∈∨q)-模糊MP滤子的几个充要条件。     

粗集代数与蕴涵格、格蕴涵代数、剩余格

在重新定义补运算和构造新蕴涵算子的基础上，证明了偶序对〈R，～R〉不仅可以构成蕴涵格、格蕴涵代数、剩余格，而且可构成正则剩余格和MV-代数。     

关于Griss代数的伴随半群

本文证明了Griss代数X作成正蕴涵且具有条件(S)的BCK一代数当且仅当X是正则的Griss代数;进一步给出了BCK一代数作成Griss代数的半群刻划.     

WBR0-代数的正则性及与其他逻辑代数的关系

 通过对正则剩余格和WBR₀-代数的深入研究, 进一步明确了WBR₀-代数与其他逻辑代数之间的关系。 主要结果有: (1)证明了正则剩余格与WBR₀-代数是相同的代数结构;(2)通过联络图表列举了WBR₀-代数与其他经典逻辑代数之间的联系,体现了WBR₀-代数在逻辑代数中的地位与作用;(3)通过构造WBR₀-代数的实例说明WBR₀-代数与其他逻辑代数之间的区别。     

WBR_0-代数的正则性及与其他逻辑代数的关系

通过对正则剩余格和WBR0-代数的深入研究,进一步明确了WBR0-代数与其他逻辑代数之间的关系。主要结果有：（1）证明了正则剩余格与WBR0-代数是相同的代数结构;（2）通过联络图表列举了WBR0-代数与其他经典逻辑代数之间的联系,体现了WBR0-代数在逻辑代数中的地位与作用;（3）通过构造WBR0-代数的实例说明WBR0-代数与其他逻辑代数之间的区别。     

Implicational lattices and generalization of Stone’s representation theorem

Let F(S) be the free algebra of type (,∨,→) generated by the non_empty set S, it is proved that the logical equivalent relation defined by means of R 0_semantics is a congruence relation on F(S) and the corresponding quotient algebra is said to be the R 0_semantic Lindenbaum algebra. Taking R 0_semantic Lindenbaum algebra as a prototype, the concepts of implicational lattices and regular implicational lattices which are generalizations of the concept of Boolean algebras are introduced. Besides, the concept of fuzzy implicational spaces is introduced and the representation theorem of regular implicational lattices is obtained by means of fuzzy implicational spaces. In case of Boolean algebras, the corresponding fuzzy implicational spaces are zero_dimensional compact Hausdorff spaces and herefrom it is proved that the famous Stone's representation theorem of Boolean algebras is a corollary of the representation theorem of regular implicational lattices.     

剩余偏序集及其与FI代数的关系

给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足（ab）→c=a→（b→c）,那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代数之间的联系,并绘制了剩余偏序集与其它相近逻辑代数之间联系的网络图.     

正交模格上的次BL代数性质

在《正交模格FMO2(n)上的代数结构》的基础上,讨论了一般正交模格上的次BL代数性质,得到了比《正交模格FMO2(n)上的代数结构》更为广泛的结果。     

两个Hopf代数的单模及主不可分解模

对两个有限维分次Hopf代数,由分次代数的性质给出它们的单模;利用循环群代数上的一组正交本原幂等元给出这些单模的投射盖,即不可分解投射模,从而得到这两个Hopf代数的正则模分解式.     

可交换弱R0代数

简化了弱R0代数及R0代数的定义。在弱R0代数的基础上，提出可交换弱R0代数，并讨论了它的一些新的性质。探究了可交换弱岛代数与格蕴涵代数之间的关系，以及与MV代数之间的关系。     

伪格蕴涵代数

为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广.详细地探讨了伪格蕴涵代数的基本性质,给出了伪格蕴涵代数的等价特征.     

格蕴涵代数的素滤子

格蕴涵代数中素滤子的概念被引入。建立了素滤子的基本性质和素滤子定理。作为推论,给出了格蕴涵代数的某些结构性定理。