題 目：On the embedding of quantum B-algebras

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

報(bào)告時(shí)間：2021年4月25日10:30

報(bào)告地點(diǎn)：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.

專家簡(jiǎn)介：韓勝偉,，男，陜西師范大學(xué)教授,，碩士生導(dǎo)師,。2008年畢業(yè)于陜西師范大學(xué)獲得博士學(xué)位,，2010年和2014年分別在在清華大學(xué)數(shù)學(xué)系和美國(guó)丹佛大學(xué)數(shù)學(xué)系做訪問(wèn)學(xué)者。美國(guó)數(shù)學(xué)會(huì)《數(shù)學(xué)評(píng)論》評(píng)論員,、中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)分會(huì)理事,、非經(jīng)典邏輯與計(jì)算專委會(huì)理事、陜西省工業(yè)與應(yīng)用數(shù)學(xué)學(xué)會(huì)理事,。主持完成一項(xiàng)國(guó)家自然科學(xué)基金青年項(xiàng)目和一項(xiàng)陜西省自然科學(xué)基金面上項(xiàng)目,，參與完成一項(xiàng)國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目。目前正在主持一項(xiàng)國(guó)家自然科學(xué)基金面上項(xiàng)目,。研究興趣為序代數(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é)報(bào)》等國(guó)內(nèi)外期刊發(fā)表SCI論文30余篇,，2016年在科學(xué)出版社出版學(xué)術(shù)專著1部,。