内射壳相关论文
与线性逻辑和理论计算机科学紧密联系的Quantale理论产生于上世纪80年代.由于其具有丰富的代数与序结构,因此它不仅受到逻辑学家和......
Quantale作为特殊的序半群,是在1986年由C.J.Mulvey提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量子力学提供新的......
