传统逻辑协调化、经典化和自动化的实现

传统逻辑主要指亚里士多德的三段论,它能否被一阶语言表达并被自动证明,长期以来是不清楚的。通过研究证明传统逻辑经典化(一阶语言表达和数理化)的障碍在于它的不协调性,进而消除了传统逻辑的不协调性,建立了改进的三段论推理的数学模型,同时改进了一阶逻辑,使之能够表达改进后的三段论。这些工作使得传统逻辑完全实现了协调化、经典化和自动化。