陜西師范大學周紅軍教授學術(shù)報告

報告人：周紅軍教授 陜西師范大學數(shù)學與統(tǒng)計學院

報告題目：The law of importation in mathematical fuzzy logics

報告時間：2022年12月7日（星期三）19:00-21:00

報告地點：騰訊會議：984-634-300

報告內(nèi)容簡介：

The law of importation (LI) x→(y→ z)=(x ? y)→ z between implication → and conjunction ? proves to be an important property in mathematical fuzzy logic at both sides of theory and application. One open problem repeatedly mentioned in literature in recent decades is to find all possible pairs of fuzzy implications and t-norms/uninorms satisfying (LI). In this talk we will provide first a survey on known solutions to (LI) in the literature, where we will elaborate on the Massanet-Torrens’s (N, U)-implication solutions by characterizing the compatibility between continuous fuzzy negations N and t-norms as well as uninorms U and two types of generator generated implication solutions proposed recently by the speaker. Then, as an application of (LI), 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).

報告人簡介：

周紅軍，博士，教授，博士生導(dǎo)師，畢業(yè)于陜西師范大學，美國Vanderbilt大學公派博士后。研究領(lǐng)域為序代數(shù)與邏輯、不確定性的數(shù)學理論等。主持國家自然科學基金4項，教育部博士點基金新教師類項目、陜西省基礎(chǔ)研究計劃項目、陜西省青年科技新星計劃項目、中國科協(xié)學風傳承精品項目及陜西省教育教學改革項目各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.》《中國科學》《數(shù)學學報》等國內(nèi)外學術(shù)期刊上發(fā)表論文50余篇，在科學出版社出版專著2部。獲陜西高?？萍汲晒勔欢泉劯?/span>1次。入選陜西省中青年科技創(chuàng)新領(lǐng)軍人才和青年科技新星計劃。任非經(jīng)典邏輯與計算專委會秘書長、模糊數(shù)學與模糊系統(tǒng)專委會副秘書長、陜西省數(shù)學會常務(wù)理事、陜西師范大學學術(shù)委員會學術(shù)評價專門委員會委員和陜西師大學報(自然科學版)編委。