检索结果-维普期刊中文期刊服务平台

基于括号表示法的4值逻辑自然演绎系统被引量：4: 1; 作者杜国平《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2020年第2期36-49,167,共15页; 运用括号表示法来构建4值逻辑,其形式语言非常简洁,公式表达准确、无歧义,也更加简短。使用符合4值逻辑推理直觉的16条推理规则,可以建立4值逻辑自然演绎系统PD 4;基于4值语义可以证明该系统具有可靠性和完全性。通过语形、语义方法可... 展开更多; 关键词联结词括号表示法 4值逻辑自然演绎系统扩充; 在线阅读下载PDF 职称材料

模糊逻辑中的自然演绎系统被引量：2: 2; 作者裴道武《工程数学学报》 CSCD 北大核心 2002年第3期95-100,共6页; 讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式。基于著名的形式演绎系统L ,建立起对应的自然演绎系统L ND,并且证明了这个系统的完备性。由于一系列新的推理规则的引入 ,模糊逻辑的推理能力得到明显增强。; 关键词模糊逻辑自然演绎系统推理规则; 在线阅读下载PDF 职称材料

亚里士多德的必然三段论被引量：3: 3; 作者张家龙《湖北大学学报（哲学社会科学版）》 1996年第3期30-38,共9页; 本文从亚里士多德关于必然三段论的原文出发，考察了亚里士多德的必然三段论的系统、证明方法和排斥方法，在此基础上构造了一个严格形式化的必然三段论的自然演绎系统，克服了亚里士多德的必然三段论理论中的不精确之处。; 关键词必然三段论实然(直言)三段论前提结论证明排斥自然演绎系统; 在线阅读下载PDF 职称材料

并发Lambek演算在时态查询中的语义转换: 4; 作者刘冬宁汤庸《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第1期137-140,共4页; 为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lam-bek演算(LCTQ)及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式... 展开更多; 关键词时态查询并发的Lambek演算语义转换标号自然演绎系统; 在线阅读下载PDF 职称材料

高校逻辑教材改革中应当正确处理的几个关系: 5; 作者苑成存《理论探讨》 CSSCI 北大核心 1996年第4期112-112,共1页; 高校逻辑教材改革中应当正确处理的几个关系苑成存我国高校的逻辑学教材改革取得一定成效。但在逻辑学教材改革过程中，也确实存在着一些不容忽视的问题，这些问题都与对以下几个关系的不当处理有着直接或间接的联系。一、传统逻辑和现... 展开更多; 关键词现代逻辑逻辑教材逻辑学归纳逻辑传统逻辑正确处理演绎逻辑自然演绎系统谓词逻辑非经典逻辑; 在线阅读下载PDF 职称材料

论逻辑有效性问题被引量：3: 6; 作者郑文辉《现代哲学》北大核心 1990年第4期44-49,共6页; 逻辑有效性(validity)问題是形式逻辑的主题,这是由形式逻辑的性质决定的。人们对“逻辑”向来有不同的理解,但各种理解似乎都涉及一个共同的问题:逻辑是关于推论的科学。推论(argument)是什么?推论是一个命题序列,它由一个作为结论的... 展开更多; 关键词形式逻辑有效性问题逻辑有效性合式公式逻辑形式非形式归纳推论推理规则假组合自然演绎系统; 在线阅读下载PDF 职称材料

Rips的“证明心理学理论”述评: 7; 作者胡竹菁胡笑羽《心理学探新》 CSSCI 北大核心 2020年第6期510-517,共8页; 该文对Rips提出的“证明心理学理论”做了综合述评。这一理论主要包含三方面的内容:对推理过程与人类记忆相互关系的解释;(2)根据逻辑学中的“自然推理规则”进行修正后用于解释人类推理过程的推理规则;(3)关于如何控制推理过程的论述。... 展开更多; 关键词自然演绎系统证明心理学记忆假设推理规则假设控制假设; 在线阅读下载PDF 职称材料

题名基于括号表示法的4值逻辑自然演绎系统被引量：4: 1; 作者杜国平; 机构中国社会科学院哲学研究所; 出处《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2020年第2期36-49,167,共15页; 基金国家社会科学基金重大招标项目“应用逻辑与逻辑应用研究”(14ZDB014)。; 文摘运用括号表示法来构建4值逻辑,其形式语言非常简洁,公式表达准确、无歧义,也更加简短。使用符合4值逻辑推理直觉的16条推理规则,可以建立4值逻辑自然演绎系统PD 4;基于4值语义可以证明该系统具有可靠性和完全性。通过语形、语义方法可以严格证明4值逻辑自然演绎系统PD 4是经典2值逻辑、卢卡西维茨3值逻辑以及一般3值逻辑系统的扩充。; 关键词联结词括号表示法 4值逻辑自然演绎系统扩充; 分类号 B81 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名模糊逻辑中的自然演绎系统被引量：2: 2; 作者裴道武; 机构西安交通大学理学院盐城师范学院数学系; 出处《工程数学学报》 CSCD 北大核心 2002年第3期95-100,共6页; 基金江苏省教育厅科研项目 (No :0 1KJD110 0 0 7); 文摘讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式。基于著名的形式演绎系统L ,建立起对应的自然演绎系统L ND,并且证明了这个系统的完备性。由于一系列新的推理规则的引入 ,模糊逻辑的推理能力得到明显增强。; 关键词模糊逻辑自然演绎系统推理规则; Keywords fuzzy logic natural deductive system inference rule; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名亚里士多德的必然三段论被引量：3: 3; 作者张家龙; 机构中国社会科学院哲学研究所; 出处《湖北大学学报（哲学社会科学版）》 1996年第3期30-38,共9页; 文摘本文从亚里士多德关于必然三段论的原文出发，考察了亚里士多德的必然三段论的系统、证明方法和排斥方法，在此基础上构造了一个严格形式化的必然三段论的自然演绎系统，克服了亚里士多德的必然三段论理论中的不精确之处。; 关键词必然三段论实然(直言)三段论前提结论证明排斥自然演绎系统; 分类号 B812.23 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名并发Lambek演算在时态查询中的语义转换: 4; 作者刘冬宁汤庸; 机构中山大学计算机科学系中山大学数学系; 出处《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第1期137-140,共4页; 基金国家自然基金资助项目(60673135 60373081) +3 种基金广州市科技计划资助(07Z3-D3191); 文摘为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lam-bek演算(LCTQ)及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式,为时态查询语句的语义分析提供相关接口。; 关键词时态查询并发的Lambek演算语义转换标号自然演绎系统; Keywords temporal querying concurrence Lambek calculus semantic transform labeled natural deduction system; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名高校逻辑教材改革中应当正确处理的几个关系: 5; 作者苑成存; 机构佳木斯师范专科学校; 出处《理论探讨》 CSSCI 北大核心 1996年第4期112-112,共1页; 文摘高校逻辑教材改革中应当正确处理的几个关系苑成存我国高校的逻辑学教材改革取得一定成效。但在逻辑学教材改革过程中，也确实存在着一些不容忽视的问题，这些问题都与对以下几个关系的不当处理有着直接或间接的联系。一、传统逻辑和现代逻辑的关系从这十几年出版的逻辑学...; 关键词现代逻辑逻辑教材逻辑学归纳逻辑传统逻辑正确处理演绎逻辑自然演绎系统谓词逻辑非经典逻辑; 分类号 G642 [文化科学—高等教育学]; 在线阅读下载PDF 职称材料

题名论逻辑有效性问题被引量：3: 6; 作者郑文辉; 出处《现代哲学》北大核心 1990年第4期44-49,共6页; 文摘逻辑有效性(validity)问題是形式逻辑的主题,这是由形式逻辑的性质决定的。人们对“逻辑”向来有不同的理解,但各种理解似乎都涉及一个共同的问题:逻辑是关于推论的科学。推论(argument)是什么?推论是一个命题序列,它由一个作为结论的命题和一个或多个作为支持这个结论的命题(即前提)所构成。换言之,在一个命题序列中,根据一些前提来支持一个结论,或者从一些前提来推断一个结论,这就是推论。; 关键词形式逻辑有效性问题逻辑有效性合式公式逻辑形式非形式归纳推论推理规则假组合自然演绎系统; 分类号 B15 [哲学宗教—世界哲学]; 在线阅读下载PDF 职称材料

题名Rips的“证明心理学理论”述评: 7; 作者胡竹菁胡笑羽; 机构江西师范大学心理学院江西师范大学心理研究所; 出处《心理学探新》 CSSCI 北大核心 2020年第6期510-517,共8页; 文摘该文对Rips提出的“证明心理学理论”做了综合述评。这一理论主要包含三方面的内容:对推理过程与人类记忆相互关系的解释;(2)根据逻辑学中的“自然推理规则”进行修正后用于解释人类推理过程的推理规则;(3)关于如何控制推理过程的论述。Rips认为他于1983年设计并实施的以“自然推理系统”所含各推理规则为实验材料的实验结果支持该理论的基本观点。; 关键词自然演绎系统证明心理学记忆假设推理规则假设控制假设; Keywords A Natural Deduction System The Psychology of Proof assumptions about memory assumptions about inference rules assumptions about control; 分类号 B842.5 [哲学宗教—基础心理学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于括号表示法的4值逻辑自然演绎系统	杜国平	《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心	2020	4	在线阅读下载PDF 职称材料
2	模糊逻辑中的自然演绎系统	裴道武	《工程数学学报》 CSCD 北大核心	2002	2	在线阅读下载PDF 职称材料
3	亚里士多德的必然三段论	张家龙	《湖北大学学报（哲学社会科学版）》	1996	3	在线阅读下载PDF 职称材料
4	并发Lambek演算在时态查询中的语义转换	刘冬宁汤庸	《中山大学学报（自然科学版）》 CAS CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料
5	高校逻辑教材改革中应当正确处理的几个关系	苑成存	《理论探讨》 CSSCI 北大核心	1996	0	在线阅读下载PDF 职称材料
6	论逻辑有效性问题	郑文辉	《现代哲学》北大核心	1990	3	在线阅读下载PDF 职称材料
7	Rips的“证明心理学理论”述评	胡竹菁胡笑羽	《心理学探新》 CSSCI 北大核心	2020	0	在线阅读下载PDF 职称材料