逻辑学研究杂志CSSCI南大期刊

逻辑学研究 2012年第01期杂志 文档列表

二阶扩展逻辑的复杂性与表达能力第11-34页

关键词: 表达能力；  逻辑；  复杂性；  so；  结构；  证明；  程序；  版本；  

可满足性问题的归约技术第35-49页

关键词: 归约；  技术；  性问题；  sat；  公式；  结构；  性质；  复杂性；  

计算机、证明和证据第50-67页

关键词: 数学证明；  计算机；  证据；  哲学意义；  四色定理；  经验性；  

一种实用主义的数学哲学观第68-95页

关键词: 数学实践；  实用主义；  哲学观点；  哲学思想；  数学哲学；  数学研究；  案例分析；  基础知识；  

论开放域的表征第96-112页

关键词: 开放；  表征；  概念；  集合论；  不相容；  

梁启超范式与中国逻辑史研究第113-125页

关键词: 中国传统；  逻辑史研究；  梁启超；  范式；  中国逻辑史；  学术研究；  墨家逻辑；  逻辑研究；  

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

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