摘要：在达米特的直觉主义谓词逻辑的矢列式自然演绎系统N和公理化系统AxI的基础上，文章详细证明了系统AxI中的演绎定理，指出系统N与系统AxI的对应关系并且完整证明了二者的等价关系，分析和比较了二者的证明策略，还探讨了矢列式自然演绎系统与公理化系统之间等价转化的方法论意义及局限性。这些工作有助于从理论和实践上客观地分析和评价这两种证明演算，为同一逻辑的矢列式自然演绎系统与公理化系统之间的等价转化提供方法论上的借鉴意义。
分类：期刊> 人文社会科学> 哲学与人文科学> 世界文学
收录：知网收录(中) > 维普收录(中) > 万方收录(中) > 国家图书馆馆藏 > 上海图书馆馆藏
关键词：直觉主义谓词逻辑 演绎定理 矢列式自然演绎系统 公理化系统 证明策略
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
