期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
6元非链的R_0-代数的构造
1
作者
朱怡权
《内蒙古大学学报(自然科学版)》
CAS
CSCD
北大核心
2006年第1期1-4,共4页
证明了非链的有限R0-代数至少含有两个不同的对偶原子;在同构的意义下,非链的6元R0-代数有且仅有一个,并具体给出了它的构造,即一个2值的和一个3值的Lukas iew icz蕴涵代数的直积.
关键词
r
0-代数
r
0-
链
原子
对偶原子
下载PDF
职称材料
一个新的模糊谓词演算形式系统
被引量:
10
2
作者
裴道武
姜慧
《东北师大学报(自然科学版)》
CAS
CSCD
北大核心
2003年第1期23-30,共8页
首先,在模糊逻辑命题演算形式系统L 的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K ,基于R0代数的基本理论,给出了系统K 的若干语义概念,包括M-解释I,I-赋值,公式的值,真,M-逻辑有效性等,从而形成了模糊谓词演算一种新的语...
首先,在模糊逻辑命题演算形式系统L 的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K ,基于R0代数的基本理论,给出了系统K 的若干语义概念,包括M-解释I,I-赋值,公式的值,真,M-逻辑有效性等,从而形成了模糊谓词演算一种新的语构与语义体系.其次,研究了系统K 的基本性质,指出了系统L 的定理都是系统K 的定理,给出了系统K 与量词有关的一些重要定理,证明了系统L 的重言式在系统K 中的代换实例都是系统K 中关于任何R0链的逻辑有效公式;系统K 的可靠性定理成立,即系统K 中的定理关于任何R0链也是逻辑有效的;系统K 的强可靠性定理也成立,即系统K 在任何理论T下的定理关于任何R0链也是逻辑有效的.最后给出并证明了系统K 的一种新的演绎定理,一阶系统K 及其重要的性质,为模糊推理提供了一种更为合理的逻辑框架.
展开更多
关键词
模糊逻辑
模糊谓词演算
一阶形式系统
r
0代数
r0链
模糊推理
下载PDF
职称材料
题名
6元非链的R_0-代数的构造
1
作者
朱怡权
机构
肇庆学院数学系
出处
《内蒙古大学学报(自然科学版)》
CAS
CSCD
北大核心
2006年第1期1-4,共4页
基金
广东省自然科学研究(资助)项目(02017)
广东省教育厅自然科学研究基金资助项目(01B43002)
文摘
证明了非链的有限R0-代数至少含有两个不同的对偶原子;在同构的意义下,非链的6元R0-代数有且仅有一个,并具体给出了它的构造,即一个2值的和一个3值的Lukas iew icz蕴涵代数的直积.
关键词
r
0-代数
r
0-
链
原子
对偶原子
Keywords
r
0-algeb
r
a
r
0-chain
atom
dual atom
分类号
O141.1 [理学—基础数学]
下载PDF
职称材料
题名
一个新的模糊谓词演算形式系统
被引量:
10
2
作者
裴道武
姜慧
机构
盐城师范学院数学系
长春市教育学院数学系
出处
《东北师大学报(自然科学版)》
CAS
CSCD
北大核心
2003年第1期23-30,共8页
基金
江苏省自然科学基金资助项目(01JD11007)
文摘
首先,在模糊逻辑命题演算形式系统L 的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K ,基于R0代数的基本理论,给出了系统K 的若干语义概念,包括M-解释I,I-赋值,公式的值,真,M-逻辑有效性等,从而形成了模糊谓词演算一种新的语构与语义体系.其次,研究了系统K 的基本性质,指出了系统L 的定理都是系统K 的定理,给出了系统K 与量词有关的一些重要定理,证明了系统L 的重言式在系统K 中的代换实例都是系统K 中关于任何R0链的逻辑有效公式;系统K 的可靠性定理成立,即系统K 中的定理关于任何R0链也是逻辑有效的;系统K 的强可靠性定理也成立,即系统K 在任何理论T下的定理关于任何R0链也是逻辑有效的.最后给出并证明了系统K 的一种新的演绎定理,一阶系统K 及其重要的性质,为模糊推理提供了一种更为合理的逻辑框架.
关键词
模糊逻辑
模糊谓词演算
一阶形式系统
r
0代数
r0链
模糊推理
Keywords
fuzzy logic
fuzzy p
r
edicate calculus
fi
r
st-o
r
de
r
fo
r
mal system K~*
r
_0 algeb
r
a
r
_0 chain
分类号
O141.1 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
6元非链的R_0-代数的构造
朱怡权
《内蒙古大学学报(自然科学版)》
CAS
CSCD
北大核心
2006
0
下载PDF
职称材料
2
一个新的模糊谓词演算形式系统
裴道武
姜慧
《东北师大学报(自然科学版)》
CAS
CSCD
北大核心
2003
10
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部