期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
BL命题逻辑系统的强同余关系及演绎系统
被引量：
1
1
作者
崔艳丽
梁颖
吴洪博
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2018年第2期237-241,共5页
通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念,并引入强同余关系,讨论BL系统中演绎系统和强同余关系之间的联系,给出二者之间相互转换的方法,并得到了二者之间相互转换的还原性.
关键词
模糊逻辑
命题逻辑系统BL
演绎系统
强同余关系
在线阅读
下载PDF
职称材料
WMTL-代数中的蕴涵滤子及其应用
2
作者
吴洪博
梁颖
《计算机学报》
EI
CSCD
北大核心
2018年第4期886-897,共12页
MTL-代数是通过在剩余格中添加预线性公理得到的一类重要的基础逻辑代数,该文通过在剩余格中添加弱预线性公理建立了WMTL-代数,并对它的性质进行了细致讨论.首先,通过在剩余格中添加弱预线性公理的方法引入了WMTL-代数的概念,讨论了剩余...
MTL-代数是通过在剩余格中添加预线性公理得到的一类重要的基础逻辑代数,该文通过在剩余格中添加弱预线性公理建立了WMTL-代数,并对它的性质进行了细致讨论.首先,通过在剩余格中添加弱预线性公理的方法引入了WMTL-代数的概念,讨论了剩余格,WMTL-代数,MTL-代数的区别与联系;其次,在WMTL-代数中引入了蕴涵滤子的概念,并通过引入增强集给出了蕴涵滤子的等价刻画及蕴涵滤子的生成方法;第三,在WMTL-代数中引入了强同余关系的概念,给出了蕴涵滤子和强同余关系相互确定的方法:第四,证明了WMTL-代数的蕴涵滤子型商代数是WMTL-代数,蕴涵滤子型商代数是线性的当且仅当蕴涵滤子是素的;第五,在WMTL-代数L中证明了弱预线性公理的有限可积性质:(x→(x→y))~n∨(y→(y→x))~n=1(x,y∈L,n∈N_+);最后,证明了WMTL-代数中不含一个特定元素(不属于给定蕴涵滤子)的素蕴涵滤子的存在性,并证明了满足条件[1)={1}的WMTL-代数可以嵌入到其上所有素蕴涵滤子型商代数的乘积代数之中.
展开更多
关键词
模糊逻辑
WMTL-代数
蕴涵滤子
强同余关系
素蕴涵滤子
嵌入定理
在线阅读
下载PDF
职称材料
题名
BL命题逻辑系统的强同余关系及演绎系统
被引量：
1
1
作者
崔艳丽
梁颖
吴洪博
机构
陕西师范大学数学与信息科学学院
汉中职业技术学院
出处
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2018年第2期237-241,共5页
基金
国家自然科学基金(批准号:61572016
11531009
61673250)
文摘
通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念,并引入强同余关系,讨论BL系统中演绎系统和强同余关系之间的联系,给出二者之间相互转换的方法,并得到了二者之间相互转换的还原性.
关键词
模糊逻辑
命题逻辑系统BL
演绎系统
强同余关系
Keywords
fuzzy logic
propositional logic system BL
deductive system
strong congruence relation
分类号
O141 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
WMTL-代数中的蕴涵滤子及其应用
2
作者
吴洪博
梁颖
机构
陕西师范大学数学与信息科学学院
出处
《计算机学报》
EI
CSCD
北大核心
2018年第4期886-897,共12页
基金
国家自然科学基金(61572016
11531009
61673250)资助
文摘
MTL-代数是通过在剩余格中添加预线性公理得到的一类重要的基础逻辑代数,该文通过在剩余格中添加弱预线性公理建立了WMTL-代数,并对它的性质进行了细致讨论.首先,通过在剩余格中添加弱预线性公理的方法引入了WMTL-代数的概念,讨论了剩余格,WMTL-代数,MTL-代数的区别与联系;其次,在WMTL-代数中引入了蕴涵滤子的概念,并通过引入增强集给出了蕴涵滤子的等价刻画及蕴涵滤子的生成方法;第三,在WMTL-代数中引入了强同余关系的概念,给出了蕴涵滤子和强同余关系相互确定的方法:第四,证明了WMTL-代数的蕴涵滤子型商代数是WMTL-代数,蕴涵滤子型商代数是线性的当且仅当蕴涵滤子是素的;第五,在WMTL-代数L中证明了弱预线性公理的有限可积性质:(x→(x→y))~n∨(y→(y→x))~n=1(x,y∈L,n∈N_+);最后,证明了WMTL-代数中不含一个特定元素(不属于给定蕴涵滤子)的素蕴涵滤子的存在性,并证明了满足条件[1)={1}的WMTL-代数可以嵌入到其上所有素蕴涵滤子型商代数的乘积代数之中.
关键词
模糊逻辑
WMTL-代数
蕴涵滤子
强同余关系
素蕴涵滤子
嵌入定理
Keywords
fuzzy logic
WMTL-algebra
implication filter
strengthened congruence relation
prime implication filter
embedding theorem
分类号
O141 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
BL命题逻辑系统的强同余关系及演绎系统
崔艳丽
梁颖
吴洪博
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2018
1
在线阅读
下载PDF
职称材料
2
WMTL-代数中的蕴涵滤子及其应用
吴洪博
梁颖
《计算机学报》
EI
CSCD
北大核心
2018
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
