10.3969/j.issn.0372-2112.2017.11.012
Goguen公理化扩张系统的Γ-k随机真度理论及性质
本文首先对n值Goguen命题逻辑进行公理化扩张Goguen_,Δ,记为П_,Δ.利用赋值集的随机化方法,给出公式在k(k取~或Δ)连接词下相对于局部有限理论Γ的Γ-k随机真度的定义;讨论了П_.Δ中Γ-k随机真度的MP规则、HS规则等相关性质;接着,在Γ-k中定义了两公式间的Γ-k随机相似度与Γ-k随机伪距离,得到了公式在连接词下相对于局部有限理论Γ的Γ-k随机相似度与Γ-k随机伪距离所具有的一些良好性质;最后,在П_,Δ中介绍了任意理论Γ相对于特定理论Γ0的相对随机发散度和相对随机相容度概念,得到了相对随机发散度与相对随机相容度之间联系的关系式.
Goguen命题逻辑系统、Γ-k随机真度、Γ-k随机相似度、Γ-k随机伪距离、相对随机发散度、相对随机相容度
45
O141.1(数理逻辑、数学基础)
国家自然科学基金11471007;陕西省自然科学基金2014JM1020;延安大学研究生创新基金YCX201612
2018-04-10(万方平台首次上网日期,不代表论文的发表时间)
共7页
2656-2662