報告題目：On the research progress of mathematical fuzzy logics
報告人：周紅軍
單位：陜西師范大學(xué)
報告時間：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.
報告人簡介：周紅軍，陜西師范大學(xué)數(shù)學(xué)與統(tǒng)計學(xué)院教授，博士 研究生導(dǎo)師，陜西省三秦英才特支計劃科技創(chuàng)新領(lǐng)軍人才，陜西省杰出青年基金獲得者，國家級一流課程負責(zé)人，陜西省課程思政示范課與教學(xué)團隊負責(zé)人。任中國數(shù)學(xué)會理事、陜西省數(shù)學(xué)會常務(wù)理事、中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)專委會秘書長、中國邏輯學(xué)會非經(jīng)典邏輯與計算專委會副主任兼秘書長等。主要從事序代數(shù)與邏輯、不確定性的數(shù)學(xué)理論等研究。在科學(xué)出版社出版專著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.》、《中國科學(xué)》、《數(shù)學(xué)學(xué)報》等期刊上發(fā)表論文60余篇。主持國家自然科學(xué)基金項目4項，教育部博士點基金、中國科協(xié)學(xué)風(fēng)傳承精品項目、陜西省杰出青年基金、陜西省青年科技新星計劃等省部級項目5項；主持省部級教改項目3項。獲陜西省自然科學(xué)獎二等獎(1/3)、陜西高?？萍汲晒勔坏泉?/span>(1/4)、陜西省高等教育教學(xué)成果獎二等獎(3/5) 、陜西師范大學(xué)教學(xué)成果獎特等獎(2/10)和陜西師范大學(xué)第七屆紅燭杯教學(xué)創(chuàng)新大賽一等獎。
TOP
