欢迎访问发表云网!为您提供杂志订阅、期刊投稿咨询服务!

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

高晓莉; 惠小静; 朱乃调 延安大学数学与计算机科学学院; 陕西延安716000
goguen命题逻辑系统  

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

简介:《软件学报》(CN:11-2560/TP)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

软件学报

北大期刊 下单

关注 19人评论|2人关注
服务与支持