模糊并代数相关论文
与线性逻辑和理论计算机科学紧密联系的Quantale理论产生于上世纪80年代.由于其具有丰富的代数与序结构,因此它不仅受到逻辑学家和......
产生于上个世纪70年代初的Domain理论和80年代的Quantale理论是格上拓扑学的两个重要分支,它们各自独立发展,但从共同的数学基础来......