乘积逻辑系统中公式的真度函数理论
승적라집계통중공식적진도함수이론
Truth degree function theory of formulas in product logic system
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2011年 25期 58-60,67 ,共4页

    罗敏霞%姚宁

    라민하%요저

    真度函数%τ-定理%τ-重言式%τ-演绎定理 真度函數%τ-定理%τ-重言式%τ-縯繹定理
    진도함수%τ-정리%τ-중언식%τ-연역정리
    基于乘积逻辑系统研究公式的真度函数理论.在乘积逻辑系统中给出真度函数的概念,得到真度函数的一系列性质,证明τ-完备性定理,说明τ-语构与τ-语义的和谐性.
    기우승적라집계통연구공식적진도함수이론.재승적라집계통중급출진도함수적개념,득도진도함수적일계렬성질,증명τ-완비성정리,설명τ-어구여τ-어의적화해성.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문