關聯BCI代數

關聯BCI代數(implieative BCI-algebra)關聯BCK代數的一種推廣.設X是BCI代數,若d二,yEX,有
(x*(x*y))*(y*x)=y*(y*x),
則稱X為關聯BCI代數.關聯BCK代數,p半單BCI代數都是關聯BCI代數;反之不真.BCI代數X是關聯的若且唯若X是可換的和正關聯的.局部有界關聯BCI代數X的每一分支都是布爾代數.

相關詞條

熱門詞條

聯絡我們