具有條件BCI代數

具有條件BCI代數是一類重要的BCI代數，是於1977年引進了具有條件(:)的BCK代數，1980年又推廣到BCI代數上去，並奠定了它的基礎理論.具有條件(s)的關聯BCK代數與冪等元環是兩個抽象等價系統.

具有條件BCI代數(BCI-algebra with thecondition (s))一類重要的BCI代數.設(X;*,0)是BCI (BCK)代數，若對X的任意兩個元a,b，方程(x*a)-}b=。在X中有最大解，記其最大解為a+b，則稱X是一個具有條件(:)的BCI (BCK)代數.若X是具有條件(:)的BCI代數，則方程(( x -} a )*b=0的最大解a+b是由a,b所惟一確定的，即“+”是X的一個二元運算.(X;}-,0)是一個保序交換半群，。是半群的單位元.井關清志((Iseki, K.)於1977年引進了具有條件(:)的BCK代數，1980年又推廣到BCI代數上去，並奠定了它的基礎理論.具有條件(s)的關聯BCK代數與冪等元環是兩個抽象等價系統.