%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~,Δ,记为∏~,Δ.利用赋值集的随机化方法,给出公式在k(k取~或Δ)连接词下相对于局部有限理论Γ的Γ-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