首页 | 本学科首页   官方微博 | 高级检索  
     检索      

逻辑学研究
引用本文:陈波.逻辑学研究[J].湖北大学学报(哲学社会科学版),2014(5).
作者姓名:陈波
作者单位:北京大学哲学系;
摘    要:正主持人语]本期发表两篇逻辑学的技术性论文。熊明的论文对艾尔布朗语义下的真理论进行初步探讨,试图比较艾尔布朗语义下和塔斯基语义下真谓词的异同。王淑庆的论文在已有形式化结果的基础上,提出一种基于ASP(回答集编程)逻辑的偏好多语境系统PMCS,并利用其偏好语义实现PMCS的偏好桥规则的删除功能,以及使用偏好语义来处理MCS的不一致性问题。

关 键 词:回答集编程  逻辑学研究  不一致性  逻辑学家  塔斯基  王淑  逻辑研究  创造性工作  中国逻辑  前沿领域  
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号