系统Ln中公式相对于有限理论的∑Γ-真度再研究

摘要：

利用真度定义的均值表示形式,在经典命题演算系统Ln中重新定义公式相对于有限理论Γ的∑Γ-真度,较为详细地讨论了它们的性质,拓宽了真度理论的研究思路,丰富了现有研究成果.

关键词：∑Γ真度、有限理论、系统Ln

所属期刊栏目：31

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

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

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

页数：共6页

页码：1-6