期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
强正则剩余格值逻辑系统L^N及其完备性
被引量：
14
1
作者
裴道武
《数学学报（中文版）》
SCIE
CSCD
北大核心
2002年第4期745-752,共8页
正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见...
正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.
展开更多
关键词
模糊逻辑
强正则剩余格
形式系统￡^N
扩张
完备性
原文传递
题名
强正则剩余格值逻辑系统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 [理学—数学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
强正则剩余格值逻辑系统L^N及其完备性
裴道武
《数学学报（中文版）》
SCIE
CSCD
北大核心
2002
14
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
