摘要:首先对n值Goguen命题逻辑进行公理化扩张,Goguen-,Δ,记为∏-,Δ.利用公式的诱导函数给出公式在k(k任取-或Δ)连接词下相对于局部有限理论Γ的Γ-k真度的定义;讨论了∏-,Δ中Γ-k真度的MP规则、HS规则等相关性质;最后,在Γ-k中定义了两公式间的Γ-k相似度与Γ-k伪距离,得到了公式在k连接词下相对于局部有限理论Γ-k的相似度与Γ-k伪距离所具有的一些良好性质.
简介:《软件学报》(CN:11-2560/TP)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社