论文部分内容阅读
引入了Quantale上Ⅰ型结构和弱子结构的概念,讨论了Ⅰ型结构和弱子结构与映射之间的对应关系,利用Quantale上的×、∨和∧等运算,分别给出了Quantale上的一个非空子集是Ⅰ型结构和弱子结构的充要条件,证明了在预Girard Quantale上Ⅰ型核映射与Ⅰ型理想余核之间是一一对应关系.