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