期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基础R0－代数的性质及在L^＊系统中的应用
被引量：
27
1
作者
吴洪博
《Journal of Mathematical Research and Exposition》
CSCD
北大核心
2003年第3期557-563,共7页
研究了王国俊教授建立的模糊命题演算的形式演绎系统和与之在语义上相关的R_0-代数,提出了基础R_0-代数的观点并讨论了其中的一些性质,在将系统中的推演证明转化为相应的R_0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了...
研究了王国俊教授建立的模糊命题演算的形式演绎系统和与之在语义上相关的R_0-代数,提出了基础R_0-代数的观点并讨论了其中的一些性质,在将系统中的推演证明转化为相应的R_0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了系统中的模糊演绎定理。
展开更多
关键词
模糊逻辑
基础
r
0-代数
r
0-代数
L^＊系统
模糊演绎定理
下载PDF
职称材料
MV代数定义的蕴涵简化形式
被引量：
1
2
作者
刘敏
吴洪博
《模糊系统与数学》
CSCD
北大核心
2006年第6期44-50,共7页
通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;...
通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。
展开更多
关键词
模糊逻辑
MV代数
弱格蕴涵代数
B
r
o代数
正则Fuzzy蕴涵代数
下载PDF
职称材料
R_0代数的一种等价形式
3
作者
王小敏
《西安工业大学学报》
CAS
2006年第6期596-598,共3页
R0代数是与模糊命题演算的形式演绎系统L*在语义相匹配的代数系统,为了进一步研究R0代数,引入了R0代数和基础R0代数的定义,讨论了R0代数其中的一些基本性质及R0代数与基础R0代数的区别与联系,在(a→b)∨((a→b)→a∨b)=1条件下基础R0代...
R0代数是与模糊命题演算的形式演绎系统L*在语义相匹配的代数系统,为了进一步研究R0代数,引入了R0代数和基础R0代数的定义,讨论了R0代数其中的一些基本性质及R0代数与基础R0代数的区别与联系,在(a→b)∨((a→b)→a∨b)=1条件下基础R0代数就是R0代数,并且得到了R0代数的一类等价系统.
展开更多
关键词
模糊逻辑
形式演绎系统L＊
r
0代数
基础
r
0代数
等价系统
下载PDF
职称材料
题名
基础R0－代数的性质及在L^＊系统中的应用
被引量：
27
1
作者
吴洪博
机构
陕西师范大学数学研究所
出处
《Journal of Mathematical Research and Exposition》
CSCD
北大核心
2003年第3期557-563,共7页
文摘
研究了王国俊教授建立的模糊命题演算的形式演绎系统和与之在语义上相关的R_0-代数,提出了基础R_0-代数的观点并讨论了其中的一些性质,在将系统中的推演证明转化为相应的R_0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了系统中的模糊演绎定理。
关键词
模糊逻辑
基础
r
0-代数
r
0-代数
L^＊系统
模糊演绎定理
Keywords
fuzzy
logic
basic
r
0-
algebra
L
system
fuzzy
deductive
theo
r
em.
分类号
O159 [理学—数学]
下载PDF
职称材料
题名
MV代数定义的蕴涵简化形式
被引量：
1
2
作者
刘敏
吴洪博
机构
陕西师范大学数学研究所
出处
《模糊系统与数学》
CSCD
北大核心
2006年第6期44-50,共7页
基金
国家自然科学基金资助项目(10471083)
陕西师范大学重点科研基金资助项目(995130)
陕西师范大学研究生培养创新基金资助项目(2006CXS017)
文摘
通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。
关键词
模糊逻辑
MV代数
弱格蕴涵代数
B
r
o代数
正则Fuzzy蕴涵代数
Keywords
Fuzzy
Logic
MV-
algebra
Weak
Lattic
Implication-
algebra
basic
r
0-
algebra
r
egula
r
Fuzzy
Implication-
algebra
分类号
O159 [理学—数学]
O153 [理学—基础数学]
下载PDF
职称材料
题名
R_0代数的一种等价形式
3
作者
王小敏
机构
西安工业大学数理系
出处
《西安工业大学学报》
CAS
2006年第6期596-598,共3页
文摘
R0代数是与模糊命题演算的形式演绎系统L*在语义相匹配的代数系统,为了进一步研究R0代数,引入了R0代数和基础R0代数的定义,讨论了R0代数其中的一些基本性质及R0代数与基础R0代数的区别与联系,在(a→b)∨((a→b)→a∨b)=1条件下基础R0代数就是R0代数,并且得到了R0代数的一类等价系统.
关键词
模糊逻辑
形式演绎系统L＊
r
0代数
基础
r
0代数
等价系统
Keywords
fuzzy
logic
fo
r
mal
deductive
system
L＊
r
0
algebra
basic
r
0
algebra
equivalent
system
分类号
O141 [理学—数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基础R0－代数的性质及在L^＊系统中的应用
吴洪博
《Journal of Mathematical Research and Exposition》
CSCD
北大核心
2003
27
下载PDF
职称材料
2
MV代数定义的蕴涵简化形式
刘敏
吴洪博
《模糊系统与数学》
CSCD
北大核心
2006
1
下载PDF
职称材料
3
R_0代数的一种等价形式
王小敏
《西安工业大学学报》
CAS
2006
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
