格上拓扑与非经典数理逻辑
基本信息
批准号：19831040
项目类别：重点项目
资助金额：68.00
负责人：刘应明
学科分类：
依托单位：四川大学
批准年份：1998
结题年份：2003
起止时间：1999-01-01 - 2003-12-31
项目状态： 已结题
项目参与者：李中夫,罗懋康,梁基华,王国俊,应明生,徐晓泉
关键词：
格上拓扑Domain理论近似推理
结项摘要
以应用广泛的模糊性（即概念的层次性或序结构）处理为背景，注意数学三大基本结构之一序结构的作用，研究序与拓扑等结构的共同载体及相关非经典数理逻辑理论与应用问题，与计算机科学技术有密切关系。主要研究格上拓扑学中Fuzzy拓扑、Locale理论及其间关系、Domain理论及相关拓扑结构与序结构问题、近似推理的数理逻辑基础和近似推理中降维问题.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于旋量理论的数控机床几何误差分离与补偿方法研究
基于旋量理论的数控机床几何误差分离与补偿方法研究
DOI：
发表时间：2019
2
现代优化理论与应用
现代优化理论与应用
DOI：10.1360/SSM-2020-0035
发表时间：2020
3
多元化企业IT协同的维度及测量
多元化企业IT协同的维度及测量
DOI：
发表时间：2017
4
不同内填材料生态复合墙体肋格单元试验研究
不同内填材料生态复合墙体肋格单元试验研究
DOI：
发表时间：2015
5
水平地震激励下卧式储罐考虑储液晃动的简化力学模型
水平地震激励下卧式储罐考虑储液晃动的简化力学模型
DOI：10.13465/j.cnki.jvs.2020.13.019
发表时间：2020
刘应明的其他基金
批准号：19331031
批准年份：1993
资助金额：12.00
项目类别：重点项目
批准号：10826022
批准年份：2008
资助金额：4.00
项目类别：数学天元基金项目
批准号：19331030
批准年份：1993
资助金额：16.00
项目类别：重点项目
批准号：18971060
批准年份：1989
资助金额：1.30
项目类别：面上项目
批准号：10126035
批准年份：2001
资助金额：150.00
项目类别：数学天元基金项目
相似国自然基金
1
格上拓扑学
批准号：19331031
批准年份：1993
负责人：刘应明
学科分类：A0112
资助金额：12.00
项目类别：重点项目
2
格上非可加格值测度
批准号：19341005
批准年份：1993
负责人：张广全
学科分类：A0302
资助金额：1.80
项目类别：专项基金项目
3
连续格理论与格上拓扑学
批准号：19171074
批准年份：1991
负责人：王戈平
学科分类：A0112
资助金额：1.00
项目类别：面上项目
4
数理逻辑（非经典）在知识工程中的应用
批准号：19861002
批准年份：1998
负责人：张明义
学科分类：A0101
资助金额：7.50
项目类别：地区科学基金项目