∧结合 BCI—代数

The associative BCI-algebras with operation A

本文定义了Λ结合 BCK-代数,解决了真类问题、真子类问题和基数问题,并得到了它的BCK-部分是可换的 BCK-代数。

In the paper,we define the associative BCI-algebras with operation ∧,and prove that its BCK-part is commutative BCK-algebra.The following problems are solved:proper class problem,proper subclass problem and cardinal number problem.