中国数学会2026年学术年会数理逻辑卫星会议在陕西西安成功举办
2026年11月6日至7日，中国数学会2026年学术年会数理逻辑卫星会议在陕西宾馆会议中心顺利召开。本次会议汇集国内数理逻辑、哲学逻辑等子方向开展研究等领域专家学者，聚焦相关前沿学术议题开展专题报告与研讨交流，搭建高水平学术交流平台，有力促进各研究领域的思想交融与学术互鉴。
会议于11月6日下午13:45正式开幕，开幕式由中国数学会数理逻辑专业委员会主任、南开大学讲席教授、国家级人才高速主持。高速教授对莅临本次数理逻辑卫星会议的各位专家学者致以热烈欢迎。
来自陕西师范大学的汪开云教授作题为Several classes of dimensions of topological spaces and lattices的报告，围绕拓扑空间与有界格的覆盖维数、序维数、拟覆盖维数展开讨论，给出有限T₀空间覆盖维数的线性时间计算算法，建立有限分配格维数与并不可约元极大元集合宽度之间的联系，得到几类维数之间的不等式关系，为拓扑空间与格结构的维数研究提供新工具。
陕西师范大学周红军教授带来报告k-generated implication and its applications。报告系统梳理基于t-模连续乘生成元诱导的k-生成蕴含算子五年以来的系列研究成果，介绍该类蕴含算子的关键代数性质，进一步拓展提出模糊蕴含函数的k-拟共轭概念，并展示其在严格模糊偏好关系构造、大模型近似推理、模糊蕴含规则挖掘、网络异常检测等现实场景中的最新应用。
西安交通大学张奎泽教授报告题目为High-order observers and high-order state-estimation-based properties of labeled finite-state automata，针对标记有限状态自动机，建立刻画多主体高阶认知状态估计的一般理论框架，引入高阶观测器工具用于高阶认知性质验证，同时提出开放问题，探讨该框架与认知逻辑等领域之间的内在关联。
西安石油大学折延宏教授作题为《从真度到度量空间：计量逻辑学的体系建构与智能推理拓展》的报告。报告梳理计量逻辑学的发展脉络，沿着“真度-相似度-逻辑度量空间-相容度发散度-近似推理”的主线，介绍计量逻辑学的完整理论体系，同时介绍该理论向概率化、智能化推理方向拓展的最新进展，沟通形式符号推理与数值不确定性计算两大研究范式。
11月7日上午，会议继续进行，由天津理工大学副校长、中国数学会数理逻辑专业委员会副主任丁龙云教授主持。
陕西师范大学王晶教授带来报告《认知主义与模糊性的动态认知界限》。报告针对模糊性问题中的认知主义理论，在回应已有批评的基础之上，构建“动态认知界限”分析框架，将模糊谓词界限拆解为理论不变项与操作可变项双重结构，结合心理实验、语言共同体协商实践，为经典逻辑辩护提供跨学科实证视角。
兰州大学薄谋教授报告主题为Mereology, Structure, and Nominalism，重新梳理集合的分体论、结构主义与唯名论路径，重构Fine风格分体论，对比Lewis的消去式结构主义，提出模态-操作-形质唯名论方案，探讨集合本体论问题的不同哲学进路。
大连民族大学王睿俊老师作报告Continuous graph homomorphisms of abelian group actions，研究Z²伯努利移位诱导的有向Schreier图连续有向染色数，证明其连续有向色数等于7；进一步对一般d≥2维交换群作用，证明可容许连续同态的有限图构成Sigma^0_1-完全集合，拓展已有相关定理。
广西民族大学杨将教授报告题目为Stone profiniteness, reticulation spectra, and profinite-completion obstructions for residuated lattices，围绕交换整剩余格建立完备拓扑理论，证明Stone-有限定理，解决剩余格框架下Grätzer型谱表示问题，给出剩余格有限完备化的内蕴判定条件，并揭示有限标签障碍现象，区分Heyting代数与一般剩余格在有限完备化性质上的本质差异。
本次数理逻辑卫星会议汇集多个方向的研究成果，参会者在报告与交流中启迪思路、凝聚共识，有力推动国内数理逻辑不同子领域之间的交叉融合，为后续的科研合作与青年人才培养打下良好基础。