论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统

• 作者: 余军成
• 来源期刊: 贵州工程应用技术学院学报
• 学科: 哲学
• 关键词: 直觉主义谓词逻辑 演绎定理 矢列式自然演绎系统 公理化系统 证明策略
• 年，卷（期）: 2017,（3）
• 所属期刊栏目: 逻辑学专栏
• 页码范围: 1-8
• 页数: 8页
• 分类号: B81
• 字数: 7362字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余军成	贵州工程应用技术学院逻辑与文化研究中心	7	6	1.0	2.0