报告题目：多值逻辑代数中基于Glivenko定理的态理论
报告人：贺鹏飞 陕西师范大学
邀请人：何星星
报告时间：2025年12月17日（周三）晚上19:00
报告地点：腾讯会议：246-969-265
摘要：将处理随机性的概率理论引入到描述模糊性的模糊逻辑中，从而建立能更加有效地处理不确定性的逻辑推理机制，这是非经典逻辑研究的热点问题之一。本报告概述概率论与模糊逻辑交叉形成的概率逻辑的三个既区别又联系的重要分支：一是模态形式化方法建立的模糊概率逻辑；二是从语义积分角度建立的计量逻辑；三是代数公理化方法建立的态理论。重点从 D. Mundici 引入的MV-代数上的态入手，介绍有界Semihoops中Glivenko定理的代数形式，给出Glivenko Semihoop簇中自由代数的表示，论述Glivenko Semihoops上的态和MV-代数上态的联系，最终给出Glivenko Semihoops中存在态的充分必要条件。
报告人介绍：贺鹏飞，陕西师范大学数学与统计做爱直播
教授，博士生导师。2015 年博士毕业于西北大学，2018年8月‐2019年8月在美国范德堡大学跟随Constantine Tsinakis教授做访问学者。现担任美国《数学评论》评论员、中国逻辑学会非经典逻辑与计算专委会委员、中国人工智能学会人工智能基础专委会委员、中国人工智能学会人工智能逻辑专委会副秘书长。研究方向：序代数、逻辑代数和非经典逻辑。 近年来在《Archive for Mathematical Logic》《IEEE Transactions on Fuzzy Systems》《Fuzzy Sets and Systems》《Studia Logica》、《The Review of Symbolic Logic》和《Frontiers of Mathematics in China》等国内外期刊发表论文20余篇。主持在研国家自然科学基金面上项目1项，参与在研国家自然科学基金重点项目1项，主持完成国家自然科学基金青年项目和陕西省自然科学基础研究计划项目各1项。获陕西师范大学第九届青年教师教学基本功大赛理科组一等奖、第三届全国高校数学微课程教学设计竞赛西北赛区特等奖、国家二等奖，获陕西省高等教育教学成果奖二等奖，获陕西高等学校科学研究优秀成果奖特等奖和二等奖各一项。
