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

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