真度的均值表示形式在逻辑系统Ln中的应用

摘要：

命题真度是计量逻辑学中的基础概念.本文将真度定义的均值表示形式应用于逻辑系统Ln中.首先,利用真度均值形式的定义计算了某些公式的真度;其次,证明了有关公式真度的基本性质.相比利用真度定义的加权表示形式的证明,该证明过程更加简明,拓宽了真度理论的研究思路,丰富了现有研究成果.

关键词：真度、均值表示、系统Ln

所属期刊栏目：28

分类号：O141(数理逻辑、数学基础)

资助基金：西安市科技计划;国家自然科学基金

在线出版日期：2014-09-16（万方平台首次上网日期，不代表论文的发表时间）

页码：7-12