期刊发文
-
2016年全国现代逻辑学术研讨会专辑前言
关键词：学术研讨会 现代逻辑 前言 专辑 专业委员会 中国逻辑 研究人员 学术氛围
-
概称句词项逻辑系统GAG与Gaa的完全性
作者：陈星群; 周北海
关键词：概称句 词项逻辑 完全性
-
动态抽象论辩系统基语义的单调性及其判定规则
作者：廖备水; 徐康; 余喆
关键词：抽象论辩系统动态性 论辩语义 语义单调性 判定规则
-
汉语的条件句与“就”
作者：刘明明
关键词：“就” 条件句 汉语 刘明明 小句 连接词 弱化 语义
-
概念结构理论
作者：刘壮虎
关键词：概念 模型 推理 不一致 不可分辨性 翻译
-
将证成逻辑里的加号解释为证成集的联集
作者：王仁俊
关键词：逻辑系统 完备性 证明 语义
-
Z-型Rabin树理论的可判定性
作者：张炎
关键词：可判定性 Rabin树 归约
-
量子逻辑中一个形式化的状态–性质对偶关系
作者：钟盛阳
关键词：对偶关系 量子 性质 状态 逻辑 代数结构 范畴论 命题系统
-
2016年全国现代逻辑学术研讨会综述
关键词：现代逻辑 学术研讨会 研讨会综述 西南大学 专业委员会 中国逻辑 大学逻辑 哲学逻辑
-
收缩论与断定的规范
作者：周振忠
关键词：真 断定 规范 收缩论
-
《逻辑学研究》征稿启事
关键词：逻辑学研究 征稿启事 重点研究基地 人文社会科学 中山大学 学术刊物 中国逻辑 大学逻辑