题目: Quantale及其研究现状

时间：2018年6月1日(星期五)上午9:00-11:00

报告人：王顺钦 教授（南阳师范学院）

地点：先骕楼4-3344（数信学院三楼学术报告厅）

摘要：为了给量子力学建立新的数学模型， C.J.Mulvey在1986 年研究非可换-代数的谱理论时，首次提出用一种非可换的二元运算&来代替拓扑空间开集格中的交运算, 并称这种数学结构为Quantale. 1990 年 D.Yetter 找到了Girard 提出的作为理论计算机科学逻辑支持系统的线性逻辑与Quantale 理论之间的密切关系, 从此, Quantale 理论的研究受到了国内外众多学者的关注.在近三十年中有关Quantale 理论的大量新的观点及应用不断被揭示. 本报告主要系统介绍Quantale理论的研究方向、研究成果和研究意义.

个人简介：王顺钦，博士、教授；南阳师范学院硕士生导师；西安工程大学硕士生导师；南阳师范学院数学与统计学院院长。河南省科技厅学术技术带头人；河南省师德先进个人；河南省数学会常务理事，河南省统计学会常务理事；南阳市优秀教师；研究方向：格上拓扑学与非经典逻辑；近年来在国内外学术期刊上发表学术论文20余篇，主编教材一部。