报告题目：On the research progress of mathematical fuzzy logics

报告人：周红军

单位：陕西师范大学

报告时间：2024年7月14日(周日)上午09:30-10:15

报告地点：翡翠科教楼A座二楼报告厅

报告摘要：In this talk we will provide first an overview on the  centenary developments of mathematical fuzzy logics from several perspectives including three development stages, three research levels, three axiomatic methods, three logical languages and some applications. Then we list some new research directions of mathematical fuzzy logics such as weakly implicative logics, subresiduated logics, quantum B-algebras, importation algebras and residuated bimonoids. Finally, we will report some our works on solving and applications of the laws of importation and migrativity between fuzzy logical connectives towards establishing new types of mathematical fuzzy logics.

报告人简介：周红军，陕西师范大学数学与统计学院教授，博士 研究生导师，陕西省三秦英才特支计划科技创新领军人才，陕西省杰出青年基金获得者，国家级一流课程负责人，陕西省课程思政示范课与教学团队负责人。任中国数学会理事、陕西省数学会常务理事、中国系统工程学会模糊数学与模糊系统专委会秘书长、中国逻辑学会非经典逻辑与计算专委会副主任兼秘书长等。主要从事序代数与逻辑、不确定性的数学理论等研究。在科学出版社出版专著2部，在《Ann. Pure Appl. Logic》、《Arch. Math. Logic》、《J. Mult.-Valued Logic & Soft Comput.》、《IEEE Trans. Fuzzy Syst.》、《Fuzzy Sets Syst.》、《Intern. J. Approx. Reason.》、《Inform. Sci.》、《中国科学》、《数学学报》等期刊上发表论文60余篇。主持国家自然科学基金项目4项，教育部博士点基金、中国科协学风传承精品项目、陕西省杰出青年基金、陕西省青年科技新星计划等省部级项目5项；主持省部级教改项目3项。获陕西省自然科学奖二等奖(1/3)、陕西高校科技成果奖一等奖(1/4)、陕西省高等教育教学成果奖二等奖(3/5) 、陕西师范大学教学成果奖特等奖(2/10)和陕西师范大学第七届红烛杯教学创新大赛一等奖。