等价证明
更新时间:-- | 阅读量: 256

在数理逻辑发展中首次提出自然推理系统的论文。刊登于Mathe-matische Zeitschrift 39卷。...最后部分是证明系统N和L的等价性。本文在数理逻辑发展中有重要意义。一是自然推演规则较之比如希尔伯特型的系统更接近普通的推 ...

搜索到与“ 等价证明”相关的文献共 1条

唯一补格中与分配性的等价条件和关于Peirces定理的证明
本文首先提出唯一补格与原子对偶原子相关的充要条件;然后对Peirces定理第4步证明提出了新的方法;进而提出并证明了唯一补格中与分配性的四个等价条件;本文最后提出了在唯一补格中可以推出分配性的四个等价...

《模糊系统与数学》 2020年01期关键词: "唯一补格"," 分配格"," Peirces定理"," 原子" 收藏