乘积逻辑系统中公式的真度函数理论

发布时间：2018-03-24 10:31

  本文选题：真度函数　切入点：τ-定理　出处：《计算机工程与应用》2011年25期

【摘要】：基于乘积逻辑系统研究公式的真度函数理论。在乘积逻辑系统中给出真度函数的概念,得到真度函数的一系列性质,证明τ-完备性定理,说明τ-语构与τ-语义的和谐性。
[Abstract]:Based on the theory of truth function of product logic system, the concept of true degree function is given in the product logic system, a series of properties of truth degree function are obtained, 蟿 -completeness theorem is proved, and the harmony between 蟿 -construction and 蟿 -semantics is proved.
【作者单位】： 中国计量学院理学院数学系;
【基金】：浙江省自然科学基金(No.Y1110651)
【分类号】：O141.1
，

本文编号：1657910