G?del n值命题逻辑系统的真度理论

摘要：

首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明.

关键词：G?deln命题逻辑系统、真度、相似度、伪距离

所属期刊栏目：53

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

资助基金：国家自然科学基金重点项目11531009;国家自然科学基金11471007;陕西省自然科学基金2014JM1020;延安大学研究生创新基金

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

页数：共6页

页码：67-72