%0 Journal Article %A 惠小静 %A 高晓莉 %A 朱乃调 %T Goguen公理化扩张系统的Γ-k随机真度理论及性质 %D 2017 %R 10.3969/j.issn.0372-2112.2017.11.012 %J 电子学报 %P 2656-2662 %V 45 %N 11 %X 本文首先对n值Goguen命题逻辑进行公理化扩张Goguen~,Δ,记为∏~,Δ.利用赋值集的随机化方法,给出公式在kk取~或Δ)连接词下相对于局部有限理论Γ的Γ-k随机真度的定义;讨论了∏~,Δ中Γ-k随机真度的MP规则、HS规则等相关性质;接着,在Γ-k中定义了两公式间的Γ-k随机相似度与Γ-k随机伪距离,得到了公式在连接词下相对于局部有限理论Γ的Γ-k随机相似度与Γ-k随机伪距离所具有的一些良好性质;最后,在∏~,Δ中介绍了任意理论Γ相对于特定理论Γ0的相对随机发散度和相对随机相容度概念,得到了相对随机发散度与相对随机相容度之间联系的关系式. %U https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2017.11.012