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

1986年，C.J.Mulvey在研究非交换的C*-代数的谱时首先引入了Quantale的概念.从此，Quantale理论受到了数学家和逻辑学家的关注，1992年C.......

自从C.J.Mulvey于1986年提出Quantale概念以来，Quantale理论受到了数学家和逻辑学家的关注.基于Quantale和C＃-代数的基本理论，C.J.Mul......