题 目：On the embedding of quantum B-algebras
报告人：韩胜伟教授（陕西师范大学）
报告时间：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.
专家简介：韩胜伟，男，陕西师范大学教授，硕士生导师。2008年毕业于陕西师范大学获得博士学位，2010年和2014年分别在在清华大学数学系和美国丹佛大学数学系做访问学者。美国数学会《数学评论》评论员、中国系统工程学会模糊数学与模糊系统分会理事、非经典逻辑与计算专委会理事、陕西省工业与应用数学学会理事。主持完成一项国家自然科学基金青年项目和一项陕西省自然科学基金面上项目，参与完成一项国家自然科学基金重点项目。目前正在主持一项国家自然科学基金面上项目。研究兴趣为序代数、逻辑代数和不确定理论。 在《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》、《数学学报》等国内外期刊发表SCI论文30余篇，2016年在科学出版社出版学术专著1部。