中山大学学报论丛杂志部级期刊

中山大学学报论丛 2017年第02期杂志 文档列表

2016年全国现代逻辑学术研讨会专辑前言第1-1页

关键词: 学术研讨会；  现代逻辑；  前言；  专辑；  专业委员会；  中国逻辑；  研究人员；  学术氛围；  

概称句词项逻辑系统GAG与Gaa的完全性第2-21页

关键词: 概称句；  词项逻辑；  完全性；  

动态抽象论辩系统基语义的单调性及其判定规则第22-44页

关键词: 抽象论辩系统动态性；  论辩语义；  语义单调性；  判定规则；  

汉语的条件句与“就”第45-61页

关键词: 条件句；  汉语；  刘明明；  小句；  连接词；  弱化；  语义；  

概念结构理论第62-80页

关键词: 概念；  模型；  推理；  不一致；  不可分辨性；  翻译；  

将证成逻辑里的加号解释为证成集的联集第81-98页

关键词: 逻辑系统；  完备性；  证明；  语义；  

Z-型Rabin树理论的可判定性第99-111页

关键词: 可判定性；  rabin树；  归约；  

量子逻辑中一个形式化的状态–性质对偶关系第112-133页

关键词: 对偶关系；  量子；  性质；  状态；  逻辑；  代数结构；  范畴论；  命题系统；  

2016年全国现代逻辑学术研讨会综述第134-141页

关键词: 现代逻辑；  学术研讨会；  研讨会综述；  西南大学；  专业委员会；  中国逻辑；  大学逻辑；  哲学逻辑；  

收缩论与断定的规范第142-151页

关键词: 真；  断定；  规范；  收缩论；  

《逻辑学研究》征稿启事第152-152页

关键词: 逻辑学研究；  征稿启事；  重点研究基地；  人文社会科学；  中山大学；  学术刊物；  中国逻辑；  大学逻辑；