预Girard相关论文
引入了Quantale上Ⅰ型结构和弱子结构的概念,讨论了Ⅰ型结构和弱子结构与映射之间的对应关系,利用Quantale上的×、∨和∧等运......
研究了预Girard quantale的性质以及在预Girard quantale上核映射与余核映射之间的关系，简化了理想余核的定义，讨论了理想余核的一些......
