三值命题逻辑相关论文
归结原理是定理自动证明的重要工具.PI证明是谓词逻辑归结证明的一种重要类型,本文给出了一种新的PI推理的定义,并且对PI归结的......
作者获得并证明三值命题逻辑MP与MP*、三值谓词逻辑MF与MF*以及带等词的三值谓词逻辑ME与ME*的Craig中插定理与Herbrand定理.......