題 目：On the embedding of quantum B-algebras

報告人：韓勝偉教授（陜西師范大學(xué)）

報告時間：2021年4月25日10:30

報告地點：3401教室

摘要：Quantum B-algebras can be seen as implicational subreducts of quantales，which provide a unified semantics for non-commutative algebraic logic. Many concepts and results for quantales can survive in the framework of quantum B-algebras. As we all know, every quantale can be embedded into a unital quantale. However, this result for quantales cannot be generalized to quantum B-algebras. In this lecture, we shall mainly consider the embedding of quantum B-algebras into unital quantum B-algebras.

專家簡介：韓勝偉，男，陜西師范大學(xué)教授，碩士生導(dǎo)師。2008年畢業(yè)于陜西師范大學(xué)獲得博士學(xué)位，2010年和2014年分別在在清華大學(xué)數(shù)學(xué)系和美國丹佛大學(xué)數(shù)學(xué)系做訪問學(xué)者。美國數(shù)學(xué)會《數(shù)學(xué)評論》評論員、中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)分會理事、非經(jīng)典邏輯與計算專委會理事、陜西省工業(yè)與應(yīng)用數(shù)學(xué)學(xué)會理事。主持完成一項國家自然科學(xué)基金青年項目和一項陜西省自然科學(xué)基金面上項目，參與完成一項國家自然科學(xué)基金重點項目。目前正在主持一項國家自然科學(xué)基金面上項目。研究興趣為序代數(shù)、邏輯代數(shù)和不確定理論。 在《Applied Categorical Structures》、《Theory and Applications of Categories》、《Studia Logica》、《Semigroup Forum》、《Algebra Universalis》、《Journal of Algebra and Its Applications》、《International Journal of Theoretical Physics》、《Fuzzy Sets and Systems》、《Information Sciences》、《Iranian Journal of Fuzzy Systems》、《Journal of Intelligent & Fuzzy Systems》、《數(shù)學(xué)學(xué)報》等國內(nèi)外期刊發(fā)表SCI論文30余篇，2016年在科學(xué)出版社出版學(xué)術(shù)專著1部。