∧结合 BCI—代数

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