释义 |
bckCOCA²³¹²⁷⁵BNC²³⁶²¹³⁺¹ 基本例句 Back 后方 Wc also introduce the concept of the hight of atom, and obtain some furthermore results on the BCK- algebras with bases. 其次,引入了原子高的概念,进一步得到了一些关于具有基的 BCK—代数的性质。 cnki 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-代数同志定理的推证得到了一个新的而更一般的方法。 cnki 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—代数是有限的,并且理想的阶整除它的阶。 cnki In this paper we consider the semisimplicity of implicative BCK- algebras and obtain several equivalent conditions which an implicative BCK- algebra is semisimple. 本文考虑关联 BCK-代数的半单性,得到这类代数为半单的若干等价条件。 dictall In this paper we first introduced the concept of the formal sy-stem, L of the BCK—Algekras. and gave a decision method for any wall-formal formula of L to be theorem of L. 本文引进了 BCK-代数的形式系统 L的概念,并且给出了关于L 的任意一个合式公式是否为它的一个定理的判定方法。 cnki 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-代数的概念。 cnki 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-代数的性质。 ilib 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代数中的自然推广。 cnki This extends totally the structure theorem of finite simple BCK algebras by Jiang Hao to the case of infinite simple BCK- algebras. 从而把姜豪的有限单 BCK-代数结构定理完整地推广到无限的情形。 dictall.com BCK needs to be inverted as the74HCT374is positive edge triggered, and used to clock the shift register. BCK需要反至关74HCT374是正向的边缘触发,用移位寄放器的钟表传奇世界变态私服。 wooolak |