Quantale是由C.J.Mulvey在1986年研究非交换的C*-algebra时首先引入的,其目的在于给量子力学提供新的数学模型.由于它在环的理想理......

自1990年D.Yetter给出Girard提出的作为理论计算机科学逻辑支持系统的线性逻辑与Quantale理论之间的密切关系起,Quantale理论的研......

作为研究量子力学的两个重要的代数系统,正交模格与Quantale虽然具有一些相同的性质,但又有所不同.1991年,Roman和Rumbos构造了一......

　　系统研究了Quantic格范畴。证明了Quantic格范畴有等子、余等子。给出了Quantic格范畴中的极限和逆极限结构，从而说明了Quantic......

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

研究了Quantic格的内部运算,证明了Quantic格中的二元运算＆amp;满足结合律的充分必要条件是对任意的a、b、c∈Q,均有a＆b→c=a→（b→c）.......

为了给量子力学建立新的数学模型，C．J．Mulvey在1986年研究非可换C*-代数的谱理论时，首次提出用一种非可换的二元运算＆来代替拓扑空间开......