Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质

• 作者: 惠小静 朱乃调 高晓莉
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Goguen命题逻辑系统 Γ-k真度 Γ-k相似度 Γ-k伪距离
• 年，卷（期）: 2017,（7）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 1629-1639
• 页数: 11页
• 分类号: TP301
• 字数: 8817字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005110

摘要

首先对n值Goguen命题逻辑进行公理化扩张Goguen～,△,记为∏～,△.利用公式的诱导函数给出公式在k(k任取～或△)连接词下相对于局部有限理论Γ的Γ-k真度的定义;讨论了∏～.△中Γ-k真度的MP规则、HS规则等相关性质;最后,在∏～.△中定义了两公式间的Γ-k相似度与Γ-k伪距离,得到了公式在k连接词下相对于局部有限理论Γ的Γ-k相似度与Γ-k伪距离所具有的一些良好性质.

作者信息

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