In particular we prove that the bounded BCK-algebra With bases is finite and its order is divided by the orders of its ideals.
特别地，我们有：具有基的有界bck—代数是有限的，并且理想的阶整除它的阶。
In particular we prove that the bounded BCK-algebra With bases is finite and its order is divided by the orders of its ideals.
特别地，我们有：具有基的有界bck—代数是有限的，并且理想的阶整除它的阶。
应用推荐