bck的近义词

In this paper, we shall introduce the concept of discrete BCK algebra, and discuss its relation with BCK-algebra generated by atoms, positive implicative BCK-algebra, commutative BCK algebra and its self algebraic properties.

本文引入离散型BCK代数概念，并探讨它与原子生成的BCK代数、正关联BCK代数、交换BCK代数之间的关系及其自身的一些代数性质。

We shall prove the following results: Let X be an implicative BCK-algebra with finite initial section, then X is isomorphic to an subalgebra of

获得三个主要结果：任一有限初始段关联BCK-代数与

It was proved in this paper that the homomorphic image of fuzzy ideal ( fuzzy implicative ideal) with sup property in BCK-algebra is also a fuzzy ideal ( fuzzy implicative ideal).

本短文论证了BCK-代数有sup性质的Fuzzy理想的同态象仍是Fuzzy理想，Fuzzy关联理想的同态象仍是Fuzzy关联理想。