bck

abbr.  品牌建设工具箱(Brand Construction Kit)

计算机



双语例句

  1. This extends totally the structure theorem of finite simple BCK algebras by Jiang Hao to the case of infinite simple BCK-algebras.
    从而把姜豪的有限单BCK-代数结构定理完整地推广到无限的情形。
  2. This paper is to prove the condition of equivalence on BCK-Algebras 'dual ideal.
    分别对BCK-代数对偶理想的充要条件和有界关联BCK-代数关于对偶理想的商代数进行了研究。
  3. 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代数中的自然推广。
  4. On BCK algebra and axiom system of the lattice of faces of cube
    关于BCK-代数与立体格公理系统
  5. BCK/ BCI algebras are two classes of logic algebras.
    BCK/BCI代数是两类逻辑代数,BCI代数是BCK代数的推广。
  6. In this paper, some properties of inclusion degree are studied, the concepts of super-convergence and sub-convergence of a net Φ R are introduced and the convergence is discussed in BCK-algebras.
    本文研究了BCK-代数中的包含度若干性质,讨论了网ΦR的上下收敛性。
  7. Cartesian Product of Fuzzy Implication in BCK-Algebra
    BCK代数中Fuzzy蕴涵理想的Cartesian积
  8. Inclusion Degree and Convergence in BCK-algebras
    BCK-代数上的包含度及其收敛性
  9. The Involutorial BCK-algebras
    对合BCK&代数
  10. Properties of Bounded Incidence BCK Algebra
    有界关联BCK代数的性质与刻画
  11. In this paper, the concepts of regular element and regular BCK algebra in BCK algebras are introduced.
    本文给出了正则元、正则BCK&代数的概念。
  12. Quotient Algebras of BCK-Algebras
    BCK代数的商代数
  13. It has been proved in this paper that bounded implicative BCK-algebras and Boole algebras are each other equivalent algebraic systems.
    主要证明了有界关联BCK一代数与Boole代数是相互等价的代数系统。
  14. Fuzzy Algebra, BCK algebra and Implication Semigroup
    FI代数,BCK代数与关联半群
  15. The Properties of Principal Ideal BCK-algebra
    主理想BCK-代数的性质
  16. In this paper, the Hamilton problem in BCK-algebras and BCI-algebras was discussed.
    本文刻划了BCK一代数与BCI一代数中的Hamilton问题。
  17. 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代数之间的关系及其自身的一些代数性质。
  18. On the basis of paper, the conception of dual element and dual set of BCI algebras is introduced. Some basic characters are discussed. The essential differenes between BCK algebra and BCI algebra is expounded.
    本文引进了BCI代数的对合元及对合集的概念,并讨论了它们的一些基本性质,说明了BCK代数与BCI代数的本质差别。
  19. Some Characteristic of Fuzzy Order Filters in Adjoint Semigroups of BCK-algebras
    BCK一代数伴随半群的Fuzzy序滤子的一些特征
  20. This thesis is devoted to study the structural properties of BCK/ BCI algebras and their expansions NM algebras and lattice implication algebras.
    本文主要研究BCK/BCI代数及其扩张NM代数和格蕴涵代数的结构性质。
  21. Ordered BCK-Algebra
    有序BCK&代数
  22. Relations between Fuzzy Implication Algebras and Bounded BCK-Algebras
    Fuzzy蕴涵代数与有界BCK代数的关系
  23. The relation between Hilbert-algebra and BCK algebra, and MV_ algebra as well, is studied.
    同时,研究了Hilbert代数与BCK代数,MV代数的关系。
  24. This Paper introduces the concept of fixed point in a BCI-algebra, show that the proper BCI-algebras, which have fixed POint, are equivalent to one Point extension.
    在BCI-代数中引进不动点的概念,对含有不动点的BCI-代数进行刻划,证明了具有不动点的真BCI-代数等价子BCK-代数的一点扩张;
  25. BCK-algebras Generated by Atoms
    原子生成的BCK-代数
  26. On lattice implication algebras and BCK algebras
    关于格蕴涵代数与BCK-代数
  27. Normalized form of quasi-commutation bci-( bck-) algebra
    拟可换BCI-(BCK-)代数的标准型
  28. Based on the BCK algebra homomorphism and isomorph, product is introduced and some qualities are given. Some isomorph theorems about Fuzzy BCK algebra with linear operator are obtained.
    在BCK代数的同态同构基本定理基础上,引进了乘积并给出了它的性质,由此又进一步得到了关于模糊带算BCK代数乘积的同构定理,从而使模糊带算BCK代数的讨论更加深入。
  29. These show that BCK/ BCI algebras are considerably wide structures.
    这些说明BCK/BCI代数是相当广泛的结构。
  30. So, it is important significance for investigation of BCK/ BCI algebras.
    因此,研究BCK/BCI代数就显得十分重要。