贵州工程应用技术学院逻辑与文化研究中心论文

直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统余军成（贵州工程应用技术学院逻辑与文化研究中心，贵州毕节551700）摘要：在达米特给出的直觉主义谓词逻辑矢列演算系统的基础上，构造...