拟可换BCI-(BCK-)代数的标准型

本文研究了拟可换BCK-代数和BCI-代数的标准型问题,得到一组充要条件,规范和简化了拟可换BCK-代数和BCI-代数的定义,给出了显示拟可换BCK-代数和BCI-代数结构差别的拟可换特征.     

对合BCK-代数与交换可剩余半群

引入对合BCK-代数的伴随序半群和可剩余序半群的伴随BCK-代数的概念,给出了它们之间的关系和性质,由此表明了BCK-代数与序半群相互间的联系.     

Hilbert代数与BCK-代数

引入交换Hilbert代数与BCK-代数的概念,给出了它的一个等价公理系.同时,研究了Hilbert代数与BCK-代数,MV代数的关系.     

关于正蕴涵BCK-代数

给出了弱可结合的定义,从映射角度得到了BCK-代数是正蕴涵的等价条件,讨论了具有条件(S)的正蕴涵BCK-代数同构于所有右乘映射的集合R(X).     

拟可换BCK-代数类是BCK-代数类的真子类

本文肯定地回答了胡庆平(1987)提出的“拟可换BCK-代数类是BCK-代数类的真子类吗?或存在一个BCK-代数,使得它不是拟可换的吗?”问题。并在BCI-代数上导出了相应结果。     

BR0-代数与BCK-代数

讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数系统等结论.     

格蕴涵代数、MV-代数和有界可换的BCK-代数

本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。     

关于可换BCK-代数的一点注记

1980年Isèki,K.提出了这样的问题:具条件(C)的BCK-代数是否可换BCK-代数?1981年PaL'asinski,M.证明了具条件(C_1)的BCK-代数是可换BCK-代数。但又说:“条件C_1弱于条件C”,从而认为解决了Isèki的问题。本文指出上述说法是错误的,并解决了Isèki的问题,还提出了另外几个新的可换BCK-代数的系统。     

BCK-代数上的包含度

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

BCK-代数的Fuzzy可换理想

把BCK-代数与模糊理论相结合，引入Fuzzy可换理想，并得到了一些相应的有益结果，同时，给出了三类Fuzzy理想之间的关系．     

关于BCK-代数的可解性与幂零性

本文定义了可解的BCK-代数与幂零的BCK-代数,讨论了它们的一些性质。     

有界BCK—代数的一个简化公理系统

给出了有界BCK-代数一个新的公理系统,并证明了其中的各条公理是相互独立的.     

BCK—代数中理想的既约分解的推广

得到关于BCK——代数中理想的既约分解与质分解的新结论,它们是J.Ahsan和M.Palasinski给出的已有结论的推广形式。     

BCI-代数与BCK-代数的粘合(Ⅰ)

构造了BCI-代数范畴中一种自然的粘合,先前许多作者定义的粘合是这种构造的特殊情况,这种构造的自然性表现在:任一BCI-代数与BCK-代数能以此法粘合;导出同态的粘合;保留两个代数的许多性质.     

可逆阵的线性组合

给出了两个可逆阵的线性组合仍为可逆阵的一些特殊情况的回答。并且给出了2个交换的对合矩阵的线性组合仍为对合矩阵的充要条件．     

关于交换BCK－链

本文在ＢＣＫ－代数中引进连通覆盖的概念，证明了Ｊｏｒｄａｎ－Ｈｏｌｄｅｒ－Ｄｅｄｅｋｉｎｄ定理与维数定理，并指出：一个有界交换ＢＣＫ－代数是Ａｒｔｉｎ的当且仅当它是Ｎｏｅｔｈｅｒ的。     

广义拟右交错BCI—代数及其结构

本文引入广义拟右交错BCI-代数的概念,讨论了它的基本性质。利用LX并代数的概念,证明了结构定理:拟交错BCK-代数、广义结合BCI-代数以及任意拟交错BCK-代数与任意纯广义结合BCI-代数的LX并代数都是广义拟右交错的BCI-代数;反之,广义拟右交错BCI-代数或者是拟交错BCK-代数,或者是广义结合BCI-代数或者是拟交错BCK-代数与纯广义结合BCI-代数的LX并代数。从而解决了该类代数的结构问题。     

关于BCK／BCI－代数的几个等价公理系

分别给出ＢＣＫ－代数，蕴涵ＢＣＫ－代数，ＢＣＩ－代数及蕴涵ＢＣＩ－代数的一个等价公理系，说明了蕴涵ＢＣＩ－代数是蕴涵ＢＣＫ－代数的自然推广，亦说明了蕴涵性是“双Ｂ”代数的“固有属性”．