摘要Steven Vickers将拓扑的方法与逻辑理论相结合建立了拓扑系统理论,并将这一理论应用于理论计算机科学的研究中.而产生于上个世......

Steven Vickers将拓扑的方法与逻辑理论的结果相结合于专著《Topology via Logic》,建立了拓扑系统理论,并将这一理论应用于计算机......

引入Quantale系统的概念,给出了Quantale系统的连续映射和同胚映射的定义,证明了同胚映射的逆仍为同胚映射.探讨Quantale系统的空......

利用拓扑系统和Quantale理论,先通过引入Quantale系统的子系统概念,定义Quantale系统之间的嵌入,再借助Quantale的结构,得到了Quan......