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

模糊模态命题逻辑及其广义重言式被引量：18: 1; 作者汪德刚谷云东李洪兴《电子学报》 EI CAS CSCD 北大核心 2007年第2期261-264,共4页; 首先讨论广义泛代数理论,引入变维运算和广义型的概念,并进而给出了广义泛代数的定义.随后,给出模糊模态命题逻辑的概念,并定义了模糊模态命题运算.最后,以泛代数理论为基础给出M-W系统的定义,并讨论了相应系统中广义重言式的性质及其分... 展开更多; 关键词模糊逻辑模糊模态命题逻辑广义重言式; 在线阅读下载PDF 职称材料

模糊命题模态逻辑的Tableau方法被引量：1: 2; 作者刘磊王强吕帅《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2017年第6期914-920,共7页; 为提高模糊命题模态逻辑(fuzzy propositional modal logic,FPML)的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出了基于FPML的Tableau规则并证明了其正确性,给出了模糊断言集合的约简策略;在此基础上给出了FPML中的不... 展开更多; 关键词 TABLEAU方法模态逻辑模糊命题模态逻辑不确定推理一致性检测模糊断言集合; 在线阅读下载PDF 职称材料

谈谈模态逻辑: 3; 作者郑文辉梁庆寅《现代哲学》 1986年第1期51-55,共5页; 模态逻辑(modal logic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值... 展开更多; 关键词模态逻辑系统数理逻辑亚里士多德模态命题模态三段论真值蕴涵严格蕴涵系统模态词可能世界模态系统; 在线阅读下载PDF 职称材料

评弓肇祥新著《广义模态逻辑》: 4; 《北方论丛》 CSSCI 1996年第1期109-110,共2页; 评弓肇祥新著《广义模态逻辑》晁连成李龙海社会转型期的商潮汹涌、人心浮动未必是件不好的事，但是对于严肃的特别是纯学术性的出版业来说则真可谓雪上加霜。所以，我们发自内心地感谢中国社会科学出版社慧眼识珠，给学术界奉献出《广... 展开更多; 关键词广义模态逻辑时态逻辑认知逻辑逻辑语义学道义逻辑现代逻辑逻辑系统命题逻辑模态命题新著; 在线阅读下载PDF 职称材料

古希腊罗马逻辑中的现代逻辑萌芽: 5; 作者杨百顺《北京师范大学学报（社会科学版）》 1986年第3期59-66,共8页; “在希腊哲学的多种多样的形式中，差不多可以找到以后各种观点的胚胎、萌芽。”（《马克思恩格斯选集》第3卷，第468页）。这一点完全适用于逻辑学。“人体解剖对于猴体解剖是一把钥匙。低等动物身上表露的高等动物的征兆。; 关键词现代逻辑数理逻辑亚里士多德三段论关系逻辑古希腊罗马命题逻辑模态命题斯多葛学派函子等词; 在线阅读下载PDF 职称材料

贵在辩证施教: 6; 作者顾泉岚《黄河水利职业技术学院学报》 1996年第1期48-48,共1页; 关键词辩证施教教学节奏普通逻辑课堂教学虚实相生辩证施治教学特点思想工作教学内容模态命题; 在线阅读下载PDF 职称材料

题名模糊模态命题逻辑及其广义重言式被引量：18: 1; 作者汪德刚谷云东李洪兴; 机构北京师范大学数学科学学院华北电力大学(北京)数理学院; 出处《电子学报》 EI CAS CSCD 北大核心 2007年第2期261-264,共4页; 基金国家973重点基础研究发展规划(No.2002CB312200) 教育部科学技术重点项目(No.03184) +1 种基金国家自然科学基金(No.60474023); 文摘首先讨论广义泛代数理论,引入变维运算和广义型的概念,并进而给出了广义泛代数的定义.随后,给出模糊模态命题逻辑的概念,并定义了模糊模态命题运算.最后,以泛代数理论为基础给出M-W系统的定义,并讨论了相应系统中广义重言式的性质及其分类,证明了系统M-W只有三种广义重言式.; 关键词模糊逻辑模糊模态命题逻辑广义重言式; Keywords fuzzy logic fuzzy modal propositional logic generalized tautology; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名模糊命题模态逻辑的Tableau方法被引量：1: 2; 作者刘磊王强吕帅; 机构吉林大学计算机科学与技术学院吉林大学数学学院; 出处《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2017年第6期914-920,共7页; 基金国家自然科学基金项目(61300049 61402195) +2 种基金 20140520069JH); 文摘为提高模糊命题模态逻辑(fuzzy propositional modal logic,FPML)的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出了基于FPML的Tableau规则并证明了其正确性,给出了模糊断言集合的约简策略;在此基础上给出了FPML中的不一致性和不一致估值的定义。最后给出基于Tableau方法的FPML的一致性检测方法 TFPML和模糊断言集合的不一致估值计算方法 CID,并证明了其正确性。实例分析表明,本文提出的方法是正确有效的。; 关键词 TABLEAU方法模态逻辑模糊命题模态逻辑不确定推理一致性检测模糊断言集合; Keywords Tableau approach modal logic fuzzy propositional modal logic uncertainty reasoning consistency checking; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名谈谈模态逻辑: 3; 作者郑文辉梁庆寅; 机构中山大学哲学系; 出处《现代哲学》 1986年第1期51-55,共5页; 文摘模态逻辑(modal logic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truth implication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“; 关键词模态逻辑系统数理逻辑亚里士多德模态命题模态三段论真值蕴涵严格蕴涵系统模态词可能世界模态系统; 分类号 B15 [哲学宗教—世界哲学]; 在线阅读下载PDF 职称材料

题名评弓肇祥新著《广义模态逻辑》: 4; 出处《北方论丛》 CSSCI 1996年第1期109-110,共2页; 文摘评弓肇祥新著《广义模态逻辑》晁连成李龙海社会转型期的商潮汹涌、人心浮动未必是件不好的事，但是对于严肃的特别是纯学术性的出版业来说则真可谓雪上加霜。所以，我们发自内心地感谢中国社会科学出版社慧眼识珠，给学术界奉献出《广义模态逻辑》一书。广义模态逻辑是哲...; 关键词广义模态逻辑时态逻辑认知逻辑逻辑语义学道义逻辑现代逻辑逻辑系统命题逻辑模态命题新著; 分类号 G236 [文化科学]; 在线阅读下载PDF 职称材料

题名古希腊罗马逻辑中的现代逻辑萌芽: 5; 作者杨百顺; 出处《北京师范大学学报（社会科学版）》 1986年第3期59-66,共8页; 文摘 “在希腊哲学的多种多样的形式中，差不多可以找到以后各种观点的胚胎、萌芽。”（《马克思恩格斯选集》第3卷，第468页）。这一点完全适用于逻辑学。“人体解剖对于猴体解剖是一把钥匙。低等动物身上表露的高等动物的征兆。; 关键词现代逻辑数理逻辑亚里士多德三段论关系逻辑古希腊罗马命题逻辑模态命题斯多葛学派函子等词; 分类号 G65 [文化科学—教育学] C55 [社会学]; 在线阅读下载PDF 职称材料

题名贵在辩证施教: 6; 作者顾泉岚; 出处《黄河水利职业技术学院学报》 1996年第1期48-48,共1页; 关键词辩证施教教学节奏普通逻辑课堂教学虚实相生辩证施治教学特点思想工作教学内容模态命题; 分类号 G424.21 [文化科学—课程与教学论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	模糊模态命题逻辑及其广义重言式	汪德刚谷云东李洪兴	《电子学报》 EI CAS CSCD 北大核心	2007	18	在线阅读下载PDF 职称材料
2	模糊命题模态逻辑的Tableau方法	刘磊王强吕帅	《哈尔滨工程大学学报》 EI CAS CSCD 北大核心	2017	1	在线阅读下载PDF 职称材料
3	谈谈模态逻辑	郑文辉梁庆寅	《现代哲学》	1986	0	在线阅读下载PDF 职称材料
4	评弓肇祥新著《广义模态逻辑》		《北方论丛》 CSSCI	1996	0	在线阅读下载PDF 职称材料
5	古希腊罗马逻辑中的现代逻辑萌芽	杨百顺	《北京师范大学学报（社会科学版）》	1986	0	在线阅读下载PDF 职称材料
6	贵在辩证施教	顾泉岚	《黄河水利职业技术学院学报》	1996	0	在线阅读下载PDF 职称材料