助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   mv代数 的翻译结果: 查询用时:0.058秒
图标索引 在分类学科中查询
所有学科
数学
逻辑学
更多类别查询

图标索引 历史查询
 

mv代数     
相关语句
  mv-algebra
     The Simplified Forms of Definition of MV-algebra
     MV代数定义的蕴涵简化形式
短句来源
     In addition, the essay studys the relation ship between sub Hilbert-algebra and BCI-algebra, FI-algebra, Hilbert-algebra and MV-algebra.
     此外 ,还讨论了亚Hilbert代数与BCI_代数、FI代数 ,HFI代数、MV代数之间的联系 .
短句来源
     2. Some other conditions which the implicative operator of a Implication Algebra should satisfied in a logic system are given. The relations between MV-Algebra and Distributive Implication Algebra,Implication Algebra with condition (S) are gained.
     2.对于偏序集上蕴涵代数中的蕴涵算子引入了一些逻辑条件,得到了偏序集上具有不同条件的蕴涵代数与MV-代数之间的关系,给出了偏序集上蕴涵代数与MV代数之间的几个等价定理。
短句来源
     The definition of weak implication Algebra on a partial ordered set was introduced. It was proved that weak implication algebra satisfying the condition(x→y)→y =(y→x)→x forms MV-algebra and weak R_0-algebra.
     引入偏序集上的弱蕴涵代数的概念,证明它在满足条件(x→y)→y=(y→x)→x时构成M V代数,也构成弱R0代数.
短句来源
  mv algebra
     The * Filter in MV Algebra
     MV代数中的*滤子
短句来源
     (4) Along the direction of the partial difference, we first give the concepts of pseudo difference posets and pseudo boolean D-posets. Then we prove that a pseudo difference poset is categorical equivalent to a pseudo effect algebra, and a pseudo boolean D-poset is algebraical equivalent to a pseudo MV algebra.
     (4) 沿着差分方向,介绍了伪差分偏序集和伪布尔差分偏序集,并分别证明了伪差分偏序集范畴等价于伪有效代数范畴、伪布尔差分偏序集代数等价于伪MV代数;
短句来源
  mv-algebras
     Fuzzy Implication Alagebras And MV-Algebras
     Fuzzy蕴涵代数与MV代数
短句来源
     MV-algebras were invented by C.
     MV 代数是C.
短句来源
     In this paper, we study the logical properties of MV-algebras. We proved that the formalized MV-algebras theory is preserved under submodels, homomorphisms, and unions of chains;
     在本文中,我们研究了MV 代数的逻辑性质,得出形式化的MV 代数理论在子模、同态链的并之下有所保留;
短句来源
  mv algebras
     Weak FI algebras and weak MV algebras
     弱FI代数、弱MV代数
短句来源
     This paper gives out that the relationship among lattice implication algebras, MV algebras, R0 algebras and other implication algebras based on lattices, and their dual algebras are established.
     给出了格蕴涵代数、MV代数、R0代数等一些格上蕴涵代数之间的关系,并建立了它们的对偶代数.
短句来源
     Hence, most of the algebras related to logic, such as MTL algebras, BL algebras, Heyting algebras, MV algebras, NM algebras, Boolean algebras, are all natural expansions of BCK algebras.
     因此大部分关于逻辑的代数,如著名的MTL代数,BL代数,Heyting代数,MV代数(格蕴涵代数),NM代数(R_0代数),Boole代数等,都是BCK代数的自然扩张(即为BCK代数的子类)。
短句来源
     In this paper, relations between Fuzzy implication algebras and BCK algebras are systematically studied, and also the relations between MV algebras and BCK algebras are given out. Moreover,the dual algebras of a regular FI algebra and an involution BCK algebra are established.
     系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数
短句来源
     In this paper, relations between Fuzzy implication algebras and MV algebras are found*out and it is proved that Fuzzy implication algebras are residuated latteces undercertain con-*ditios.
     *本文讨论Fuzzy蕴涵代数与MV代数之间的关系,并证明了在一定的条件下Fuzzy蕴涵代数是剩余格。
短句来源
更多       

 

查询“mv代数”译词为其他词的双语例句

     

    查询“mv代数”译词为用户自定义的双语例句

        我想查看译文中含有:的双语例句
    例句
    为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
      mv-algebra
    In the last part of this paper the existence of the maximal pseudo-MV algebra of quotients for a pseudo-MV algebra (Theorem 4.5) is proven and I give explicit descriptions of this MV-algebra for some classes of pseudo MV-algebras.
          
    It is shown that for every isometry f in a pseudo MV-algebra
          
    For an MV-algebra [Figure not available: see fulltext.] let J0([Figure not available: see fulltext.]) be the system of all closed ideals of [Figure not available: see fulltext.]; this system is partially ordered by the set-theoretical inclusion.
          
    It is shown that the MV-algebra of regular elements of a free algebra in a subvariety of BL-algebras is free in the corresponding subvariety of MV-algebras, with the same number of free generators.
          
    A Characterization of the free n-generated MV-algebra
          
    更多          
      mv algebra
    Pseudo-MV algebra of fractions and maximal pseudo-MV algebra of quotients
          
    In the last part of this paper the existence of the maximal pseudo-MV algebra of quotients for a pseudo-MV algebra (Theorem 4.5) is proven and I give explicit descriptions of this MV-algebra for some classes of pseudo MV-algebras.
          
    Generalizing the entropy of fuzzy partitions, the entropy of a partition in recently introduced product MV algebra has been studied.
          
    A conditional probability (state) of an element from a product MV algebra with respect to a product MV valued observable is formulated and a version of the martingale convergence theorem is proved.
          
    In some circumstances, this choice is essential, for instance if we want to build the ordinal sum (product) between a BL algebra and an MV algebra.
          
    更多          
      mv-algebras
    In the last part of this paper the existence of the maximal pseudo-MV algebra of quotients for a pseudo-MV algebra (Theorem 4.5) is proven and I give explicit descriptions of this MV-algebra for some classes of pseudo MV-algebras.
          
    Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
          
    In this work we give a duality for many classes of lattice ordered algebras, as Integral Commutative Distributive Residuated Lattices MTL-algebras, IMTL-algebras and MV-algebras (see page 604).
          
    Isometries and direct decompositions of pseudo MV-algebras
          
    In the paper isometries in pseudo MV-algebras are investigated.
          
    更多          
      mv algebras
    On the entropy of partitions in product MV algebras
          
    The paper contains a review of some results concerning probability theory on MV algebras (laws of large numbers, central limit theorem, martingale convergence theorem).
          
    A note on the conditional probability on product MV algebras
          
    We introduce and study a generalization of pseudo-Wajsberg and pseudo-MV algebras.
          
    MV algebras, product algebras and G?del algebras are particular cases of BL algebras.
          
    更多          


    In this paper, relations between Fuzzy implication algebras and MV algebras are found*out and it is proved that Fuzzy implication algebras are residuated latteces undercertain con-*ditios.

    *本文讨论Fuzzy蕴涵代数与MV代数之间的关系,并证明了在一定的条件下Fuzzy蕴涵代数是剩余格。

    In this paper,we study relations between fuzzy implication algebras,BCK algebras and implicative semigroups. As their applicatins,we present simpler proofs of some theorems in BCK algebras by using FI algebra methods.

    文献[1]讨论了Fuzzy蕴涵代数(简称为FI代数)与MV代数、格蕴涵代数之间的关系,本文进一步讨论了FI代数与有界关联BCK代数、关联半群的联系,并应用FI代数方法简化了BCK代数中某些定理的证明。

    In a bounded commutative BCK- algebra〈X;*,0〉 ,the operators″′″,″“+”,and″×″:x′=Nx,x + y = y*Nx,x× y =N ( Ny*x) are defined,then ( X,+ ,× ,′,0 MV,1 MV) is a MV- algebra,where 1 MV =0 ; Let( X,+ ,× ,′,0 MV,1 MV) be a MV- algebra and the binary operator*:x*y =x + y′be given,then〈X; *,0〉 is a bounded commutative BCK- algebra,where 0 =1 MV .

    在有界可换 BCK-代数〈X;*,0〉中定义 x′=N x,x + y =y*Nx,x× y =N ( Ny*x) ,1 MV=0 ,则 ( X,+ ,× ,′,0 MV,1 MV)是一个 MV-代数 ;而在 MV-代数 ( X,+ ,× ,′,0 MV,1 MV)中定义 x*y =x + y′,0 =1 MV,则〈X;*,0〉是一个有界可换 BCK-代数。

     
    << 更多相关文摘    
    图标索引 相关查询

     


     
    CNKI小工具
    在英文学术搜索中查有关mv代数的内容
    在知识搜索中查有关mv代数的内容
    在数字搜索中查有关mv代数的内容
    在概念知识元中查有关mv代数的内容
    在学术趋势中查有关mv代数的内容
     
     

    CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
    版权图标  2008 CNKI-中国知网
    京ICP证040431号 互联网出版许可证 新出网证(京)字008号
    北京市公安局海淀分局 备案号:110 1081725
    版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社