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

偏好语境下的序逻辑被引量：1: 1; 作者董英东张学立徐扬《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2012年第3期425-428,共4页; 为了解决偏好逻辑语境中的先后关系问题,需要引入集合论中的序关系的概念,从而构成序逻辑.采用状态消减、关系变化和关系分割的方法,给出了序逻辑的公开宣告、字典序更新和偏好更新三个动态行动,更多的行动可以采用类似的方法进行分析,... 展开更多; 关键词公开宣告字典序更新偏好更新归约公理序逻辑集合论模态逻辑动态行动; 在线阅读下载PDF 职称材料

模态逻辑中转换结构的局限性被引量：1: 2; 作者董英东《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2014年第2期284-288,共5页; 针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽... 展开更多; 关键词模态逻辑转换结构典范模型有穷模型性赋值模型朴素模型完全性加标转换; 在线阅读下载PDF 职称材料

论哈克对逻辑绝对主义的批判被引量：1: 3; 作者颜中军《学术界》 CSSCI 北大核心 2012年第3期78-84,284,共7页; 长期以来,逻辑知识被赋予一种特殊的认识论地位,把它视为先验有效、不证自明的真理。这种观点被称之为"逻辑绝对主义"。哈克继承了蒯因、普特南、皮尔士等人的思想,主张更加彻底的实用主义逻辑观,严厉批判各种逻辑绝对主义,... 展开更多; 关键词苏珊·哈克逻辑绝对主义逻辑实用主义逻辑可修正性; 在线阅读下载PDF 职称材料

描述逻辑FL_0循环术语集的可满足性: 4; 作者汪天友曹发生《计算机工程与应用》 CSCD 2012年第14期56-59,共4页; 循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决。分析了描述逻辑循环术语集的研究现状和存在的问题,基于图的互模拟的方法,给出了描述逻辑FL0循环术语集的可满足性条件。结果证明循环术... 展开更多; 关键词描述逻辑 FL0 互模拟; 在线阅读下载PDF 职称材料

写好作文须懂逻辑学: 5; 作者马赛《语文建设》北大核心 2013年第10期35-37,共3页; 逻辑学与写作的关系一度成为学者讨论的热点，文学作品中形象思维和逻辑思维的问题也引起过诸多学人的关注。文章逻辑严密合理，就会显得浑然天成、圆融丰满。反之，若文章情节前后矛盾，相互龃龉，就会使人感觉内容失真、矫揉造作、为... 展开更多; 关键词逻辑学作文逻辑思维文学作品逻辑严密文章可信度写作; 在线阅读下载PDF 职称材料

《墨经》与训诂学: 6; 作者张丽萍余军成《语文建设》北大核心 2012年第06X期47-49,共3页; 《墨经》有丰富的训诂学材料,其特点可以归纳为三个方面:利用词义的训释来表达墨家的政治观点,利用词义的训释来表达自己对现实世界的认识,《经说》用义界方式训释《经》文时不同于常规。; 关键词墨经训诂学特点; 在线阅读下载PDF 职称材料

题名偏好语境下的序逻辑被引量：1: 1; 作者董英东张学立徐扬; 机构毕节学院逻辑与文化研究中心西南交通大学智能控制开发中心; 出处《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2012年第3期425-428,共4页; 基金国家自然科学基金资助项目(61175055) 毕节学院基金资助项目(20111010); 文摘为了解决偏好逻辑语境中的先后关系问题,需要引入集合论中的序关系的概念,从而构成序逻辑.采用状态消减、关系变化和关系分割的方法,给出了序逻辑的公开宣告、字典序更新和偏好更新三个动态行动,更多的行动可以采用类似的方法进行分析,最基本的观点就是对基础语言的解释.序逻辑在动态偏好逻辑中具有重要的作用和意义.; 关键词公开宣告字典序更新偏好更新归约公理序逻辑集合论模态逻辑动态行动; Keywords public announcement lexicographic upgrade preference upgrade reduction axioms ordering logic set theory modal logic dynamic action; 分类号 TP278 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名模态逻辑中转换结构的局限性被引量：1: 2; 作者董英东; 机构毕节学院逻辑与文化研究中心西南大学逻辑与智能研究中心; 出处《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2014年第2期284-288,共5页; 基金贵州省哲学社会科学规划基金资助项目(12GZYB63) 贵州省优秀科技教育人才省长基金资助项目([2012]50) +3 种基金中国博士后科学基金面上基金资助项目(2013M542251); 文摘针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性.; 关键词模态逻辑转换结构典范模型有穷模型性赋值模型朴素模型完全性加标转换; Keywords modal logic transition structure canonical model finite model property valued model unadornedmodel completeness labelled transition; 分类号 TP278 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名论哈克对逻辑绝对主义的批判被引量：1: 3; 作者颜中军; 机构毕节学院逻辑与文化研究中心华东师范大学哲学系; 出处《学术界》 CSSCI 北大核心 2012年第3期78-84,284,共7页; 基金贵州省高等学校重点支持学科项目"逻辑学"(黔教高发(2009)303号); 文摘长期以来,逻辑知识被赋予一种特殊的认识论地位,把它视为先验有效、不证自明的真理。这种观点被称之为"逻辑绝对主义"。哈克继承了蒯因、普特南、皮尔士等人的思想,主张更加彻底的实用主义逻辑观,严厉批判各种逻辑绝对主义,为逻辑可错论和可修正论扫除了认识论障碍。; 关键词苏珊·哈克逻辑绝对主义逻辑实用主义逻辑可修正性; Keywords Susan Haack logical absolutism logical pragmatism revisability of logics; 分类号 B81 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名描述逻辑FL_0循环术语集的可满足性: 4; 作者汪天友曹发生; 机构贵阳学院数学系毕节学院逻辑与文化研究中心数学系中山大学逻辑与认知研究所; 出处《计算机工程与应用》 CSCD 2012年第14期56-59,共4页; 基金贵州省教育厅自然科学基金项目(No.黔教科20090068) 贵州省重点支持学科(逻辑学)项目; 文摘循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决。分析了描述逻辑循环术语集的研究现状和存在的问题,基于图的互模拟的方法,给出了描述逻辑FL0循环术语集的可满足性条件。结果证明循环术语集的可满足性的推理是多项式复杂的。; 关键词描述逻辑 FL0 互模拟; Keywords description logic FL0 bisimulation; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名写好作文须懂逻辑学: 5; 作者马赛; 机构贵州毕节学院逻辑与文化研究中心; 出处《语文建设》北大核心 2013年第10期35-37,共3页; 文摘逻辑学与写作的关系一度成为学者讨论的热点，文学作品中形象思维和逻辑思维的问题也引起过诸多学人的关注。文章逻辑严密合理，就会显得浑然天成、圆融丰满。反之，若文章情节前后矛盾，相互龃龉，就会使人感觉内容失真、矫揉造作、为文造情，文章失去可信度，从而大大影响质量。; 关键词逻辑学作文逻辑思维文学作品逻辑严密文章可信度写作; 分类号 G633.3 [文化科学—教育学]; 在线阅读下载PDF 职称材料

题名《墨经》与训诂学: 6; 作者张丽萍余军成; 机构贵州毕节学院逻辑与文化研究中心; 出处《语文建设》北大核心 2012年第06X期47-49,共3页; 基金教育部人文社会科学研究规划基金项目"<墨经>释义研究"。项目编号:12YJA740074 贵州省教育厅高校人文社会科学研究项目"高亨<墨经校诠>通假字研究"。项目编号:102C116; 文摘《墨经》有丰富的训诂学材料,其特点可以归纳为三个方面:利用词义的训释来表达墨家的政治观点,利用词义的训释来表达自己对现实世界的认识,《经说》用义界方式训释《经》文时不同于常规。; 关键词墨经训诂学特点; 分类号 H13 [语言文字—汉语]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	偏好语境下的序逻辑	董英东张学立徐扬	《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心	2012	1	在线阅读下载PDF 职称材料
2	模态逻辑中转换结构的局限性	董英东	《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心	2014	1	在线阅读下载PDF 职称材料
3	论哈克对逻辑绝对主义的批判	颜中军	《学术界》 CSSCI 北大核心	2012	1	在线阅读下载PDF 职称材料
4	描述逻辑FL_0循环术语集的可满足性	汪天友曹发生	《计算机工程与应用》 CSCD	2012	0	在线阅读下载PDF 职称材料
5	写好作文须懂逻辑学	马赛	《语文建设》北大核心	2013	0	在线阅读下载PDF 职称材料
6	《墨经》与训诂学	张丽萍余军成	《语文建设》北大核心	2012	0	在线阅读下载PDF 职称材料