11月16日，我校成功举办2025年中介逻辑发表四十周年纪念会暨中国逻辑学会非经典逻辑与计算专委会常委会。本次会议由中国逻辑学会和我校主办。中国逻辑学会会长杜国平，副会长徐扬，非经典逻辑与计算专委会主任杨义川，人工智能逻辑专委会主任陈仪香，南开大学数学学院院长丁龙云，我校副校长徐正扬出席本次会议。非经典逻辑与计算专委会副主任周红军主持开幕式，我校计算机学院院长黄圣君主持闭幕式。
1985年，我校计算机学院朱梧槚教授与合作者肖奚安教授发表《中介逻辑演算系统》，标志着中国学者原创的非经典逻辑体系正式诞生，为中介逻辑领域的发展奠定了坚实基础，被国际逻辑学界评价为“从哲学思想到数学形式化的开创性突破”。在中介逻辑发表四十周年之际，中国逻辑学会和我校共同主办此次纪念活动。
徐正扬致开幕词，他向莅临本次学术盛会的各位领导、专家学者致以热烈欢迎。他表示，朱梧槚教授是南航计算机科学研究所创始人，他开创的中介逻辑体系四十年来不断发展完善、影响深远。南航始终高度重视基础学科建设与交叉学科发展，逻辑学作为思维科学的核心，为学校航空航天、计算机、人工智能等优势学科的创新发展提供了重要的逻辑支撑。希望以此次会议为契机，深入探讨中介逻辑及非经典逻辑与计算领域的前沿问题，分享最新研究成果，凝聚学科发展共识，推动该领域理论创新与实践应用迈向新高度。
徐扬代表学会致辞，他对我校为此次会议的精心筹备与全力保障表示衷心感谢，期待以此次会议为纽带，汇聚学界力量共促逻辑学科发展，也坚信学会将在推动领域创新与合作中持续发挥引领作用，迈向更高发展台阶。
中国社会科学院大学杜国平教授、南开大学丁龙云教授、西南交通大学徐扬教授、江南大学潘正华教授、华东师范大学陈仪香教授以及我校朱朝晖教授先后作大会报告，分享他们在多值逻辑、等价关系、自动定理生成、知识否定、人工智能逻辑及逻辑转化系统等相关领域的最新研究进展。
为缅怀朱梧槚先生的学术贡献、传承其治学精神，会场特别设置了纪念视频播放环节。大会圆桌论坛环节，10位受邀学者围绕朱梧槚先生的学术成就、突出贡献以及科学家精神进行了深入研讨。
