Goguen公理化扩张系统的Γ-k随机真度理论及性质

• 作者: 惠小静 朱乃调 高晓莉
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: Goguen命题逻辑系统 Γ-k随机真度 Γ-k随机相似度 Γ-k随机伪距离 相对随机发散度 相对随机相容度
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 2656-2662
• 页数: 7页
• 分类号: O141.1
• 字数: 6641字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2017.11.012

摘要

本文首先对n值Goguen命题逻辑进行公理化扩张Goguen_,Δ,记为П_,Δ.利用赋值集的随机化方法,给出公式在k(k取～或Δ)连接词下相对于局部有限理论Γ的Γ-k随机真度的定义;讨论了П_.Δ中Γ-k随机真度的MP规则、HS规则等相关性质;接着,在Γ-k中定义了两公式间的Γ-k随机相似度与Γ-k随机伪距离,得到了公式在连接词下相对于局部有限理论Γ的Γ-k随机相似度与Γ-k随机伪距离所具有的一些良好性质;最后,在П_,Δ中介绍了任意理论Γ相对于特定理论Γ0的相对随机发散度和相对随机相容度概念,得到了相对随机发散度与相对随机相容度之间联系的关系式.

作者信息

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