增加Δ算子的G?deln值命题逻辑系统理论的平均真度

摘要：

在添加了Δ算子G?deln值命题逻辑系统中,给出了G?del n值命题逻辑系统中有限理论的平均真度的定义,给出了该系统下的一些重要结论并给予证明,验证了在该系统下平均真度的一些基本性质,为进一步在该系统下研究平均真度奠定了基础.

关键词：G?deln值命题逻辑系统、有限理论、平均真度、Δ算子

所属期刊栏目：54

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

资助基金：国家自然科学基金11471007;延安大学研究生创新基金

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

页数：共5页

页码：68-71,134