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

发布时间：2017-12-25 11:14

  本文关键词：论直觉主义谓词逻辑的矢列式自然演绎系统　出处：《湖南科技大学学报(社会科学版)》2016年05期 　论文类型：期刊论文

  更多相关文章： 直觉主义谓词逻辑 矢列式自然演绎系统 证明策略

【摘要】：达米特系统地给出了直觉主义谓词逻辑的矢列式自然演绎系统N。在此基础上,我们给出一个与之等价的系统NSI,进一步探讨这两个系统的特点和证明策略,比较矢列式自然演绎系统与根岑的自然演绎系统的异同,并评价矢列式自然演绎系统的历史地位和意义。
【作者单位】： 西南大学逻辑与智能研究中心;贵州工程应用技术学院逻辑与文化研究中心;
【基金】：中央高校基本科研业务费专项资金一般项目(SWU1609140) 国家哲学社会科学基金重大项目(14ZDB016);国家哲学社会科学基金重点项目(12AZD073)
【分类号】：B812
【正文快照】： 在现代逻辑学中,自然演绎是一种证明演算,其中,逻辑推理是通过与“自然的”推理方式密切相关的推理规则来表示;而公理化系统是尽可能地使用公理来表示演绎推理的逻辑规律。自然演绎有两种不同的表现形式即树形表示法、顺序表示法,而矢列式自然演绎是一种在教科书中不常见的特

【相似文献】

相关期刊论文 前5条

1 朱建平;;逻辑、逻各斯、定义与自然演绎系统——亚里士多德逻辑的当代诠释[J];燕山大学学报(哲学社会科学版);2013年04期

2 任秋云;假设的研究情形及其演绎性探究[J];科学·经济·社会;1994年03期

3 朱建平;;自然演绎系统:亚里士多德的“第二种逻辑”[J];宝鸡文理学院学报(社会科学版);2013年01期

4 萧瑶;;用集合论的方法判定三段论的有效性[J];和田师范专科学校学报;2007年05期

5 ;[J];;年期

相关硕士学位论文 前1条

1 易小涵;对偶基本命题逻辑的自然演绎系统研究[D];西南大学;2015年

，

本文编号：1332599