首届重庆纯逻辑与应用逻辑会议  

作　　者：西南哲 

出　　处：《中国哲学年鉴》2015年第1期512-512,共1页Chinese Philosophical Almanac

摘　　要：6月19日在西南大学政治与公共管理学院逻辑与智能研究中心召开，由重庆市逻辑学会主办，西南大学逻辑与智能研究中心承办。在过去50年中，使用数学方法（代数、模型论和证明论）研究非古典逻辑取得了巨大的成功；另一方面，非古典逻辑在数学、理论计算机科学和哲学中的应用成果丰硕。

关 键 词：应用逻辑 重庆市 政治与公共管理学院 西南大学 数学方法 古典逻辑 计算机科学 大学逻辑 

分 类 号：G649.28[文化科学—高等教育学]