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

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

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

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

本文首先证明了Quantale模范畴有交且是平衡范畴；其次得到了Quantale模上的核（余核）_映射与其在Quantale模范畴中的商（子）对象是一一对......

研究了Quantic格的内部结构，给出了子Quantic格和余核映射的定义，讨论了余核映射和子Quantic格之间的关系以及子Quantic格的若干性质......

研究了子Quantale的性质及其具体结构,给出了Quantale上稠密子集和基的概念,讨论了稠密子集和基之间的关系以及稠密子集和基的性质......

在Quantale理论中，子Quantale是Quantale的一个重要结构，对子Quantale的研究将有助于进一步了解Quantale的内部结构。本文利用映射的......

给出了预余Quantale同余的概念,讨论了它与预余子Quantale和余核映射之间的关系,找到了与同余相对应的子Quantale的具体结构。......