BCH-代数与广义结合BCI-代数的关系

利用BCH-代数的理想给出了BCH-代数的商代数的一种定义方法，同时证明了BCH-代数的商代数是一个广义结合BCI-代数。     

分配格的等价关系刻画

通过在格上定义等价关系，给出了分配格，Heyting代数，Boolean代数的一致等价刻画。由此得到了Heyting代数与Boolean代数分解定理．     

IMTL逻辑代数的一种新强化形式

对IMTL-代数及其相关逻辑代数进行了进一步的研究，通过加强IMTL-代数条件的方法建立了IMTL＊-代数，并通过实例证明了IMTL＊-代数结构的存在性；其次，构造了一个非IMTL＊-代数的IMTL-代数，说明了IMTL＊-代数是IMTL-代数的真的强化形式，并基于IMTL-代数给出了IMTL＊-代数的一些等价刻画；最后，给出了IMTL＊-代数的蕴涵表示形式。本文的结果是对逻辑代数的研究内容和方法的有益补充。     

BCI—代数中的几个结论

本文对BCI-代数一书中提出的二个未解决的问题:(1)是否存在一个局部完备的真BCH-代数而不是完备的BCH-代数;(2)是否存在极不BCI的BCH-代数给出了答案,同时得到一个结论:对在(2)中所讨论的有限BCI-代数,均是奇诣零代数。     

Fuzzy商代数与同态基本定理

FaningDang1996年引进了Fuzzy商代数的概念，但他给出的Fuzzy商代数不是Fuzzy集，为此重新定义了Fuzzy商代数，并给出了Fuzzy代数的同态基本定理。     

实Banach*-代数泛函的刻划

作者曾给出了实实Banach-代数的一般理论，对于任意的实实Banach-代数描绘甚少。这里刻划了任意实实Banach-代数的一类泛函，这类泛函对刻划一般实实Banach-代数将起到重要作用。     

Hom-LPNG代数的相关性质

先给出Hom-LPNG代数的概念, 再用新定义的运算方法, 解决Hom-LPNG代数构造的一些问题, 得到了用Hom-交换结合代数、 Novikov-Poisson代数和LPNG代数等构造Hom-LPNG代数及由已知Hom-LPNG代数生成新的Hom-LPNG代数的结果.     

量子B-代数的粗糙性（英文）

不确定性理论有广泛的应用和重要的影响。文章将不确定性理论中的粗糙集理论应用到量子B-代数中。考虑了（线性序）量子B-代数的粗糙子代数，证明了量子B-代数上的子代数是粗糙子代数。然后，研究了格序量子B-代数的粗糙正规q-滤子。证明了量子B-代数上正规q-滤子是粗糙正规q-滤子。为了研究格序的量子B-代数，借助单位元将量子B-代数分为三类，给出了并和交运算的具体形式。研究了格序量子B-代数上粗糙正规q-滤子的同态像。此外，将粗糙集理论应用于一类特殊的量B-代数—CKL-代数中，通过选择合适的蕴含算子，证明了粗糙集代数是CKL-代数。最后，将粗糙软集理论应用在量子B-代数上，给出了一个量子B-代数上的决策算法。     

二维Hom-preLie代数的分类

讨论了复数域上的二维Hom-Novikov 代数与Hom-preLie代数的基本性质以及分类。给出了Hom-Novikov 代数与Hom-preLie代数相关的一些基本定义和Hom-preLie是Pre-Lie型的必要条件;讨论Hom-preLie代数的直和,给出了两个Hom-preLie代数之间存在代数同态的充分必要条件。利用这些定义及其简单的性质,完成二维Hom-Novikov 代数与Hom-preLie代数的分类     

弱Hopf代数上的余拟三角结构

弱Hopf代数是通常Hopf代数的弱化,文献[1]中给出了弱Hopf代数的定义和性质.像在通常Hopf代数上一样,在弱Hopf代数上也可以构造Yang-Baxtter方程的解.文献[2]中讨论了弱Hopf代数的拟三角结构,对偶于那里的拟三角结构,我们们可以给出弱Hopf代数上的余拟三角结构并得到类似于文献[3]中的结论(定理 1)及余拟三角弱Hopf代数的余模范畴是辫子张量范畴(定理 2).     

李Color代数次理想的基本性质

给出了李Color代数次理想的基本性质及李Color代数的次理想与可解根基的关系.同时,作为李Color代数的导子塔定理的应用,研究了李Color代数的全形和完备性.     

R0代数中的真布尔元

通过研究R0代数中一类特殊的元——真布尔元的性质，给出了一些特别的R0等式，并据此得到了真布尔元对R0代数分类的充要条件，为格上研究R0代数开辟了一个新的方向。     

TUHF代数上的等距和2-局部等距

给出了TUHF代数上的等距的具体表达形式，进一步证明了TUHF代数上满的2-局部等距为线性。     

正规MS-代数及其等价刻划

把正规软代数的概念推广到MS-代数中，对正规MS-代数的性质进行了探讨，并且给出了正规MS-代数的若干等价刻划。     

BCK-代数上的包含度

本文将张文修提出的包含度引入BCK-代数中,证明了一类BCK-代数的包含度的存在性,给出了BCK-代数上包含度的基本性质,刻划了BCK-代数拟紧性的特征．     

次BL代数的推理系统

基于Esko Turnner对BL代数的系统研究，引入了次BL代数的概念，并给出了次BL代数的实例，在次BL代数中建立了一种广泛的推理系统，研究表明，R0代数、Lukasiewicz结构、Goedel结构等均可纳入次BL代数理论之中。     

Stone代数的理想和同余关系

分别给出了L（L是一个Stone代数）的理想I为核的最大同余关系及最小同余关系的充分必要条件,得到一个Stone代数是W－Stone代数的充分必要条件。     

BCI_代数的广义结合理想

本文引进BCI_代数的广义结合理想概念，给出了BCI_代数是广义结合的充要条件是它的每个理想是广义结合的。还指出广义结合理想对非广义结合BCI_代数的适用性。     

R0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统－－R0代数，给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系，讨论了R0代数公理系统的简化问题，得到R0代数的两个特征定理，并证明了这两个特下定理中条件的独立性，由此得到R0代数两个独立的公理系统，研究结果表明，R0代数类和弱R0代数类都构成代数簇，即等式代数类，因而这两个代数类关于子代数、同态像以及直积是封闭的。     

双Stone代数的理想与同余理想

在给出双Stone代数的理想的基础上,给出了双Stone代数的同余理想.