Girard quantales是研究计算机科学的线性逻辑的有力工具。它为线性命题公式提供了理论基础；特别是Girard quantales中的“ ”运算，......

讨论了左Quantale模的余核映射及其相应性质,并给出了子Quantale模与Quantale模的余核映射之间的一一对应,最后讨论了Quantale上的......

给出了Quantale的理想的概念，讨论了Quantale的由任意子集生成的理想的具体结构，讨论了由理想生成的同余，得到了Quantale的理想的若干......

研究了代数余核的某些性质，同时亦探讨了代数余核与子Quantales之间的联系．...

在Quantales模中引入了双Quantales模双同态的概念，在完备格张量积的基础上，得到了双Quantales模张量积的具体形式，讨论了Quantales模......