正關聯BCI代數

正關聯BCI代數(positive implicative BCI-aI-gebra)正關聯BCK代數的一種推廣。

設X是BCI代數,若d x,yEX,有
(x‘(x‘y>)*(y‘x)=x‘(x*(y‘(y‘x))),
則稱X為正關聯BCI代數.正關聯BCK代數與p半單BCI代數都是正關聯BCI代數,反之不真.純BCI代數X是正關聯的若且唯若X的BCK部分與p半單部分都是正關聯的.

相關詞條

熱門詞條

聯絡我們