BL代数的一种弱化形式

发布时间：2017-07-14 12:28

  本文关键词：BL代数的一种弱化形式

  更多相关文章： 模糊逻辑 逻辑代数 BL-代数 MTL-代数 NM-代数 WBL-代数

【摘要】：在对BL-代数及其相关逻辑代数研究的基础上,通过加强MTL-代数条件的方法建立BL-代数的一种弱化形式——WBL-代数,并给出WBL-代数结构的实例;证明BL-代数是WBL-代数,并通过实例说明WBL-代数是BL-代数的真弱化形式,且是MTL-代数的真加强形式;在MTL-代数的基础上给出WBL-代数的一些特征定理.
【作者单位】： 河西学院数学与统计学院;陕西师范大学数学与信息科学学院;
【关键词】： 模糊逻辑 逻辑代数 BL-代数 MTL-代数 NM-代数 WBL-代数
【基金】：国家自然科学基金(批准号:11171196)
【分类号】：O141.1
【正文快照】： 自Chang[1]从代数角度解决了Lukasiewicz多值逻辑命题演算系统的完备性后,逻辑代数在模糊逻辑理论中的重要性得到了逻辑学者的广泛关注,并根据不同模糊逻辑系统的语义理论需要建立了多种逻辑代数结构[2-13].例如:Pavelka[2-4]提出了丰富剩余格理论;吴望名[5]和徐扬等[6-7]以多

【参考文献】

中国期刊全文数据库 前7条

1 吴洪博;王昭海;;BR_0 代数的无序表示形式及WBR_0 代数性质[J];工程数学学报;2009年03期

2 吴洪博;;R_0-代数在一般集合上的崴,→表示形式[J];吉林大学学报(理学版);2009年04期

3 高李红;吴洪博;;QBL-代数及其与BL-代数的等价性[J];吉林大学学报(理学版);2011年01期

4 吴望名;Fuzzy蕴涵代数[J];模糊系统与数学;1990年01期

5 吴洪博;基础R_(0-)代数与基础L~*系统[J];数学进展;2003年05期

6 徐扬;;格蕴涵代数[J];西南交通大学学报;1993年01期

7 周建仁;吴洪博;;剩余偏序集及其与FI代数的关系[J];云南师范大学学报(自然科学版);2012年03期

【共引文献】

中国期刊全文数据库 前10条

1 义书;关于MV-代数的等价公理系[J];安康师专学报;2000年04期

2 张红杰;吴洪博;;BR_0代数中的滤子与理想[J];安康学院学报;2007年01期

3 龚加安;吴洪博;;BR_0代数的模糊滤子与模糊素滤子[J];安康学院学报;2009年06期

4 吴洪博;;基于非交换剩余格的(α,β]-模糊滤子(上)[J];安康学院学报;2011年02期

5 吴洪博;;基于非交换剩余格的(α,β]-模糊滤子(下)[J];安康学院学报;2011年03期

6 李志伟;李桂华;;模糊广义正则蕴涵代数[J];毕节学院学报;2008年04期

7 张家锋;彭麟淋;李景云;;关于格值逻辑系统中语义归结的几点思考[J];毕节学院学报;2011年01期

8 吴明慧;徐扬;;格蕴涵代数的布尔滤子[J];毕节学院学报;2011年04期

9 段景瑶;王国俊;;Boole代数的等价刻画[J];宝鸡文理学院学报(自然科学版);2007年03期

10 朱怡权;关于格蕴涵代数与BCK-代数[J];纯粹数学与应用数学;1999年03期

中国重要会议论文全文数据库 前10条

1 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年

2 许格妮;;可交换的s代数[A];第十二届中国青年信息与管理学者大会论文集[C];2010年

3 许格妮;;偏序集上关联s代数的性质[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年

4 宋振明;;蕴涵滤子空间的积拓扑和商拓扑[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

5 徐扬;;基于格值命题逻辑L_(vpl)的近似推理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

6 刘军;马骏;;格值逻辑系统LP(X)的推理性质讨论[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

7 李志伟;李桂华;;Fuzzy蕴涵代数的若干性质[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

8 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

9 王国俊;;Fuzzy逻辑与有序代数[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

10 李志伟;;偏序集上的关联蕴涵代数[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

中国博士学位论文全文数据库 前10条

1 韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年

2 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年

3 邹丽;基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D];西南交通大学;2010年

4 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

5 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

6 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

7 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

8 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

9 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

10 刘晓红;关于企业人力资源评价信息处理系统的研究[D];西南交通大学;2004年

中国硕士学位论文全文数据库 前10条

1 许筱婷;基于本体论的知识表达[D];湘潭大学;2010年

2 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

3 吴媛;剩余格的模糊滤子和广义模糊滤子[D];西北大学;2011年

4 张保垒;表列演算探究[D];华东师范大学;2011年

5 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

6 陈冬青;BR_0-代数与WBR_0-代数的研究[D];陕西师范大学;2011年

7 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年

8 李苏妮;加权Moore机的同余与格值Moore机的约化[D];陕西师范大学;2011年

9 王志明;WBR_0代数的研究[D];陕西师范大学;2011年

10 程红梅;几种逻辑度量空间中的反射变换[D];陕西师范大学;2011年

【二级参考文献】

中国期刊全文数据库 前10条

1 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

2 刘敏;吴洪博;;预线性剩余格与逻辑代数[J];工程数学学报;2008年02期

3 吴洪博;王昭海;;BR_0 代数的无序表示形式及WBR_0 代数性质[J];工程数学学报;2009年03期

4 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期

5 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期

6 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑:技术科学;2002年02期

7 吴洪博;;R_0-代数在一般集合上的崴,→表示形式[J];吉林大学学报(理学版);2009年04期

8 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

9 吴望名;Fuzzy蕴涵代数[J];模糊系统与数学;1990年01期

10 王国俊;MV-代数、BL-代数、R_0-代数与多值逻辑[J];模糊系统与数学;2002年02期

【相似文献】

中国期刊全文数据库 前10条

1 汪德刚;谷云东;李洪兴;;模糊模态命题逻辑及其广义重言式[J];电子学报;2007年02期

2 吴洪博;;R_0-代数的格蕴涵表示定理[J];模糊系统与数学;2007年03期

3 吴洪博;乔希民;;BR_0-代数定义的简化形式[J];四川大学学报(自然科学版);2008年06期

4 高李红;吴洪博;;QBL-代数及其与BL-代数的等价性[J];吉林大学学报(理学版);2011年01期

5 代建云;吴洪博;;[0,1]上的一种逻辑度量结构[J];华中师范大学学报(自然科学版);2008年02期

6 张秋霞;吴洪博;;BR_0代数的模糊理想与直觉模糊理想[J];计算机工程与应用;2008年30期

7 秦学成;刘春辉;;正则剩余格的fuzzy ⊙-理想格[J];山东大学学报(理学版);2011年08期

8 朱翔;徐罗山;;BL代数的等价刻画及更多性质[J];模糊系统与数学;2011年01期

9 裴道武;王三民;杨瑞;;模糊蕴涵格理论[J];高校应用数学学报A辑;2011年03期

10 邹泽民;布尔代数系统的公理化定义及基本性质定理[J];广西梧州师范高等专科学校学报;2001年03期

中国重要会议论文全文数据库 前10条

1 张倩生;沈继忠;;双模糊拓扑的一个新方法[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

2 庞善起;秦克云;赵希顺;王雪生;;模糊逻辑与二值逻辑[A];模糊数学和系统成果会论文集[C];1991年

3 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

4 成央金;;De Morgan函数的简化(Ⅰ)[A];1997中国控制与决策学术年会论文集[C];1997年

5 陈图云;陈文丽;;修正的Atanassov逻辑及其广义重言式[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

6 成科扬;;基于集对分析的模糊逻辑及其推理方法研究[A];第二十三届中国控制会议论文集（下册）[C];2004年

7 任燕;王洪丽;鲁忠良;;模糊逻辑的紧致性与模糊理论相容度[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

8 焦利民;刘耀林;;土地适宜性评价的模糊神经网络建模及其应用分析[A];节能环保 和谐发展——2007中国科协年会论文集（二）[C];2007年

9 郭方芳;陈图云;;模糊推理渠道及链、网的确定度[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

10 邹丽;;直觉算子模糊逻辑的解释及应用[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

中国博士学位论文全文数据库 前9条

1 覃锋;模糊逻辑中若干问题的研究[D];四川大学;2004年

2 周湘南;与剩余格相关的几类逻辑代数系统的研究[D];湖南大学;2008年

3 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

4 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

5 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年

6 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年

7 卢志刚;基于模糊理论的电子商务声誉管理模型研究[D];天津大学;2007年

8 李嵩松;基于隐马尔可夫模型和计算智能的股票价格时间序列预测[D];哈尔滨工业大学;2011年

9 王伟;非可换逻辑代数的滤子及模糊化理论[D];西北大学;2010年

中国硕士学位论文全文数据库 前10条

1 李秀英;非线性系统的模糊辨识与控制[D];黑龙江大学;2005年

2 崔丽聪;基于模糊测度和模糊积分的语言量词[D];陕西师范大学;2008年

3 吴凤干;直觉模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

4 张凯;区间二型模糊逻辑智能系统的设计[D];辽宁工业大学;2012年

5 赖思静;基于神经网络和模糊逻辑的结构控制算法研究[D];重庆大学;2002年

6 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

7 陈文丽;修正的Atanassov命题逻辑及其广义重言式[D];辽宁师范大学;2003年

8 朱广文;DBR_0-代数性质及相关研究[D];陕西师范大学;2013年

9 张宇卓;区间值模糊命题逻辑及其广义重言式[D];辽宁师范大学;2003年

10 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

，

本文编号：541056