会议专题
会议专题
>
2013年全国应用逻辑学术年会
2013年全国应用逻辑学术年会
总文献量: 20篇
会议类型: 国内会议
会议地点: 北京
主办单位: 中国逻辑学会
会议日期: 2013-06-22
结果中检索
文章浏览
非单调推理与论辩系统
谢凯博 廖备水
《逻辑学》课程改革的理论与实践
林胜强
论先验偶然知识之论争
冯立荣 韩秋旭 焦天骄
辩证逻辑和形式逻辑推理研究比较
贺善侃
试论情境语义学的认知科学意义
娄永强
相干逻辑的产生及评价
刘步青
逻辑教学的解题艺术
丁瑃
《一个真值理论与语义表征》述评
崔佳悦
关于罗素的类型论和还原公理
李巍
信念逻辑的更新模型
郭向阳
限定逻辑的表列方法
孔红
关于中文青少年逻辑思维读物的思考
夏素敏
模态逻辑典范框架几个侧面
裘江杰
真与悖论问题--贺柏和“真”之公理化研究进路浅析
邵强进
在通识教育和专业教育之间的逻辑素质训练
郭佳宏 高东平
刻画汉语连动结构的逻辑系统
贾青 李可胜
基于互模拟的两种模态逻辑模型构造方法及其应用
姚从军 霍书全
概念的内涵与外延有着反比(变)关系吗?
俞思义
论刘易斯的模态实在论--从两种实在论的比较看
刘张华
一阶谓词逻辑反驳演算自然推理系统
杜国平 赵曼