对合Quantale

讨论了对合Quantale上对合运算使其元素所具备的特殊性质,给出若干对合Quantale例子．然后定义了子对合Quantale,并对它们的同态进行了研究．     

Quantale上的预余核及其性质

给出了Quantale预余核的定义,并在此基础上讨论了预余核的一些性质,以及预余核与子Quantale的关系,并讨论了它与Galois联络的关系和性质,进一步说明了预余Quantale的应用.     

Quantale矩阵的广义逆

给出了Quantale矩阵广义逆的定叉,并对Quantale矩阵的广义逆进行了较为系统的研究,得到了Quantale矩阵的广义逆存在的若干条件.     

预余Quantale态射及其性质

给出了预余Quantale态射的概念,证明了预余Quantale中的特殊元在预余Quantale态射的左伴随下不变的性质,找到了预余Quantale中态射与蕴含运算的关系,得到了预余Quantale上的一个开映射是预余Quantale态射的充要条件.     

对合Quantale的一个定理

本文给出了〈〈-＆对合Quantale的概念,并给出了它的几个命题,最后得出了〈〈-＆对合Quantale上的一个重要定理．     

Girard Quantale中的算子

讨论了Girard Quantale的内部结构,研究了Girard Quantale中各种运算的若干性质和它们之间的相互关系,证明了Girard Quantale中六个二元运算中的任何一个结合一元算子⊥均可以完全刻画剩余的五个二元运算.     

Quantale上的Boolean子代数

给出了单位Quantale上的Boolean子代数的概念,并讨论了Boolean子代数若干性质;同时介绍了左（右）保持元和左（右）零化子,并研究了最小左保持与最大左零化子限制在完备Boolean子代数上两者之间的关系.     

Q-fuzzy序若干性质的研究

引入了Q-fuzzy序的概念,研究了Q-fuzzy序与Q-fuzzy覆盖之间的关系,验证了任意非空集合上的所有Q-fuzzy关系的全体构成Quantale.在Q-fuzzy关系基础上,给出了Q-fuzzy等价关系的定义,证明了当赋值域为Frame时,任意非空集上的Q-fuzzy等价关系的截集恰为其上的等价关系.     

双Quantale模范畴的余完备性

在对双Quantale模基本性质研究的基础上,讨论了双Quantale模范畴中的余极限,给出了余极限的基本结构,证明了双Quantale模范畴的余完备性,这是对已有双Quantale模范畴性质的完备和补充.     

让作文立意深远些

给出了Quantale中(左，右)理想的概念，讨论了Quantale中任意子集生成的(左，右)理想的具体结构，研究了Quantale中的理想与它的格意义下理想之间的关系，得到了当Q是可换Quantale时，Id(Q)中元是幂等的充要条件。