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

集合论-泛逻辑悖论被引量：4: 1; 作者杜国平王洪光 +1 位作者李娜朱梧槚《北京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第3期376-379,共4页; 对于一类n(2≤n≤n)值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统UL1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它... 展开更多; 关键词概括原则泛逻辑不可数无穷值逻辑悖论; 在线阅读下载PDF 职称材料

知识蕴涵逻辑系统被引量：7: 2; 作者杜国平《逻辑学研究》 2008年第2期80-98,共19页; 使用经典逻辑对海量知识系统进行分析处理和信息挖掘需要解决的关键问题之一就是司各脱法则问题。司各脱定理表明,矛盾蕴涵一切,如果一个知识系统包含着相互矛盾的信息,那么任何命题都将成为这个系统的推论。基于对蕴涵的一般认识,可以... 展开更多; 关键词知识系统逻辑系统信息挖掘经典逻辑问题提出逻辑规律形式语义; 在线阅读下载PDF 职称材料

可拓策略存在性被引量：2: 3; 作者杜国平《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2006年第7期1091-1093,1107,共4页; 对于∑和A不相容之矛盾问题的解决在经典命题逻辑的范围内是无法实现的,而在可拓逻辑的框架下这是可能的．首先定义了变换、可拓变换、解悖变换等概念,在此基础上,证明了增加型变换、蕴涵型变换和删减型变换化矛盾问题为相容问题的可能... 展开更多; 关键词矛盾问题变换可拓变换解悖变换; 在线阅读下载PDF 职称材料

编者导语:关于paraconsistent logic的几个问题被引量：2: 4; 作者张建军《逻辑学研究》 CSSCI 2018年第2期1-8,共8页; 从巴西逻辑学家N.C.A.da Costa在1958年发表包含矛盾定理的逻辑系统算起,paraconsistent logic已有60年的发展历程。因其构建动机在于否定矛盾律这一经典逻辑根本大法的普适性,在非经典逻辑分支中最具＂革命性＂外貌,也因此在当代逻辑... 展开更多; 关键词非经典逻辑导语编者逻辑学家逻辑系统根本大法逻辑发展矛盾律; 在线阅读下载PDF 职称材料

四值过渡语句演算: 5; 作者洪龙《南京邮电大学学报（自然科学版）》北大核心 2015年第6期14-23,共10页; 文中将建立一种涉及过渡现象的四值语句演算,以致能从逻辑角度刻画状态及状态之间的转变过程。我们采用区间邻接描述了过渡,论证了引入过渡词的必要性,且直观解释了过渡词真值的含义,这里的着重点是对过渡的内涵的分析。我们建立了四值... 展开更多; 关键词过渡现象多值逻辑过渡联结词语义语形过渡定理系统特征区间邻接; 在线阅读下载PDF 职称材料

正规模态集合论悖论及相关问题被引量：17: 6; 作者张建军《逻辑学研究》 CSSCI 2017年第3期35-57,共23页; "正规模态集合论悖论"产生于带等词一阶逻辑、公理集合论和正规模态逻辑的"自然结合"。正规模态命题逻辑如同一根"魔杖",一旦将之引入经典集合论,即把本来可以容纳偶然关系的集合论,变为断言"所有... 展开更多; 关键词正规模态集合论悖论实体-实体关联实体-属性关联广义逻辑真理; 在线阅读下载PDF 职称材料

题名集合论-泛逻辑悖论被引量：4: 1; 作者杜国平王洪光李娜朱梧槚; 机构南京航空航天大学计算机科学与工程系南京大学现代逻辑与逻辑应用研究所; 出处《北京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第3期376-379,共4页; 基金国家自然科学基金资助项目(60575038); 文摘对于一类n(2≤n≤n)值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统UL1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.; 关键词概括原则泛逻辑不可数无穷值逻辑悖论; Keywords abstraction principle universal logic uncountable infinite valued logic paradox; 分类号 O14 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名知识蕴涵逻辑系统被引量：7: 2; 作者杜国平; 机构南京大学现代逻辑与逻辑应用研究所南京航空航天大学计算机系; 出处《逻辑学研究》 2008年第2期80-98,共19页; 基金国家社会科学基金项目(02CZX008) 国家自然科学基金项目(No.60575038); 文摘使用经典逻辑对海量知识系统进行分析处理和信息挖掘需要解决的关键问题之一就是司各脱法则问题。司各脱定理表明,矛盾蕴涵一切,如果一个知识系统包含着相互矛盾的信息,那么任何命题都将成为这个系统的推论。基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略。在根据这种策略而建立的知识蕴涵逻辑系统D中,(1)蕴涵关系符合直觉;(2)经典逻辑中基本的逻辑规律在该系统中得以保留:(3)不改变经典否定、合取的性质;(4)司各脱法则不成立。本文和给出严格形式语义的基础上,证明了该系统具有可靠性、协调性、完全性和可判定性。知识蕴涵逻辑系统D可以提供一个分析、处理海量知识系统的逻辑工具。利用公理B→(A→(A→B)),可以将知识系统中真知识归为一类,利用公理﹁B→(﹁A→(A→B)),可以将知识系统中的假知识归为一类,利用公理B→(﹁A→(A→B))(其中A和B相关)可以将相互矛盾知识中的相关真知识演绎出来。; 关键词知识系统逻辑系统信息挖掘经典逻辑问题提出逻辑规律形式语义; 分类号 B812 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名可拓策略存在性被引量：2: 3; 作者杜国平; 机构南京大学现代逻辑与逻辑应用研究所; 出处《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2006年第7期1091-1093,1107,共4页; 基金国家社会科学基金(02CZX008).; 文摘对于∑和A不相容之矛盾问题的解决在经典命题逻辑的范围内是无法实现的,而在可拓逻辑的框架下这是可能的．首先定义了变换、可拓变换、解悖变换等概念,在此基础上,证明了增加型变换、蕴涵型变换和删减型变换化矛盾问题为相容问题的可能性,最后证明了使用变换解决矛盾问题的三种策略的逻辑存在性．; 关键词矛盾问题变换可拓变换解悖变换; Keywords contradiction problems transformation extension transformation paradox-resolved transformation; 分类号 TP1 [自动化与计算机技术—控制理论与控制工程] O14 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名编者导语:关于paraconsistent logic的几个问题被引量：2: 4; 作者张建军; 机构南京大学现代逻辑与逻辑应用研究所; 出处《逻辑学研究》 CSSCI 2018年第2期1-8,共8页; 基金国家社科基金重大项目资助(项目编号:17ZDA024); 文摘从巴西逻辑学家N.C.A.da Costa在1958年发表包含矛盾定理的逻辑系统算起,paraconsistent logic已有60年的发展历程。因其构建动机在于否定矛盾律这一经典逻辑根本大法的普适性,在非经典逻辑分支中最具＂革命性＂外貌,也因此在当代逻辑发展进程中曾长期处于边缘化状态。; 关键词非经典逻辑导语编者逻辑学家逻辑系统根本大法逻辑发展矛盾律; 分类号 B812 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名四值过渡语句演算: 5; 作者洪龙; 机构南京邮电大学计算机学院南京大学现代逻辑与逻辑应用研究所; 出处《南京邮电大学学报（自然科学版）》北大核心 2015年第6期14-23,共10页; 基金国家自然科学基金(61170322)资助项目; 文摘文中将建立一种涉及过渡现象的四值语句演算,以致能从逻辑角度刻画状态及状态之间的转变过程。我们采用区间邻接描述了过渡,论证了引入过渡词的必要性,且直观解释了过渡词真值的含义,这里的着重点是对过渡的内涵的分析。我们建立了四值语句演算的形式系统LT4,侧重讨论联结词的赋值和该系统的特征,并证明了过渡定理和LT4的可靠性和完备性。; 关键词过渡现象多值逻辑过渡联结词语义语形过渡定理系统特征区间邻接; Keywords transition phenomena multi-valued logic transition connective word semantics syntax transition theorems system characteristics interval adjacency; 分类号 O141.1 [理学—基础数学] B819 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名正规模态集合论悖论及相关问题被引量：17: 6; 作者张建军; 机构南京大学哲学系南京大学现代逻辑与逻辑应用研究所; 出处《逻辑学研究》 CSSCI 2017年第3期35-57,共23页; 基金国家社会科学基金项目12AZX009; 文摘 "正规模态集合论悖论"产生于带等词一阶逻辑、公理集合论和正规模态逻辑的"自然结合"。正规模态命题逻辑如同一根"魔杖",一旦将之引入经典集合论,即把本来可以容纳偶然关系的集合论,变为断言"所有关系皆必然"的宿命论理论。这个悖论的揭示与澄清,可以清晰说明区分"实体-实体关联"与"实体-属性关联"及引入"广义逻辑真理"概念的必要性与重要性,并有助于认识与解决一系列模态哲学疑难问题。; 关键词正规模态集合论悖论实体-实体关联实体-属性关联广义逻辑真理; 分类号 B815.1 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	集合论-泛逻辑悖论	杜国平王洪光李娜朱梧槚	《北京航空航天大学学报》 EI CAS CSCD 北大核心	2009	4	在线阅读下载PDF 职称材料
2	知识蕴涵逻辑系统	杜国平	《逻辑学研究》	2008	7	在线阅读下载PDF 职称材料
3	可拓策略存在性	杜国平	《哈尔滨工业大学学报》 EI CAS CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
4	编者导语:关于paraconsistent logic的几个问题	张建军	《逻辑学研究》 CSSCI	2018	2	在线阅读下载PDF 职称材料
5	四值过渡语句演算	洪龙	《南京邮电大学学报（自然科学版）》北大核心	2015	0	在线阅读下载PDF 职称材料
6	正规模态集合论悖论及相关问题	张建军	《逻辑学研究》 CSSCI	2017	17	在线阅读下载PDF 职称材料