關聯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的每一分支都是布爾代戀櫃牛再再幾境數.

相關詞條

熱門詞條

聯絡我們