拓扑的逻辑构造及其应用

以逻辑的构造性为基础，利用生成元和关系来构造各种拓扑和广义拓扑。利用此种方法，拟完成ＫＬＯＣＡＬＥ范畴的定义及其函数空间的构造，奠定构造性同伦论之基础；完成具有分散，终止和内部作用的各种观察等价的进程语义，确定并发进程模型中合理的观察等价概念，寻求研究拓扑空间的合理的紧性定义，完成模糊拓扑空间范畴函数空间结构及紧化理论。