应学院邀请，陕西师范大学周红军教授将为bat365官网师生作线上学术报告。
报告题目：The law of importation in mathematical fuzzy logic: some progress and further studies
报告摘要：In this talk we will provide first a short overview on the centenary developments of mathematical fuzzy logics. As seen from the overview, mathematical fuzzy logics have gained substantial achievements, but most fuzzy logical systems are established based on the law of residuation (x & y ≤ z if and only if x≤y→ z, LR for short) between fuzzy conjunctions and fuzzy implications. The law of importation (LI, for short) x→(y→ z)=(x &y)→ z, which is much more general than (LR), is a new hot and difficult topic in mathematical fuzzy logics in recent decade. In the second part of this talk we will provide some progress on the solving of the functional equation (LI), where we will elaborate on the Massanet-Torrens’s (N, U)-implication solutions and two types of generator generated implication solutions proposed recently by the speaker. As applications of (LI) in approximate reasoning, we will propose two new kinds of triple I methods based on our generator generated implications and associated t-norms to solve the generalized modus ponens problem in approximate reasoning. Finally, we will outline some further studies on this topic including the algebraic structures of importation algebras which can serve as an algebraic axiomatization of (LI).
报告时间：2021年12月9日下午3:00
报告地点：腾讯会议(会议号:656 929 575)
邀 请 人：乔军胜 副教授
届时欢迎广大师生参与交流！
【报告人简介】
周红军，博士，教授，博士生导师，陕西师范大学bat365在线平台官网登录副院长，毕业于陕西师范大学，美国Vanderbilt大学公派博士后。研究领域为序代数与逻辑、不确定性的数学理论等。目前主持国家自然科学基金面上项目1项。主持完成国家自然科学基金面上项目2项以及国家自然科学基金青年项目、教育部博士点基金新教师类项目、陕西省基础研究计划项目与陕西省青年科技新星计划项目各1项。在《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.》、《中国科学》及《数学学报》等国内外学术期刊上发表论文40余篇，在科学出版社出版专著2部。入选陕西省中青年科技创新领军人才和青年科技新星计划。任模糊数学与模糊系统专委会副秘书长、非经典逻辑与计算专委会副秘书长和陕西师范大学学报(自然科学版)编委。
