Herbrand定理相关论文
模态Herbrand定理研究是模态逻辑领域的重要开放问题。不含Barcan公式的模态系统T的Herbrand定理的获得必须完成两个方向的证明工......
作者获得并证明三值命题逻辑MP与MP*、三值谓词逻辑MF与MF*以及带等词的三值谓词逻辑ME与ME*的Craig中插定理与Herbrand定理.......
