论文部分内容阅读
本文试图从联合演算的角度对传统逻辑作现代数理逻辑的解释。本文认为现行的联合演算用以解决判定问题的标准是不可靠的,现行的联合演算没有完成对传统推论的等价描述。本文通过对联合演算的两个层次的分析,提出结构分析的方法作为解决判定问题和构建永真式的一个依据,同时提出范式判定的方法用于在有穷步骤内解决一联合演算公式的判定问题。本文并且就联合演算对传统推论的等价描述提供了一个新的翻译模式。