Quantale矩阵的合成

给出Q uan tale矩阵的几类合成运算,并且讨论了合成运算的一系列好的性质。     

对合Quantale同余关系

给出对合Quantale同余的概念,得到了对合Quantale同余的一些性质,讨论了对合Quantale同余与同态之间的关系,最后给出了对合Quantale乘积上的同余关系的结构。     

Quantale与互模拟的进程语义

以特定的观察为生成元构造了互模拟quantaleQ_B,而将进程作为此quantale上的模的组成成分,由此给出了互模拟的三个完备性准则,回答了AbrasmkyS与VickersS．提出的公开问题（1993）,完备了他们利用quantale统一处理进程语义的方法．     

Quantale矩阵的广义逆及其正定性

给出Quantale矩阵{1}-广义逆的一种刻划以及存在的条件,给出Quantale矩阵M-P广义逆的定义,讨论Quantale矩阵M-P广义逆的若干性质,得到Quantale矩阵M-P广义逆的具体形式.引入Quantale矩阵正定性的概念,研究交换幂等Quantale上矩阵正定的一些性质,得到交换幂等Quantale上矩阵正定的一些等价刻画.     

Quantale中的模糊滤子

在Quantale中引入模糊滤子的概念,研究了它的一系列性质,得到了若干等价刻画,讨论了Quantale中滤子和模糊滤子之间的相互确定关系,证明了Quantale态射既保模糊滤子又反射模糊滤子。给出了模糊滤子在Quantale态射下的像的具体结构。     

Quantale上的双侧核映射

引入Quantale上双侧核映射的概念,研究双侧核映射的若干性质,证明一个核映射是局部核映射当且仅当它是双侧的、幂等的.     

广义L模糊Quantale

引入了一类广义的L模糊Quantale,即(∈,∈∨q)-L模糊Quantale的定义,研究了其性质,利用它对经典子Quantale进行了等价刻画,证明了它的其中一种特殊情形就是L模糊Quantale。     

Quantah的连通性

The concepts of connectedness and locally connectedness is introduced for right-side idempotent quantales. Some properties of connected quantale are studied, and then the equivalent characterization of connected quantale is also given.     

Quantale的理想及由理想生成的同余

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