报告题目：Algebraizability of t-norm based fuzzy logics

报告人：王军涛 西安石油大学

邀请人：何星星

报告时间：2025年12月17日晚上19:00

报告地点：腾讯会议：246-969-265

摘要：T-norm based fuzzy logic is a [0,1]-valued propositional logical system having a t-norm and its residuum as truth function for conjunction and implication. Algebraizability establishes a strong link between a logic and a class of algebras, allowing logical problems to be studied by algebraic means.

In this talk, we will focus on the equivalent algebraic semantics of these systems, specifically addressing the question of their algebraizability in the sense of Blok and Pigozzi. Moreover, we will explore the extension of these systems with monadic operators. In particular, we will discuss whether and how such monadic expansions preserve algebraizability, and highlight some of the related algebraic challenges and recent results in this evolving area of study.

报告人介绍：王军涛，博士，副教授，硕士研究生导师。2018年毕业于西北大学做爱直播 ，获博士学位，同年进入西安石油大学理做爱直播 工作。主要从事代数逻辑、非经典数理逻辑及不确定性推理的研究工作。近年来先后在国外权威期刊《Review of Symbolic Logic》《Studia Logica》 《Archive for Mathematical Logic》《Journal of Logic and Computation》《Journal of Multiple Valued Logic and Soft Computing》《Algebra Universalis》《Fuzzy Sets and Systems》和国内高水平期刊《Frontiers of Mathematics in China》《电子学报》以及《逻辑学研究》等发表学术论文30余篇，在科学出版社等出版专著2部，所取得研究成果曾获陕西高校科学技术研究优秀成果二等奖，主持国家自然科学基金项目1项，教育部人文社科等省部级科研项目3项。兼任中国逻辑学会逻辑与计算专业委员会委员，SCI期刊《Logic Journal of the IGPL》《Mathematical Logic Quarterly》和EI/ESCI期刊《Journal of Applied Logic》领域编辑。