准真度相关论文
归结原理是定理自动证明的重要工具.PI证明是谓词逻辑归结证明的一种重要类型，本文给出了一种新的PI推理的定义，并且对PI归结的......
首次将谓词逻辑系统中一阶语言的有限解释按照其论域的势进行分层，提出每一层解释类下公式的n真度，最终给出公式向量真度的定义，更直......
计量逻辑理论是逻辑概念程度化研究方向的一个重要分支。但目前计量谓词逻辑的相关研究中,都不曾涉及推广规则。一阶逻辑公式的准......
