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

Truth degree function theory of formulas in product logic system

作　　者：罗敏霞[1] 姚宁[1] 

机构地区：[1]中国计量学院理学院数学系,杭州310018

出　　处：《计算机工程与应用》2011年第25期58-60,67,共4页Computer Engineering and Applications

基　　金：浙江省自然科学基金(No.Y1110651)

摘　　要：基于乘积逻辑系统研究公式的真度函数理论。在乘积逻辑系统中给出真度函数的概念,得到真度函数的一系列性质,证明τ-完备性定理,说明τ-语构与τ-语义的和谐性。This paper mainly focuses on the study of the truth degree function theory of formulas in product logic system.The concept of the truth degree function in product logic system is given.Following this,a series of properties of the truth degree function are derived.Moreover,it is important to prove the τ-complete theorem which shows that τ-syntactic and τ semantics are harmonious.

关 键 词：真度函数 τ-定理 τ-重言式 τ-演绎定理 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]