课题基金 / 基金详情

格上拓扑与非经典数理逻辑

批准号：
19831040
项目类别：
重点项目
资助金额：
68.0 万元
负责人：
刘应明
依托单位：
四川大学
学科分类：
一般拓扑学
结题年份：
2003
批准年份：
1998
项目状态：
已结题
项目参与者：
李中夫、罗懋康、梁基华、王国俊、应明生、徐晓泉
关键词：
格上拓扑.Domain理论.近似推理

项目摘要

结项摘要

刘应明的其他基金

相似基金

相关文献

中文摘要
以应用广泛的模糊性（即概念的层次性或序结构）处理为背景，注意数学三大基本结构之一序结构的作用，研究序与拓扑等结构的共同载体及相关非经典数理逻辑理论与应用问题，与计算机科学技术有密切关系。主要研究格上拓扑学中Fuzzy拓扑、Locale理论及其间关系、Domain理论及相关拓扑结构与序结构问题、近似推理的数理逻辑基础和近似推理中降维问题.
英文摘要
模糊数学与系统国际学术研讨会资助申请
  • 批准号：
    10826022
  • 项目类别：
    数学天元基金项目
  • 资助金额：
    4.0万元
  • 批准年份：
    2008
  • 负责人：
    刘应明
  • 依托单位：
    四川大学
数学天元基金Ⅲ
  • 批准号：
    10126035
  • 项目类别：
    数学天元基金项目
  • 资助金额：
    150.0万元
  • 批准年份：
    2001
  • 负责人：
    刘应明
  • 依托单位：
    四川大学
格上拓扑学
  • 批准号：
    19331031
  • 项目类别：
    重点项目
  • 资助金额：
    12.0万元
  • 批准年份：
    1993
  • 负责人：
    刘应明
  • 依托单位：
    四川大学
点集拓扑的几个新方向
  • 批准号：
    19331030
  • 项目类别：
    重点项目
  • 资助金额：
    16.0万元
  • 批准年份：
    1993
  • 负责人：
    刘应明
  • 依托单位：
    四川大学
国内基金
海外基金