MTL-代数的演绎系统和余零化子及其相互关系

发布时间：2017-08-06 12:30

  本文关键词：MTL-代数的演绎系统和余零化子及其相互关系

  更多相关文章： MTL-代数 余零化子 演绎系统 剩余格 关系

【摘要】：首先,在MTL-代数中给出了演绎系统的定义;其次,提出了MTL-代数余零化子的概念,并研究了它们的一些基本性质;最后,讨论了MTL-代数中余零化子与演绎系统的关系,证明了MTL-代数的演绎系统A的余零化子A⊥是素的演绎系统的充要条件:A是线性的且A≠{1}。
【作者单位】： 陕西师范大学数学与信息科学学院;
【关键词】： MTL-代数 余零化子 演绎系统 剩余格 关系
【基金】：国家自然科学基金资助项目(11171196)
【分类号】：O141.1
【正文快照】： 模糊逻辑作为非经典数理逻辑的一个重要分支是人工智能与信息科学等许多领域中推理机制的基础。随着模糊命题逻辑系统研究的细致深入,各种模糊逻辑代数相继出现。1993年,徐扬教授于文献[1]、文献[2]将蕴涵算子引入到格结构中建立了格蕴涵代数。1998年,Petr.Hàjek基于连续的三

【参考文献】

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

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

2 龙希庆;徐扬;;有限格蕴涵代数的零化子[J];模糊系统与数学;2011年03期

3 傅丽;次BL代数的推理系统[J];陕西师范大学学报(自然科学版);2002年01期

4 裴道武;;MTL代数的特征定理[J];数学学报;2007年06期

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

【共引文献】

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

1 刘宏岚;高庆狮;杨炳儒;;多值逻辑中的命题相关性与逻辑运算研究[J];北京科技大学学报;2007年S2期

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

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

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

5 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

6 刘东利,茹永梅;经典二值逻辑系统L中的MT问题[J];宝鸡文理学院学报(自然科学版);2005年04期

7 杜亚灵;尹贻林;;基于模糊逻辑的公共项目风险分配模型[J];北京理工大学学报(社会科学版);2008年03期

8 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

9 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

10 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期

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

1 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

2 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

3 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

4 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

5 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年

6 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

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

8 潘小东;徐扬;;基于格值命题逻辑的语言真值不确定性推理方法[A];第八届中国不确定系统年会论文集[C];2010年

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

10 潘小东;;模糊一阶逻辑研究进展综述[A];第十届中国不确定系统年会、第十四届中国青年信息与管理学者大会论文集[C];2012年

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

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

2 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

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

4 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年

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

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

7 于海田;民航安全分析与管理研究[D];上海大学;2011年

8 范永青;几类复杂动态系统稳定及同步控制研究[D];广东工业大学;2012年

9 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

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

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

1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大学;2010年

2 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年

3 鹿文慧;基于重心法的Boolean模糊系统及其概率表示理论[D];大连理工大学;2010年

4 袁英敏;基于CRI方法的重心法模糊系统及概率表示[D];大连理工大学;2010年

5 王云涛;基于二Ⅰ算法的模糊系统的构造及其概率表示[D];大连理工大学;2010年

6 刘婷;软集合理论在模糊逻辑代数中的应用研究[D];江南大学;2010年

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

8 赵力;模糊推理的三Ⅰ算法研究[D];山东大学;2010年

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

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

【二级参考文献】

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

1 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期

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

3 刘练珍，，王国俊;Fuzzy蕴涵代数与MV代数[J];模糊系统与数学;1998年01期

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

5 裴道武;剩余格与正则剩余格的特征定理[J];数学学报;2002年02期

6 裴道武;强正则剩余格值逻辑系统L~N及其完备性[J];数学学报;2002年04期

7 王国俊,宋庆燕,宋玉靖;Boole代数上的度量结构及其在命题逻辑中的应用[J];数学学报;2004年02期

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

9 龙希庆;;乘积格蕴涵代数的理想[J];宜宾学院学报;2010年06期

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

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

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

1 朱华;格蕴涵代数中滤子和理想的研究[D];西南交通大学;2005年

【相似文献】

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

1 秦学成;刘春辉;;基于HFI代数的模糊命题演算的形式演绎系统[J];赤峰学院学报(自然科学版);2010年01期

2 周巧姝;对逻辑演绎推理在数学解题中的理解[J];长春师范学院学报;2003年02期

3 姜波;张小红;;低阶MTL-代数[J];宁波大学学报(理工版);2007年04期

4 段志贵;;公理化思想的萌发与完善探析[J];数学学习与研究;2010年23期

5 文向明,刘方;Hilbert代数的一类自映射[J];西安邮电学院学报;1997年03期

6 黄正华;;数学何以是有效的[J];淮阴师范学院学报(哲学社会科学版);2008年06期

7 黎仁蔚;N系统:一个自然时序演绎系统[J];科学通报;1988年06期

8 杨晓斌;初等模糊一阶逻辑的准形式演绎系统[J];淄博学院学报(自然科学与工程版);2001年01期

9 李伯春;柏拉图数学思想初探[J];淮北煤炭师范学院学报(自然科学版);1988年01期

10 潘无名,王俊卿;F-fuzzy演绎系统(英文)[J];数学季刊;2001年01期

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

1 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

中国重要报纸全文数据库 前2条

1 ;与丁肇中共探宇宙奥秘[N];科技日报;2006年

2 丁一;关于哥德巴赫猜想的三个悖论[N];光明日报;2002年

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

1 吴苏朋;MTL-代数中几类特殊的滤子和Fuzzy滤子[D];陕西师范大学;2007年

2 崔艳丽;R_0代数的简化以及相对真度的相关性质研究[D];陕西师范大学;2010年

3 刘婷;软集合理论在模糊逻辑代数中的应用研究[D];江南大学;2010年

本文编号：629877