Goguen命题逻辑系统SBL公理化扩张计量化研究

　　本文以Goguen命题逻辑系统为例，拟在SBL公理化扩张中展开计量化研究．首先在，z值Goguen命题逻辑系统中添加了两类算子，即对合否定和连接词△，将其作为SBL~系统的公理化扩张，记为Goguen_a。或Ⅱ~a．然后利用公式的诱导函数给出公式在k（k任取～或A）连接词下相对于局部有限理论I_的F-k真度的定义；讨论了Ⅱ~a中F-k真度的MP规则、HS规则等相关性质：最后，在Ⅱ~a中定义了两公式间的F-k相似度与F-k伪距离，得到了公式在K连接词下相对于局部有限理论r的r-k相似度与F-k伪距离所具有的一些良好性质.