聚焦数理逻辑前沿！中国数学会2025 年学术年会数理逻辑卫星会议在滨州成功举办

2025 年 10 月 17 日至 18 日，中国数学会 2025 年学术年会数理逻辑卫星会议在山东省滨州市顺利召开。作为年会的重要分支，本次会议汇聚数理逻辑领域知名学者，围绕 Domain 理论、模态逻辑、拓扑群、概率计算语义等前沿方向展开深度交流，为参会者呈现了一场高质量学术盛宴。

开幕式：锚定学科方向，搭建交流平台

10 月 17 日 13:45，会议开幕式于会展中心启动，由中国数学会数理逻辑专业委员会主任、南开大学讲席教授、国家级人才高速主持。他首先介绍了本次卫星会议的举办背景，数理逻辑卫星会议作为年会重要分支，聚焦数理逻辑领域的前沿突破与跨学科探索，随后欢迎国内外参会学者，期待通过两天交流，既能展示最新研究成果，更能搭建思想碰撞、合作对接的平台，为学科发展凝聚共识、培育新生力量。致辞结束后，高速教授宣布会议进入报告环节，学术交流正式拉开序幕。

首日报告：深耕核心领域 探索前沿问题

开幕式后，中国数学会数理逻辑专业委员会副主任、南开大学数学科学学院院长丁龙云教授，中国数学会理事、陕西师范大学数学与统计学院教授、副院长周红军教授先后介绍报告人，4 场报告围绕 Domain 理论、概率计算语义、模态逻辑、拓扑群等核心方向展开。

湖南大学数学学院李庆国教授以《Domain 的逻辑表示》为题，系统探讨基于完备逻辑系统的 Domain 语义表示，涵盖 Abramsky 的 Domain 逻辑、Chen 与 Jung 的代数 L-domain 逻辑，以及其团队提出的多类 Domain 逻辑体系，并提出该领域后续需深入研究的课题。

湖南大学数学学院贾晓东教授聚焦《Denotational Semantics for Probabilistic Computation》，讲解如何为具有概率特征的高阶编程语言提供指称语义，探讨著名的 Jung-Tix 问题解决方案，涉及 Dana Scot 的 Domain 理论、语义范畴上的交换概率单子、一般拓扑空间上的积分理论等关键工具。

泰山学院数学与统计学院赵之光教授针对自然语言中数值比较的逻辑与算术双重特征、一阶逻辑刻画复杂的问题，以《Modal Logic with Counting》为题，提出借助 “模态逻辑 with 计数（ML (#)）” 这类 “小语言” 简化分析，介绍 ML (#) 的赋值博弈、模型比较博弈，及其公理化体系与 “带‘大多数’的模态逻辑” 片段。

南开大学数学科学学院Victor Hugo Yañez  Salazar以《Some Logic, Set Theory and Topology Methods in the Theory of Minimally Almost Periodic Groups》为主题，以 Hausdorff 拓扑空间为研究前提，对比极大几乎周期群（MAP）的易构造性群（MAP）的易构造性与极小几乎周期群（MinAP）的构造难点，结合拓扑动力学阐述 MinAP 性质与 “极可亲群” 的关联，重点介绍 Markov 问题、Protasov-Comfort 问题的完全解决，以及 Prodanov 等人的初等构造、基于 Fraissé 类的极可亲群构造等关键成果。

次日报告：拓展研究边界，深化理论应用

10 月 18 日 8:30，会议进入第二天议程。原陕西师范大学党委常委、副校长赵彬教授，高速教授先后介绍报告人，4 场报告进一步拓展数理逻辑研究边界，深化理论与多领域的结合。

山东大学数学学院刘华文教授以《三角模研究进展 II》为题，梳理三角模自上世纪四十年代提出后的研究成果与应用现状（目前已广泛用于多值逻辑、决策及智能控制领域），重点分享两方面进展 —— 基于三角模的模糊逻辑系统及推理算法表示，与代数框架下三角模的相关研究。

北京航空航天大学数学科学学院杨义川教授在《Survey on Quantum B-algebras》报告中，首先介绍量子 B - 代数的公理引入背景，重点提及其核心应用（非交换情形下推广欧几里得算术基本定理），同时系统综述该领域最新研究进展。

山东大学哲学与社会发展学院梁飞教授以《On the Weak Intuitionistic Tense Logic》为题，提出弱直觉主义时态逻辑及其严格正扩张的可靠且无切割矢列演算，介绍该类逻辑与经典逻辑的柯尔莫哥洛夫翻译，并通过代数证明论方法，证明弱直觉主义时态逻辑及部分模态扩张的有限模型性质，进而说明这些逻辑的可判定性。

南开大学数学与科学学院王旭围绕《On the Hierarchy of Extensions of Non-Archimedean CLI Polish Groups》展开报告，先介绍非阿基米德 CLI Polish 群类的分层体系，随后聚焦核心问题——给定非阿基米德 CLI 群及其闭正规子群，能否通过子群分层确定群在分层中的上界，并给出相关研究结果。

作为中国数学会 2025 年学术年会的重要分支，本次数理逻辑卫星会议不仅推动 Domain 理论、模态逻辑等经典领域的理论研究走向深化，更探索了数理逻辑与概率计算、拓扑群等领域的交叉应用，为数理逻辑学科的未来发展锚定了新方向，也为领域内学者搭建了长期交流合作的桥梁。