G?del n值命题逻辑系统的真度理论

首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明。

增加Δ算子的G?del n值命题逻辑系统理论的平均真度

在添加了Δ算子G?deln值命题逻辑系统中,给出了G?del n值命题逻辑系统中有限理论的平均真度的定义,给出了该系统下的一些重要结论并给予证明,验证了在该系统下平均真度的一些基本性质,为进一步在该系统下研究平均真度奠定了基础。

G?del n值命题逻辑系统中的Δ真度

在G?del n值命题逻辑系统中添加了Δ算子,给出了G?del n值命题逻辑系统的Δ真度的定义及等价形式,讨论了在该系统下Δ真度的一些基本性质,论证了Δ真度的推理规则。