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

• 作者: 西南哲
• 来源期刊: 中国哲学年鉴
• 学科: 教育
• 关键词: 应用逻辑 重庆市 政治与公共管理学院 西南大学 数学方法 古典逻辑 计算机科学 大学逻辑
• 年，卷（期）: 2015,（1）
• 页码范围: 512-512
• 页数: 1页
• 分类号: G649.28

摘要

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