半单优BCI－代数的长度定理

继续对［１］的研究，得到了半单优ＢＣＩ－代数的替换定理和长度定理．     

范畴BCI的子范畴

一切 BCI -代数和 BCI-代数间的同态映射作成范畴(?).(?)有很多子范畴.下面的一般结果使验证子范畴的工作迎刃而解。定理1 设 P 是 BCI-并数的一个性质.如果具有性质 P 的 BCI-代数存在,那么一切具有性质 P 的 BCI-代数和它们间的同态映射作成一个范畴,称为具有性质 P 的 BCI-代数范畴,且记为(?).(?)的子范畴并不仅仅由性质所产生,我们进一步有下列:定理2 (?)的一切子范畴作成一个真类。     

关联BCI—代数

一个BCK-代数叫做关联的,如果它满足 (1).x*(y*x)=x K.Is’eki[2]证明了满足(1)的BCI-代数是一个BCK-代数。于是为了引入关联BCI-代数概念,先给出关联BCK-代数的等价条件。本文将不加说明地引用[1]中的记号和结论。     

BCI—代数的积代数

我们先引入一族BCI-代数的积代数。定理1 设(α∈I)是一族BCI-代数,其中I是指标集。设X=π{X_α:α∈I}是一切映射f:I?U{X_α:α∈I}的集合,使得f(α)∈X_α。对于任意的f,g∈X,定义f*g为     

广义α—结合BCI—代数

引入了广义α－结合ＢＣＩ－代数的概念，研究了ＢＣＩ－代数的ｐ－半单部分与广义α－结合部分的关系。并将ｐ－半单ＢＣＩ－代数的若干重要性质推广到广义α－结合ＢＣＩ－代数上。最后我们证明了每个广义α－结合ＢＣＩ－代数可确定一个交换偏序幺半群。本文结果表明文［１］的正则ＢＣＩ－代数与ｐ－半单ＢＣＩ－代数是一致的。     

两类BCI—代数的结构特征

在[1]中有:BCI(K)—代数M=是拟左交错的,如果■x,y∈X,x≠y时有 x*(x*y)=(x*x)*yM是拟右交错的,如果?x,y∈X,x≠y时有     

BCI—代数的KI并代数

本文引入ＢＣＩ－代数的ＫＩ并代数，它是ＢＣＫ－代数的无交并的推广。     

关于单BCI－代数的一些结果

本文讨论了单ＢＣＩ－代数．证明了一个ＢＣＩ－代数是单的当且仅当它的子代数都是单的；给出了单ｐ－半单ＢＣＩ－代数的一种表示式；证明了一个ｐ－半单ＢＣＩ－代数是单的当且仅当它的阶是素数；这样得到了一批（无限多个）单ＢＣＩ－代数；证明了商ＢＣＫ－代数Ｘ／Ａ是单的当且仅当Ａ是Ｘ的极大理想．     

BCI—代数和弱半联理想

引进ＢＣＩ－代数的弱关联理想的概念，并用以刻划弱关联ＢＣＩ－代数，从而推广了文［３］中的的一上结结论。     

正定关联BCI—代数

本文是作者［１］和［２］的继续，引入了正定关联ＢＣＩ－代数的概念，并证明了：正定关联ＧＢＣＫ－代数类和Ｐ－半单ＢＣＩ－代数类是正定关联ＢＣＩ－代数类的真子类。     

BCH-代数的原子与分支

在BCH—代数中引入了原子与分支的概念，给出了一个元素为BCH-代数原子的一系列等价条件，证明了一个BCH—代数的所有原子作成的集合是一个广义结合BCI—代数，最后对BCH—代数分支的性质进行了讨论。     

BCI—代数的Fuzzy强蕴涵理想

本文引入了ＢＣＩ－代数的强蕴函理想的概念，研究了它的性质，同时讨论了ＢＣＩ－代数中的Ｆｕｚｚｙ关系。     

关于有界BCK—代数的主对偶理想的一个定理

本文给出了ＢＣＫ－代数主对偶理想的一个定理，使得［３］中定理２作为本定理的一个特例。     

Stone代数次直积表示定理和Stone引理的等价性

本文证明了分配格L上的Stone引理和BirkhoffG．得到的Stone代数次直积表示定理是等价的．因而Stone代数次直积表示定理等价于质理想定理.     

广义a-结合BCI-代数

引入了广义ａ－结合ＢＣＩ－代数的概念，研究了ＢＣＩ－代数的ｐ－半单部分与广义ａ－结合部分的关系．并将ｐ－半单ＢＣＩ－代数的若干重要性质推广到广义ａ－结合ＢＣＩ－代数上．最后我们证明了每个广义ａ－结合ＢＣＩ－代数可确定一个交换偏序幺半群．本文结果表明文［１］的正则ＢＣＩ－代数与ｐ－半单ＢＣＩ－代数是一致的．     

BCK和BCI—代数的映射

在ＢＣＫ－代数中引进了一个右映射和ＢＣＩ－代数中引进了一个弱左映射，并探讨它们的性质。从而推广了文［１］中大部分结果。主要结果是：如果Ｘ是一个ＢＣＫ－代数，Ｙ是一个正定关联ＢＣＫ－代数，则所有Ｘ到Ｙ的左映射的集合也构成一个正定关联ＢＣＫ－代数。     

Hopf代数交叉余积的对偶定理

证明了交叉余积的对偶定理,该定理具有与交叉积对偶定理(概括了群分次环的相应结果)相类似的意义。     

BCI-代数的Fuzzy a-理想

本文的目的是引进PCI－代数的fuzzy α-理想的概念与探讨它的性质，给出了fuzzy α-理想的特征与Meng‘s扩张定理，讨论了BCI－代数中fuzzy α-理想，fuzzy q-理想与fuzzy p-理想之间的关系，从而得到一个BCI－代数的fuzzy子集是fuzzy α-理想当且仅当它是fuzzy q-理想与fuzzy p-理想。利用fuzzy α-理想与fuzzy p-理想分别刻画了结合BCI－代数与p-半单BCI－代数。此外，亦给出了fuzzy α-理想的其他性质。     

关于BCI逻辑的一种偏序代数

通常,人们认为Kiyoshi Iséki在20世纪60年代引入的BCI-代数是组合逻辑中BCI逻辑的代数对等物。然而这种广为人知的断言却是有问题的,因为BCI逻辑关于BCI代数是不完备的。在本文中,我们引入一种称为MPE的偏序代数。在MPE中的每个不等式对应BCI逻辑中的一个重言式且反之亦然,从而MPE代数是与BCI逻辑完备的代数类。