收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

格蕴涵代数及其与相关逻辑代数的关系研究

杜绍坤  
【摘要】:格蕴涵代数是一种重要的逻辑代数,它可以为格值逻辑和不确定性推理的研究提供一种理论基础.本文在已有研究成果的基础上,对格蕴涵代数作进一步研究.首先,讨论格蕴涵代数的一些性质;其次,讨论格蕴涵代数滤子的一些性质,提出次极大滤子的概念;最后,分别讨论Wajsberg代数、模糊蕴涵代数、R0代数与格蕴涵代数的关系.本文主要取得以下成果: 1.得到格蕴涵代数的一些性质.证明满足x∨y=(x→y)→y的分配拟格蕴涵代数构成格蕴涵代数.得到格蕴涵代数关于“(?)“(?)”运算的一些性质. 2.得到格蕴涵代数滤子的一些性质.讨论格蕴涵代数的几种滤子之间的关系.并证明真固执滤子与超滤等价.既是关联滤子又是素滤子的滤子是超滤.提出了格蕴涵代数中不动点的概念,含有不动点的格蕴涵代数不含有超滤,含有奇数个元素的格蕴涵代数不含有超滤.得到格蕴涵代数滤子格的一些性质.提出格蕴涵代数中次极大滤子的概念,并得到它的一些性质,证明在格蕴涵代数中次极大滤子是素滤子及次极大滤子的存在性. 3.分别讨论格蕴涵代数与Wajsberg代数、模糊蕴涵代数、R0代数之间的关系.得到Wajsberg代数转化为格蕴涵代数的条件,正则模糊蕴涵代数转化为格蕴涵代数的条件,格蕴涵代数与Ro代数的关系.


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 秦克云,徐扬;格蕴涵代数的超滤[J];西南交通大学学报(自然科学版);1999年01期
2 李海明,裴峥,孟丹,徐扬;关于格蕴涵代数的结构的一些讨论[J];模糊系统与数学;2003年04期
3 孟彪龙;格蕴涵代数的素滤子[J];西北大学学报(自然科学版);1998年03期
4 王伟,秦克云,徐扬;格蕴涵代数的左幂等元[J];模糊系统与数学;2001年04期
5 秦克云,徐扬;格蕴涵代数的模型论性质[J];西南交通大学学报;2000年05期
6 宋振明,徐杨;格蕴涵代数上的同余关系[J];应用数学;1997年03期
7 朱怡权;格蕴涵代数的布尔元及其应用[J];肇庆学院学报;2003年02期
8 王学芳,秦克云,徐扬;由格蕴涵代数诱导的伴随半群[J];模糊系统与数学;2002年01期
9 朱怡权,曹喜望;格蕴涵代数的一个简化公理系[J];黄冈师范学院学报;2000年03期
10 王伟,徐扬,秦克云;格蕴涵代数的拓扑结构[J];西南交通大学学报;2002年03期
11 李小光;;格蕴涵代数的强LI-理想[J];数学学习与研究(教研版);2008年07期
12 秦亚;刘熠;;由序滤子确定的滤子[J];内江师范学院学报;2010年04期
13 朱怡权;关于格蕴涵代数与BCK-代数[J];纯粹数学与应用数学;1999年03期
14 白利军;;格蕴涵代数的对偶性质[J];宜宾学院学报;2011年06期
15 徐扬;秦克云;;格H蕴涵代数与格蕴涵代数类[J];河北建筑科技学院学报;1992年03期
16 黄菀蓉,宋振明;格蕴涵代数与双格半群[J];河南大学学报(自然科学版);1997年02期
17 秦克云,涂文彪;粗糙集代数与格蕴涵代数[J];西南交通大学学报;2004年06期
18 黄黎明;何军;段芳;;格蕴涵代数的TL-滤子[J];内江师范学院学报;2011年08期
19 宋振明,郑逢斌;关于内射的格蕴涵代数(英文)[J];数学季刊;2000年01期
20 王学芳,徐扬,宋振明;格蕴涵代数中滤子的若干性质[J];西南交通大学学报;2001年05期
中国重要会议论文全文数据库 前10条
1 刘新;殷明娥;邹丽;;基于十元格蕴涵代数的语言值评价方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
2 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
3 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年
4 秦克云;徐扬;;格蕴涵代数中模糊滤子的若干性质[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
5 陈学友;;德摩根代数上的理想[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
6 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年
7 苏珂;;优化问题中基于线性系统求解的滤子方法[A];第八届中国青年运筹信息管理学者大会论文集[C];2006年
8 斯钦孟克;;L-ws紧集[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
9 周武能;;半正则强F紧性[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年
10 濮定国;姚红亮;;滤子QP-free方法(英文)[A];中国运筹学会第八届学术交流会论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年
2 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年
3 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
4 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年
5 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
6 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年
7 伊良忠;格蕴涵代数及语言真值不确定性推理研究[D];西南交通大学;2007年
8 潘小东;关于格值逻辑及其语言真值不确定性推理研究[D];西南交通大学;2010年
9 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
10 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
中国硕士学位论文全文数据库 前10条
1 杜绍坤;格蕴涵代数及其与相关逻辑代数的关系研究[D];西南交通大学;2011年
2 吴明慧;关于格蕴涵代数及其子结构的研究[D];西南交通大学;2011年
3 赵丽;格蕴涵代数及其乘积结构研究[D];西南交通大学;2012年
4 吕瑞娟;格蕴涵代数及其特殊滤子研究[D];西南交通大学;2012年
5 张宝华;关于格蕴涵代数性质的研究[D];西南交通大学;2003年
6 白利军;格蕴涵代数与相关逻辑代数关系的研究[D];西南交通大学;2007年
7 苏忍锁;剩余格与基于剩余格的几类代数系统的关系[D];陕西师范大学;2004年
8 李兴宽;BCK代数与De Morgan等代数的关系研究[D];昆明理工大学;2006年
9 刘春辉;Fuzzy蕴涵代数及其拓扑[D];扬州大学;2008年
10 刘银萍;BCK-代数的广义模糊蕴涵理想和广义模糊BCK-滤子[D];西北大学;2010年
中国重要报纸全文数据库 前2条
1 张庆桥 曹晓旭;踏雪寻梅[N];中国企业报;2010年
2 本报记者 幸福;遇到难题从不绕着走[N];大庆日报;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978