摘要
本文给出了基于非经典逻辑的拓扑的一个统一的框架,综述了作者及其合作者近年来在此课题上所取得的一系列结果,指出了这些结果在其它一些课题中的应用及进一步的发展方向.
: In this paper,we present a uniform framework for topology based on non-classicallogics,summarize a series of our works on this topic,show some of their applications to other sub-jects and point out some directions for further studies.
出处
《江西师范大学学报(自然科学版)》
CAS
1995年第1期1-11,共11页
Journal of Jiangxi Normal University(Natural Science Edition)
基金
This Research Has Been Supported by National Foundation of NaturaI Sciences of China
Tianyuan Foundation of MaThematics
关键词
非经典逻辑
拓扑学
不分明集论
线性逻辑
: non-classical logic, topology, fuzzy set theory, Boolean and Heyting valued anal-ysis, linear logic,topological model theory