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

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (25): 58-60.

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

罗敏霞，姚宁

中国计量学院理学院数学系，杭州 310018

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-09-01 发布日期:2011-09-01

Truth degree function theory of formulas in product logic system

LUO Minxia，YAO Ning

Department of Mathematics，School of Science，China Jiliang University，Hangzhou 310018，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-09-01 Published:2011-09-01

摘要/Abstract

摘要： 基于乘积逻辑系统研究公式的真度函数理论。在乘积逻辑系统中给出真度函数的概念，得到真度函数的一系列性质，证明τ-完备性定理，说明τ-语构与τ-语义的和谐性。

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

Abstract: 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．

Key words: truth degree function, τ-theorem, τ-tautology, τ-deduction theorem

罗敏霞，姚宁. 乘积逻辑系统中公式的真度函数理论[J]. 计算机工程与应用, 2011, 47(25): 58-60.

LUO Minxia，YAO Ning. Truth degree function theory of formulas in product logic system[J]. Computer Engineering and Applications, 2011, 47(25): 58-60.

[1]	马丽娜¹，刘烁²，王国俊¹. 命题逻辑系统L_n中公式集上的真度函数[J]. 计算机工程与应用, 2010, 46(36): 37-39.
[2]	王枚^1,2,王国宏¹,高小林²,王勇². 基于PCA和边缘不变矩的车标识别新方法[J]. 计算机工程与应用, 2008, 44(4): 224-226.