Quantic格相关论文
Quantale是由C.J.Mulvey在1986年研究非交换的C*-algebra时首先引入的,其目的在于给量子力学提供新的数学模型.由于它在环的理想理......
自1990年D.Yetter给出Girard提出的作为理论计算机科学逻辑支持系统的线性逻辑与Quantale理论之间的密切关系起,Quantale理论的研......
作为研究量子力学的两个重要的代数系统,正交模格与Quantale虽然具有一些相同的性质,但又有所不同.1991年,Roman和Rumbos构造了一......
系统研究了Quantic格范畴。证明了Quantic格范畴有等子、余等子。给出了Quantic格范畴中的极限和逆极限结构，从而说明了Quantic......
