序、拓扑及形式语义学的数学基础
基本信息
批准号：10331010
项目类别：重点项目
资助金额：95.00
负责人：罗懋康
学科分类：
依托单位：四川大学
批准年份：2003
结题年份：2007
起止时间：2004-01-01 - 2007-12-31
项目状态： 已结题
项目参与者：梁基华,王国俊,徐晓泉,贺伟
关键词：
近似推理Locale序Domain拓扑
结项摘要
研究Locale、Fuzzy拓扑等序结构与拓扑结构的共同载体并从格上拓扑统一观点研讨其拓扑结构的深层次关系；研究具重要意义的连续型完备格关系表示问题，给出相关应用；代数化表示和处理拓扑学中若干重要性质；构造性建立经典拓扑学中选择公理等价定理的对应结果，在广义Grothendieck topos上重建连续函数环理论；在Locale上系统研究环、模结构，使交换代数理论通过Locale与直觉逻辑，拓扑学
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
SPOP suppresses pancreatic cancer progression by promoting the degradation of NANOG
SPOP suppresses pancreatic cancer progression by promoting the degradation of NANOG
DOI：10.1038/s41419-019-2017-z
发表时间：2019
2
A Fast Algorithm for Computing Dominance Classes
A Fast Algorithm for Computing Dominance Classes
DOI：
发表时间：2016
3
基于虚拟变量的六相永磁同步电机缺任意 两相容错型直接转矩控制
基于虚拟变量的六相永磁同步电机缺任意 两相容错型直接转矩控制
DOI：10.13334/j.0258-8013.pcsee.2016.01.025
发表时间：2016
4
Modeling of frequency-domain elastic-wave equation with a general optimal scheme
Modeling of frequency-domain elastic-wave equation with a general optimal scheme
DOI：10.1016/j.jappgeo.2018.07.014
发表时间：2018
5
基于变位移约束的结构材料优化设计
基于变位移约束的结构材料优化设计
DOI：10.11776/cjam.33.06.D027
发表时间：2016
罗懋康的其他基金
批准号：11171238
批准年份：2011
资助金额：46.00
项目类别：面上项目
批准号：10731050
批准年份：2007
资助金额：125.00
项目类别：重点项目
相似国自然基金
1
形式语义学中的序结构和逻辑结构
批准号：69873034
批准年份：1998
负责人：陈仪香
学科分类：F0203
资助金额：8.00
项目类别：面上项目
2
强耦合量子液体中的拓扑序和量子序
批准号：11074140
批准年份：2010
负责人：文小刚
学科分类：A2009
资助金额：38.00
项目类别：面上项目
3
拓扑序的量子相变和量子调控
批准号：10874017
批准年份：2008
负责人：寇谡鹏
学科分类：A2009
资助金额：29.00
项目类别：面上项目
4
S*-双连续偏序集的B-拓扑性质、拓扑表示及笛卡尔闭性质研究
批准号：11901194
批准年份：2019
负责人：孙涛
学科分类：A0602
资助金额：24.00
项目类别：青年科学基金项目