非经典序结构理论中在拓扑、逻辑和概念格中的应用
基本信息
批准号：10926044
项目类别：数学天元基金项目
资助金额：3.00
负责人：赖洪亮
学科分类：
依托单位：四川大学
批准年份：2009
结题年份：2010
起止时间：2010-01-01 - 2010-12-31
项目状态： 已结题
项目参与者：
关键词：
概念格强化范畴序结构拓扑
结项摘要
序结构本身是一种特殊的范畴结构，并且序结构理论中的主要基本概念都可以用范畴的语言描述。从而范畴的思想和方法为非经典序结构理论的研究提供了有力的工具。本课题主要用范畴的思想和方法，讨论直觉主义逻辑和多值逻辑下的序结构理论在拓扑学和概念格的基础理论方面的应用
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于被动变阻尼装置高层结构风振控制效果对比分析
基于被动变阻尼装置高层结构风振控制效果对比分析
DOI：10.13197/j.eeev.2019.05.95.fuwq.009
发表时间：2019
2
基于综合治理和水文模型的广西县域石漠化小流域区划研究
基于综合治理和水文模型的广西县域石漠化小流域区划研究
DOI：10.14050/j.cnki.1672-9250.2017.02.014
发表时间：2017
3
基于改进LinkNet的寒旱区遥感图像河流识别方法
基于改进LinkNet的寒旱区遥感图像河流识别方法
DOI：10.6041/j.issn.1000-1298.2022.07.022
发表时间：2022
4
血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展
血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展
DOI：10.13191/j.chj.2017.0028
发表时间：2016
5
基于SSR 的西南地区野生菰资源 遗传多样性及遗传结构分析
基于SSR 的西南地区野生菰资源 遗传多样性及遗传结构分析
DOI：
发表时间：2017
赖洪亮的其他基金
批准号：11101297
批准年份：2011
资助金额：22.00
项目类别：青年科学基金项目
批准号：11771310
批准年份：2017
资助金额：48.00
项目类别：面上项目
相似国自然基金
1
序拓扑结构及其在Domain理论中的应用
批准号：11871353
批准年份：2018
负责人：寇辉
学科分类：A0112
资助金额：53.00
项目类别：面上项目
2
格上拓扑与非经典数理逻辑
批准号：19831040
批准年份：1998
负责人：刘应明
学科分类：A0112
资助金额：68.00
项目类别：重点项目
3
模糊集理论中拓扑，序，与逻辑结构之间的相互关系
批准号：11071174
批准年份：2010
负责人：张德学
学科分类：A0112
资助金额：24.00
项目类别：面上项目
4
模糊概念格理论及在信息科学中的应用
批准号：10771056
批准年份：2007
负责人：李庆国
学科分类：A0602
资助金额：25.00
项目类别：面上项目