n.倒车
网络 焦炭;位时钟;井底油嘴
No you in´t. Come BCK we´re running right 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—代数是有限的,并且理想的阶整除它的阶。
This extends totally the structure theorem of finite simple BCK algebras by Jiang Hao to the case of infinite simple BCK-algebras.
从而把姜豪的有限单BCK-代数结构定理完整地推广到无限的情形。
The notion of BCI implicative ideals is introduced. It is a natural generalization of the notion of implicative ideals in BCK algebras.
引入一类新理想——BCI关联理想的概念,证明了它是BCK代数中关联理想概念在BCI代数中的自然推广。
By means of which we derive and prove, with a new and general schedule of reasoning, a series of homomorphism theorems for BCK-algebras.
从而对BCK -代数同志定理的推证得到了一个新的而更一般的方法。