关于四种弱BCI-代数及其可分配性

Four kinds of BCI-algebras and their available distributivity

引入比BCI-代数条件更弱的四种弱BCI-代数,讨论它们的等价条件,并给出弱BCI-代数的一种二元运算"+:"x+y=x*(x*y),讨论了与这种运算相关的可分配性,进而四种弱BCI-代数在可分配下得到统一.

In this section, I introduce four kinds of weak BCI - algebras which are weaker than the BCI - algebra and discuss their equational conditions, and meanwhile,intend to show a binary operation ＂ ＋ ＂ recalled by in weak BCI - algebras. At the same time, I want to discuss this kind of operation in order to integrate these four kinds of weak BCI - algebras with the condition of available distributivity.