关联BCI—代数

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

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

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

BCI—代数的KI并代数

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

广义α—结合BCI—代数

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

BCI—代数的积代数

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

正定关联BCI—代数

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

P—投射BCI—代数

本研究p-投射BCI－代数的性质，得出如下主要结论：给出如下p-半单BCI－代数正合更0→K1→P1→B→0和0→K2→P2→B→0若p1和p2是p－投射的，则K1＋R2≌K2＋P1     

BCK和BCI—代数的映射

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

BCI—代数的Fuzzy强蕴涵理想

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

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

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

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

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

范畴BCI的子范畴

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

具有散有限半序性质的BCI—代数

自日本数学家K.Iseki于一九六六年引入BCI-代数(见[1])以来,尤其是K.Iseki在一九八0年对BCI-代数理论做了一系列奠基工作(见[2-8])以来,BCI-代数理论的研究工作有了很大发展,取得了许多成果。在BCI-代数理论中一些类的研究一直是研究的主要方向之一。本文中作者要引入一类新的BCI-代数,使得BCI-代数类[9-10]、结合BCI-代     

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

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

关于BCI—代数伴随半群中的可逆元

给出了ＢＣＩ－代数的伴随半群中可逆元的刻划，说明ＢＣＩ－代数的ｐ－半单闭理想与其伴随半群的子群之间有一一对应关系，并证明最大的ｐ－半单闭理想是根理想。     

BCI—代数和弱半联理想

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

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

本文讨论了单BCI-代数。证明了一个BCI-代数是单的当且仅当它的子代数都是单的；给出了单p-半单BCI-代数的一种表示式；证明了一个p-半单BCI-代数是单的当且仅当它的阶是素数；这样得到了一批（无限多个）单BCI-代数；证明了商BCK-代数X/A是单的当且仅当A是X的极大理想。     

Some Properties of a Class Self—homomorphism of BCI—algebras

ＢｙａＢＣＩ－ａｌｇｅｂｒａｗｅｍｅａｎａｎａｌｇｅｂｒａ（Ｘ；，０）ｏｆｔｙｐｅ（２，０）ｓａｔｉｓｆｙｉｎｇｔｈｅａｘｉｏｍｓ：（１）（（ｘｙ）（ｘｚ））（ｚｙ）＝０；（２）（ｘ（ｘｙ））ｙ＝０；（３）ｘｘ＝０；（４）ｘｙ＝ｙｘ＝０ｘ＝ｙｆｏｒａｎｙｘ，ｙａｎｄｚｉｎＸ．ＦｏｒａｎｙＢＣＩ－ａｌｇｅｂｒａＸ，ｔｈｅｒｅｌａｔｉｏｎ≤ｄｅｆｉｎｅｄｂｙｘ≤ｙｉｆａｎｄｏｎｌｙｉｆｘｙ＝０ｉｓａｐａｒｔｉａｌｏｒｄｅｒｏｎＸ［１］．ＩｎａｎｙＢＣＩ－ａｌｇｅｂｒａＸ，…     

Some Characterizations of Nil Ideals in BCI—algebras

51.IntrodcutionIn[1j,thenotionsofnilidealinBCI-algebrasandinlBCI-algebrawereintreduced.WeshowthatnilBCI-algebraisageneralizationofassociativeandquasi-associativeBCIalgebra([2J,[3j).lnthispaper,somecharacterizationsofnilidealsinBCI-algebraswereproved.Moreover,theBCI-algebrassatifyingO*x.=xwerediscussedandvariousproPertieswereproved.Werecallsomedefinitionsande1ementaryproperties.ThefollowingsaretrueinaBCI-al-gebra:(l)x o=x;(2)(x*y)*z=(x z) y;(3)x相似文献