模糊逻辑形式系统的构造、判定及定理证明算法研究
基本信息
批准号：60663002
项目类别：地区科学基金项目
资助金额：7.00
负责人：王三民
学科分类：
依托单位：南昌大学
批准年份：2006
结题年份：2007
起止时间：2007-01-01 - 2007-12-31
项目状态： 已结题
项目参与者：王命延,覃锋,江顺亮,周明建,L·Godo
关键词：
形式系统定理证明算法模糊逻辑线性逻辑可判定性
结项摘要
本项目的研究内容包括：基于左连续三角模的剩余格上的模糊逻辑形式系统MTL的判定问题及算法复杂性分析；运用柯里-霍华德同构理论研究适于MTL的定理证明算法并开发出相应软件；借助所开发的软件对MTL及其扩张展开研究，包括构造新的扩张系统，简化有关系统的公理以及解决有关的一些公开问题；实现直觉主义线性逻辑的蕴涵子逻辑BCI中定理证明算法并构造出BCI上的最小模糊逻辑系统FBCI。这些都属于当前国际上模糊
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
EBPR工艺运行效果的主要影响因素及研究现状
EBPR工艺运行效果的主要影响因素及研究现状
DOI：10.16796/j.cnki.1000-3770.2022.03.003
发表时间：2022
2
基于铁路客流分配的旅客列车开行方案调整方法
基于铁路客流分配的旅客列车开行方案调整方法
DOI：
发表时间：2021
3
多能耦合三相不平衡主动配电网与输电网交互随机模糊潮流方法
多能耦合三相不平衡主动配电网与输电网交互随机模糊潮流方法
DOI：10.13334/j.0258-8013.pcsee.190276
发表时间：2020
4
复杂系统科学研究进展
复杂系统科学研究进展
DOI：10.12202/j.0476-0301.2022178
发表时间：2022
5
带有滑动摩擦摆支座的500 kV变压器地震响应
带有滑动摩擦摆支座的500 kV变压器地震响应
DOI：10.13336/j.1003-6520.hve.20200528028
发表时间：2021
王三民的其他基金
批准号：61379018
批准年份：2013
资助金额：58.00
项目类别：面上项目
批准号：51175422
批准年份：2011
资助金额：62.00
项目类别：面上项目
批准号：50875210
批准年份：2008
资助金额：33.00
项目类别：面上项目
批准号：60863002
批准年份：2008
资助金额：16.00
项目类别：地区科学基金项目
相似国自然基金
1
高阶逻辑定理证明技术
批准号：69673007
批准年份：1996
负责人：陆汝占
学科分类：F0201
资助金额：6.00
项目类别：面上项目
2
模糊逻辑证明论、量词理论及蕴涵算子的构造问题研究
批准号：60863002
批准年份：2008
负责人：王三民
学科分类：F0201
资助金额：16.00
项目类别：地区科学基金项目
3
非可换逻辑证明论与模糊推理算法研究
批准号：61273018
批准年份：2012
负责人：罗敏霞
学科分类：F0601
资助金额：60.00
项目类别：面上项目
4
基于tableau的非经典逻辑经典化的自动定理证明研究
批准号：60873116
批准年份：2008
负责人：刘全
学科分类：F0201
资助金额：35.00
项目类别：面上项目