在达米特的直觉主义谓词逻辑的矢列式自然演绎系统N和公理化系统AxI的基础上，文章详细证明了系统AxI中的演绎定理，指出系统N与系统AxI的对应关系并且完整证明了二者的等价关系，分析和比较了二者的证明策略，还探讨了矢列式自然演绎系统与公理化系统之间等价转化的方法论意义及局限性。这些工作有助于从理论和实践上客观地分析和评价这两种证明演算，为同一逻辑的矢列式自然演绎系统与公理化系统之间的等价转化提供方法论上的借鉴意义。
贵州工程应用技术学院学报
2017年3期
