Quantale模的概念是由Abramsky和Vickers在1993年提出,其背景在于给运算语义学,指称语义学,公理语义学等提供新的数学模型Quantale......

Quantale概念是由C.J.Mulvey于1986年在研究非交换的C-algebra的谱时引入的，其背景是给量子力学提供新的模型．对它的研究涉及到非交......

Quantale概念是由C.J.Mulvey于1986年在研究非交换的C*-algebra的谱时引入的，其背景是给量子力学提供新的模型.对它的研究涉及......

研究左Q-模余核映射的相关性质,给出左Q-模上一个映射是余核映射的等式刻画；讨论Dual双模,Girard双模与对合左Q模的关系,并分别给出......