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

摘要：

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

关键词：∑Г真度、有限理论、系统L

所属期刊栏目：29

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

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

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

页码：16-20