期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
不用联结词的“舍…取…”型自然推演系统 被引量：6
1
作者 杜国平 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2019年第3期21-24,共4页
"不…而…"("舍…取…")是汉语常用的一个二元联结词,在形式语言中可以不用联结词,直接使用括号来表达"不…而…"("舍…取…")的语法功能。在括号表示法的形式语言中,"( )"有既有结... "不…而…"("舍…取…")是汉语常用的一个二元联结词,在形式语言中可以不用联结词,直接使用括号来表达"不…而…"("舍…取…")的语法功能。在括号表示法的形式语言中,"( )"有既有结构性功能,也有联结词功能,还有量词功能。基于纯粹的括号表示法,建立了以"舍…取…"作为初始联结词的命题逻辑自然推理系统Z_1和一阶自然推理系统QZ_1,它们与通常的命题逻辑系统和一阶系统等价,具有可靠性和完全性。 展开更多
关键词 “舍…取…”型联结词 括号表示法 量词 自然推理系统
原文传递
直言推理系统 被引量：2
2
作者 张清宇 《逻辑学研究》 2008年第1期50-61,共12页
本文构造了直言推理的一个系统MA,内容包括直接推理和三段论,但未考虑单称命题。此系统实际上是名辞逻辑系统MZ的子系统,精确地说是关于类名及其否定和由它们形成的本辞的系统。文中证明了系统MA的可靠性和完全性,并提出了它的自然推理... 本文构造了直言推理的一个系统MA,内容包括直接推理和三段论,但未考虑单称命题。此系统实际上是名辞逻辑系统MZ的子系统,精确地说是关于类名及其否定和由它们形成的本辞的系统。文中证明了系统MA的可靠性和完全性,并提出了它的自然推理系统。 展开更多
关键词 名辞逻辑 规则DDO 公理系统 自然推理系统 从属推演 完全性
下载PDF
一阶谓词逻辑反驳演算自然推理系统 被引量：2
3
作者 杜国平 赵曼 《重庆理工大学学报（社会科学）》 CAS 2013年第9期1-6,共6页
反驳各种逻辑谬误离不开对矛盾式的认识和理解。为此,构建了一个直观的包含所有矛盾式的一阶谓词逻辑反驳演算的自然推理系统;根据定义的语义解释,考察了该系统的一些元理论。在此基础上,考察了一阶谓词逻辑反驳演算系统和证明系统的关... 反驳各种逻辑谬误离不开对矛盾式的认识和理解。为此,构建了一个直观的包含所有矛盾式的一阶谓词逻辑反驳演算的自然推理系统;根据定义的语义解释,考察了该系统的一些元理论。在此基础上,考察了一阶谓词逻辑反驳演算系统和证明系统的关系,证明了两个重要结果:(1)谓词逻辑反驳演算系统中的任一矛盾式都对应于经典谓词逻辑证明系统中的有效式;(2)谓词逻辑反驳演算系统包含经典谓词逻辑的证明系统,即通常的谓词逻辑公理系统是反驳演算的一个子系统。 展开更多
关键词 反驳演算 自然推理系统 可证伪 矛盾式
下载PDF
目标分析法在命题推演式中的应用
4
作者 周健勇 《长沙电力学院学报（社会科学版）》 2002年第2期22-24,123,共4页
目标分析法是命题逻辑自然推演法的一种形式 ,它采取设定目标语句来引导推理过程直至完成全部论证的结构。它的基本理念就是所谓“由果溯因”。
关键词 目标分析 自然推演式 推导
下载PDF
自然演绎系统:亚里士多德的“第二种逻辑”
5
作者 朱建平 《宝鸡文理学院学报（社会科学版）》 2013年第1期13-18,共6页
关于亚里士多德三段论的性质一直是一个争论不休的问题。其中的一个焦点问题就是亚里士多德的直言三段论是蕴涵式的系统还是推理规则的系统。卢卡西维奇的《亚里士多德的三段论》代表了第一种观点,而相反的观点则认为亚里士多德的三段... 关于亚里士多德三段论的性质一直是一个争论不休的问题。其中的一个焦点问题就是亚里士多德的直言三段论是蕴涵式的系统还是推理规则的系统。卢卡西维奇的《亚里士多德的三段论》代表了第一种观点,而相反的观点则认为亚里士多德的三段论是由推理规则组成的,是现代逻辑中的自然演绎系统的早期形式。 展开更多
关键词 亚里士多德的三段论 自然演绎系统 公理系统
下载PDF
甘岑后继式演算系统与其自然演绎系统的比较
6
作者 董文媛 《毕节学院学报（综合版）》 2016年第3期66-71,共6页
《逻辑演绎研究》("Untersuchungen über das Logische Schliessen")是甘岑提交哥廷根大学的就职论文,文中甘岑提出了两种逻辑演算系统,即"自然演绎"和"后继式演算"系统。从自然演绎开始甘岑尝试构... 《逻辑演绎研究》("Untersuchungen über das Logische Schliessen")是甘岑提交哥廷根大学的就职论文,文中甘岑提出了两种逻辑演算系统,即"自然演绎"和"后继式演算"系统。从自然演绎开始甘岑尝试构造一个接近数学实际推理的逻辑演算,而后针对自然演绎系统的不足进行了转化和改进,构造了后继式演算系统,并证明了该逻辑演算系统的合理性。甘岑的逻辑演绎思想在逻辑史上具有十分重要的地位,对现代逻辑和证明论的发展具有深远的影响。 展开更多
关键词 自然演绎 后继式演算 逻辑演算系统
下载PDF
Rips的“证明心理学理论”述评
7
作者 胡竹菁 胡笑羽 《心理学探新》 CSSCI 北大核心 2020年第6期510-517,共8页
该文对Rips提出的“证明心理学理论”做了综合述评。这一理论主要包含三方面的内容:对推理过程与人类记忆相互关系的解释;(2)根据逻辑学中的“自然推理规则”进行修正后用于解释人类推理过程的推理规则;(3)关于如何控制推理过程的论述。... 该文对Rips提出的“证明心理学理论”做了综合述评。这一理论主要包含三方面的内容:对推理过程与人类记忆相互关系的解释;(2)根据逻辑学中的“自然推理规则”进行修正后用于解释人类推理过程的推理规则;(3)关于如何控制推理过程的论述。Rips认为他于1983年设计并实施的以“自然推理系统”所含各推理规则为实验材料的实验结果支持该理论的基本观点。 展开更多
关键词 自然演绎系统 证明心理学 记忆假设 推理规则假设 控制假设
下载PDF
论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统 被引量：3
8
作者 余军成 《贵州工程应用技术学院学报》 2017年第3期1-8,共8页
在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统... 在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统之间等价转化的方法论意义及局限性。这些工作有助于从理论和实践上客观地分析和评价这两种证明演算,为同一逻辑的矢列式自然演绎系统与公理化系统之间的等价转化提供方法论上的借鉴意义。 展开更多
关键词 直觉主义谓词逻辑 演绎定理 矢列式自然演绎系统 公理化系统 证明策略
下载PDF
论直觉主义谓词逻辑的矢列式自然演绎系统 被引量：2
9
作者 余军成 何向东 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2016年第5期30-35,共6页
达米特系统地给出了直觉主义谓词逻辑的矢列式自然演绎系统N。在此基础上,我们给出一个与之等价的系统NSI,进一步探讨这两个系统的特点和证明策略,比较矢列式自然演绎系统与根岑的自然演绎系统的异同,并评价矢列式自然演绎系统的历史地... 达米特系统地给出了直觉主义谓词逻辑的矢列式自然演绎系统N。在此基础上,我们给出一个与之等价的系统NSI,进一步探讨这两个系统的特点和证明策略,比较矢列式自然演绎系统与根岑的自然演绎系统的异同,并评价矢列式自然演绎系统的历史地位和意义。 展开更多
关键词 直觉主义谓词逻辑 矢列式自然演绎系统 证明策略
原文传递
并发Lambek演算在时态查询中的语义转换
10
作者 刘冬宁 汤庸 《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第1期137-140,共4页
为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lam-bek演算(LCTQ)及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式... 为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lam-bek演算(LCTQ)及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式,为时态查询语句的语义分析提供相关接口。 展开更多
关键词 时态查询 并发的Lambek演算 语义转换 标号自然演绎系统
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部