内射壳相关论文
与线性逻辑和理论计算机科学紧密联系的Quantale理论产生于上世纪80年代.由于其具有丰富的代数与序结构,因此它不仅受到逻辑学家和......
Quantale作为特殊的序半群,是在1986年由C.J.Mulvey提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量子力学提供新的......
认为S的每个元素都诱导了S-系上的一个一元运算，因此S-系是有限代数，泛代数中的所有概念都是适用的．定义了S-系的可半格化子集和S-系......
用模糊化方法,考虑模糊S-偏序集的E≤-内射对象和E≤-内射壳问题,证明了模糊S-偏序集范畴中的E≤-内射对象恰是模糊S-quantale,并......
