Quantale概念是由C.J.Mulvey于1986年在研究非交换的C-algebra的谱时引入的，其背景是给量子力学提供新的模型．对它的研究涉及到非交......

在对偶Quantale上定义了Par运算Ц，并研究了其性质。给出了单位Quantale是对偶Quantale的充要条件，在此基础上得出对偶Quantale的等......

扩充了V.M.Abrusci定义的非可换线性逻辑,使其兼容直觉逻辑、可换线性逻辑及cyclic线性逻辑,并利用提出的对偶quantale概念给出了......