可除BR_0代数及其消去律性质

在对BR_0代数及可换BR_0代数的概念和性质进行了充分研究的基础上,进一步弱化可换BR_0代数中的可换性条件,减去格的有界性运算及其正则性、逆否律等相关要求,提出了可除BR_0代数的概念并对其基本性质进行了初步探究,证明了可除BR_0代数与可换BR_0代数的等价性;最后进一步探索了可除BR_0代数的性质并证明了其中关于蕴涵算子的消去律性质.     

BR_(0~-)代数的表示定理及其简化形式

通过对基础模糊命题演算系统BL*及相应的Lindenbaum代数的研究,给出了BR_(0~-)代数的格蕴涵表示形式,使得BR_(0~-)代数从定义形式上更加符合逻辑代数的特征,突出了BR_(0~-)代数和其他逻辑代数的区别与联系,其次,结合MV-代数,R_(0~-)代数和BR_(0~-)代数的关系给出了MV-代数的BR_(0~-)代数表示形式以及BR_(0~-)代数的简化形式.     

R0-代数在一般集合上的⊕,→表示形式

在一般集合M上(放弃格的要求)以二元算子⊕,→为基本算子给出了R0-逻辑代数的一种纯代数表示形式(M,(⊕,→)), 进一步显示了R0-逻辑代数的一般代数特征及R0-代数与其他逻辑代数的联系.     

R_0-代数在一般集合上的,→表示形式

在一般集合M上(放弃格的要求)以二元算子,→为基本算子给出了R0-逻辑代数的一种纯代数表示形式(M,(,→)),进一步显示了R0-逻辑代数的一般代数特征及R0-代数与其他逻辑代数的联系.     

BR0-代数定义的简化形式

作者对基础R0-代数进行了研究,从定义的形式上对BR0-代数进行了简化,使之更加符合逻辑代数的基本特征,进一步体现了BR0-代数与其它逻辑代数之间的关系.     

可换BR_0代数的刻画和性质

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

PBR_0代数的性质及其滤子

在研究BR_0-代数的基础上,首先给出了PBR_0-代数的概念,讨论了PBR_0-代数的一些性质,得到了PBR_0-代数的等价刻画定理,然后讨论了PBR_0-代数的滤子及其生成滤子的性质.     

一类广义Witt代数的构造

19年前Kawamoto定义了特征为0的域F上的广义Witt代数,本文基于一个可换幺半群及其上的一个双变量映射,定义并研究了一类广义Witt代数^W=W(α,A,T,φ)/I FT,其中A是一个可换幺半群,T是域F上的一个向量空间,φ:T×A→F是一个双变量映射。给出确定单性的一个充要条件,证明了这类代数结构同构于相应的可换幺半群代数的导子代数。     

区间集上R_0-代数的特征性质及其简化表示定理

论证区间集上R0-代数的一组有趣特征性质及任意元与其相应的补的最小蕴涵关系式。在引入两个新的运算算子的基础上,进一步讨论区间集上R0-代数的又一组基本特征性质。运用公理化思想简化了区间集上R0-代数表示形式的公理条数,以彰显其公理系统的相对独立性。     

粗糙集代数与R_0-代数

在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对(<下近似集,上近似集>)表示入手,通过定义偶序对的基本运算,从而构造出相应的粗代数并发现R0-代数能够抽象刻画偶序对的性质。讨论了粗糙集代数与R0-代数的关系以及由粗糙集代数构造R0-代数的方法,借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子和余运算之后,粗糙集代数就成为R0-代数。     

结合超代数上的超结合Yang-Baxter方程

主要研究结合超代数上的超结合Yang-Baxter方程.首先给出结合超代数上Rota-Baxter算子和■-算子的定义,得到结合超代数上奇的Rota-Baxter算子与李超代数上奇的Rota-Baxter算子之间的关系,找到结合超代数上的超结合Yang-Baxter方程的解与结合超代数上的■-算子之间的关系.最后给出了结合超代数上超结合YangBaxter方程的解与超2-上循环之间的关系.     

套代数上的一类非线性中心化子

为了推广算子代数中的基本理论,对一类非线性映射成为套代数上的可加中心化子的条件进行了研究。首先,基于Hilbert空间上的非平凡套定义与该套有关的套代数,并定义套代数上的一个非线性映射;其次,采用矩阵分块方法获得关于此映射的几个性质;最后,证明套代数上满足某种条件的非线性映射为可加中心化子,给出刻画该映射的具体形式。结果表明,套代数上满足某种条件的非线性映射为可加中心化子,且可完全刻画。研究结果推广了非线性映射成为套代数上可加中心化子的结论,丰富了算子代数拓扑结构的分类问题,为套代数上其他类型非线性映射问题的刻画提供了借鉴与参考。     

关于BR0-代数弱完备性的证明

目的对BR0-代数自身的完备性问题进行研究。方法研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,并结合吴洪博教授所定义的BR0-代数,从伴随的角度切入。结果在BR0-代数中定义了BR0-等式和BR0-方程,通过全序BR0-代数证明了BR0-代数自身的弱完备性。结论得到了BR0-代数的完备性定理,为相应形式逻辑系统与模糊推理的研究提供了理论框架。     

李超代数S(2)上的Rota-Baxter算子

主要研究李超代数S(2)上权为0的Rota-Baxter算子, 根据S(2)_0^-与sl(2,C)同构的这一性质, 利用sl(2,C)的Rota-Baxter算子, 给出了李超代数S(2)上的权为0的偶的Rota-Baxter算子, 同时利用 Rota-Baxter算子的定义计算得到了李超代数S(2)上的权为0的奇的Rota-Baxter算子。     

左对称超代数上的超S-方程

主要研究左对称超代数上奇型的超O-算子,研究了左对称超代数上的超S-方程的解与超O-算子之间的关系,进一步找到在左对称超代数上奇型的超O-算子与左对称超代数和表示空间的对偶空间的直和空间上的超S-方程的解的关系.给出了左对称超代数上超2-上循环的定义,研究了左对称超代数上超S-方程的解与超2-上循环之间的关系.     

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

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

次BL代数的修正及其应用

次BL代数是多个重要逻辑代数的理论基础，文章对次BL代数作了进一步的深入研究，得到了一些很好的结论，其主要结果有：1）简化了次BL代数的定义；2）给出了次BL代数的另外两种等价形式，进一步揭示了次BL代数与其他逻辑代数之问的关系；3）证明了一种强次BL代数与BR0代数之间的等价关系。并以次BL代数为基础蛤出了BR0代数和R0代数的简化定义，改进了已有的结果。     

偏序集上关联蕴涵代数的性质

偏序集上的蕴涵代数是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象．在偏序集关联蕴涵代数概念的基础上，本文对其性质进行了一定的讨论，给出了它与其它逻辑代数结构间的关系．     

NBR_0代数上的运算和性质

通过提出模糊逻辑代数NBR_0的概念,研究逻辑代数NBR_0的代数结构,定义其上的运算,并探讨新运算,→_1,→_2与原运算之间关系,得到了NBR_0代数的一个等价刻画.     

3-Lie 代数的上同调群

定义了3-Lie代数A上的一个边缘算子δ和A的n阶上同调群Hn(A,V),证明了δ2=0.定义了3-李代数A的Casimir算子C,利用C的性质,证明了非退化的3-Lie代数的二阶上同调群等于零.