Kalm "ar风格的经典正命题演算的构造性完备性证明
摘要：一种基于Kalmar完整性证明方法的经典正命题演算的完整性 经过Kalmar的完整性证明方法的细致调整，我们将给出一些经典正命题演算（满足Peirce定律的正命题演算）的完整性证明。首先，我们将使用这种调整方法来证明经典物质含义和析取的经典逻辑的公理特征完整性。接下来，我们将证明所谓的经典正命题演算的完整性，可以通过基本相同的Kalmar方法的调整，或者作为第一个结果和正式地表示的事实（每个正命题公式可以约化为一个具有特定规范形式的语法上和语义上等效的公式）的直接推论的结果。最后，通过用物质含义定义析取，并在经典蕴涵演算中反映经典物质含义和逻辑连接的经典演算，将会以非常简单直接的方式展示后者的完整性，同时经典物质含义和逻辑连接的完整性也将成为前者完整性的直接推论。值得注意的是，所有这些完整性证明都是具有构造意义的，也就是说，我们可以轻松地从每个证明中得到一个能够生成所关注的公理系统所有论点的形式推导的有效方法。
作者：Luiz Henrique Lopes dos Santos
论文ID：2305.05035
分类：Logic
分类简称：math.LO
提交时间：2023-05-10