位置：立项数据库 > 立项详情页
格上拓扑与非经典数理逻辑
  • 项目名称：格上拓扑与非经典数理逻辑
  • 项目类别：重点项目
  • 批准号：19831040
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：刘应明
  • 依托单位：四川大学
  • 批准年度：1998
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 6
  • 0
  • 0
  • 0
  • 0
期刊论文
关于Lowen空间指数对象的一点注记
拟Z-连续domain和Z-交连续domain
R0代数的Fuzzy MP滤子
Urysohn引理与弧连通完全分配格
映射与逆映射
关于FS—Domain的Plotkin幂—Domain
刘应明的项目
第九届国际模糊系统安全（IESA）世界大会
西部教师培训
中学生数学夏令营
数学天元基金Ⅲ
LOCALE理论与FUZZY拓扑学
西部高校教师培训（数学类）
第四届亚洲模糊系统会
模糊数学与系统国际学术研讨会资助申请
格上拓扑学
点集拓扑的几个新方向
　从范畴论的观点看多值逻辑意义下的拓扑结构与相关格序理论
购置原版杂志及办数学家服务