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

• 作者: 惠小静 朱乃调 高姣 高晓莉
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: G?deln命题逻辑系统 真度 相似度 伪距离
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 理论与研发
• 页码范围: 67-72
• 页数: 6页
• 分类号: O142
• 字数: 5574字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1601-0011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	惠小静	延安大学数学与计算机科学学院	77	347	9.0	17.0
2	高晓莉	延安大学数学与计算机科学学院	8	0	0.0	0.0
3	朱乃调	延安大学数学与计算机科学学院	8	0	0.0	0.0
4	高姣	延安大学数学与计算机科学学院	5	1	1.0	1.0