自Mulvey提出Quantale的概念以来,Quantale理论的研究和应用得到了很大的发展,其思想和方法对数学、逻辑以及理论计算机科学的若干......

自Mulvey 1984年提出Quantale的概念以来,Quantale理论已受到了数学家和逻辑学家的广泛关注.基于Quantale中的逻辑蕴含算子→和(?)......

量子B-代数是一种非可换的逻辑代数,它可以看作是Quantale的一种推广.量子B-代数包含了多种蕴含代数,其中偏序群就是一种特殊的量......