格上拓扑与非经典数理逻辑
基本信息
批准号：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
格雷类药物治疗冠心病疗效的网状Meta分析
格雷类药物治疗冠心病疗效的网状Meta分析
DOI：10.12092/j.issn.1009-2501.2018.03.010
发表时间：2018
2
基于余量谐波平衡的两质点动力学系统振动频率与响应分析
基于余量谐波平衡的两质点动力学系统振动频率与响应分析
DOI：10.6052/1672⁃6553⁃2017⁃059
发表时间：2018
3
地震作用下岩羊村滑坡稳定性与失稳机制研究
地震作用下岩羊村滑坡稳定性与失稳机制研究
DOI：10.16285/j.rsm.2019.1374
发表时间：2020
4
卡斯特“网络社会理论”对于人文地理学的知识贡献-基于中外引文内容的分析与对比
卡斯特“网络社会理论”对于人文地理学的知识贡献-基于中外引文内容的分析与对比
DOI：10.13249/j.cnki.sgs.2020.08.003
发表时间：2020
5
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
DOI：10.3901/jme.2020.24.219
发表时间：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
项目类别：地区科学基金项目