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 -代数同志定理的推证得到了一个新的而更一般的方法。
In this paper we consider the semisimplicity of implicative BCK-algebras and obtain several equivalent conditions which an implicative BCK-algebra is semisimple.
本文考虑关联BCK-代数的半单性,得到这类代数为半单的若干等价条件。
Making use of these results, we can conveniently obtain the characters of a BCK-algebra of a higher order from the known characters of a BCK-algebra of a lower order.
利用这些结论,能很方便地从低阶bck -代数的已知性质来推断高阶bck -代数的性质。
In this paper, we have introduced the notion of implicative BCK-algebras with finite initial section and the notion of implicative BCK-algebras with infinite initial section.
本文建立了有限初始段关联bck -代数与无限初始段关联bck -代数的概念。
In this paper, we have introduced the notion of implicative BCK-algebras with finite initial section and the notion of implicative BCK-algebras with infinite initial section.
本文建立了有限初始段关联bck -代数与无限初始段关联bck -代数的概念。
应用推荐