期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
强正则剩余格值逻辑系统L^N及其完备性
被引量：
14
1
作者
裴道武
《数学学报（中文版）》
SCIE
CSCD
北大核心
2002年第4期745-752,共8页
正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见...
正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.
展开更多
关键词
模糊逻辑
强
正则
剩余
格
形式系统￡^N
扩张
完备性
原文传递
关于正则剩余格与R_0^-代数的几点注记
被引量：
2
2
作者
朱怡权
《黄冈师范学院学报》
2003年第6期4-7,共4页
正则FI-代数、R0-代数、正则剩余格等代数结构都是非经典逻辑中基本而重要的"语义代数".本文中,进一步研究了它们之间的密切联系.特别地,证明了强正则剩余格与弱R0-代数是相互等价的代数结构.
关键词
正则
FI-代数
强
正则
剩余
格
弱Ro-代数
模糊逻辑
“语义代数”
下载PDF
职称材料
题名
强正则剩余格值逻辑系统L^N及其完备性
被引量：
14
1
作者
裴道武
机构
西安交通大学理学院
出处
《数学学报（中文版）》
SCIE
CSCD
北大核心
2002年第4期745-752,共8页
文摘
正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.
关键词
模糊逻辑
强
正则
剩余
格
形式系统￡^N
扩张
完备性
Keywords
Fuzzy logic
Strong regular residuated lattice
Formal system LN
Extension
Completeness
分类号
O141.1 [理学—数学]
原文传递
题名
关于正则剩余格与R_0^-代数的几点注记
被引量：
2
2
作者
朱怡权
机构
肇庆学院数学系
出处
《黄冈师范学院学报》
2003年第6期4-7,共4页
基金
广东省自然科学基金项目(02A1073)资助
广东省高校自然科学研究项目(Z02017)资助.
文摘
正则FI-代数、R0-代数、正则剩余格等代数结构都是非经典逻辑中基本而重要的"语义代数".本文中,进一步研究了它们之间的密切联系.特别地,证明了强正则剩余格与弱R0-代数是相互等价的代数结构.
关键词
正则
FI-代数
强
正则
剩余
格
弱Ro-代数
模糊逻辑
“语义代数”
Keywords
fuzzy logic
(regular) FI-algebra
(regular) residuated lattice
(weak) R_0-algebra
分类号
O141.1 [理学—数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
强正则剩余格值逻辑系统L^N及其完备性
裴道武
《数学学报（中文版）》
SCIE
CSCD
北大核心
2002
14
原文传递
2
关于正则剩余格与R_0^-代数的几点注记
朱怡权
《黄冈师范学院学报》
2003
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
