局部有限BL-代数的素逆演绎系统及性质

发布时间：2017-07-08 00:18

  本文关键词：局部有限BL-代数的素逆演绎系统及性质

  更多相关文章： BL-代数 局部有限 逆演绎系统 素逆演绎系统 同余关系 商代数

【摘要】：在BL-代数中引入逆演绎系统及素逆演绎系统的概念,并在局部有限BL-代数中研究了素逆演绎系统的基本性质及逆演绎系统和通常理想之间的关系;其次,讨论了BL-代数中逆演绎系统和同余关系之间相互决定的关系;最后,证明了由素逆演绎系统诱导的商代数为线性BL-代数,进而证明了在局部有限BL-代数中一个逆演绎系统是素逆演绎系统当且仅当由其诱导的商代数是线性的BL-代数。
【作者单位】： 陕西师范大学数学与信息科学学院;
【关键词】： BL-代数 局部有限 逆演绎系统 素逆演绎系统 同余关系 商代数
【基金】：国家自然科学基金资助项目(11171196) 陕西省自然科学基础研究计划项目(2013JM1023)
【分类号】：O141.1
【正文快照】： 0引言作为模糊命题逻辑系统语义理论的重要组成部分的逻辑代数已经发展成为代数学的一个重要分支,同时也是人工智能基础理论研究的热点之一。目前,人们基于不同角度提出了多种形式的非经典逻辑代数,如R0-代数、格蕴涵代数、FI-代数、MV-代数、BR0-代数、BL-代数等等[1-10]。其

【参考文献】

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

1 吴洪博;张琼;;NML系统的有限强完备性[J];电子学报;2010年06期

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

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

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

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

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

7 周建仁;吴洪博;;WBR_0-代数的正则性及与其他逻辑代数的关系[J];山东大学学报(理学版);2012年02期

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

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

10 吴洪博;王娜;;WBR_0-代数的两种弱化形式及其性质[J];陕西师范大学学报(自然科学版);2012年04期

【共引文献】

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

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

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

3 汪义瑞;;预拓扑空间的单点紧化[J];安康学院学报;2009年05期

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

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

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

7 李文;关于L-fuzzy拓扑空间的分离公理的讨论[J];鞍山师范学院学报;2005年02期

8 吴雪芝;段慧仙;张杰;;L-fuzzy Domain及其等价刻画[J];北方工业大学学报;2006年03期

9 段慧仙;张杰;;L-双模糊连续论域[J];北方工业大学学报;2008年01期

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

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

1 霍书全;鞠实儿;;SLO的代数结构[A];开放类逻辑论文集[C];2004年

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

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

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

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

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

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

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

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

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

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

1 郭建胜;效应代数及伪BL-代数结构的研究[D];陕西师范大学;2010年

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

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

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

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

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

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

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

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

10 史福贵;格上点式一致结构与点式度量理论及其应用[D];首都师范大学;2001年

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

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

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

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

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

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

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

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

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

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

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

【二级参考文献】

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

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

2 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

3 任芳;R_0-代数上的同余关系[J];工程数学学报;2001年01期

4 王向云;赋值为R_0-模糊集的逻辑系统[J];工程数学学报;2001年01期

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

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

7 何颖俞,王国俊;L~*-Lindenbaum代数的结构与L~*公理系统的简化形式[J];工程数学学报;1998年01期

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

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

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

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

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

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

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

1 苏忍锁;剩余格与基于剩余格的几类代数系统的关系[D];陕西师范大学;2004年

【相似文献】

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

1 郑茂林;局部有限无穷n-连通图1-因子的下界[J];新疆大学学报(自然科学版);1987年03期

2 胡庆平,李丹;局部有限的BCI-代数[J];昭通师范高等专科学校学报;1994年03期

3 吴玉梅;葛丹;;L-拓扑空间的Ⅲ超仿紧性[J];西安文理学院学报(自然科学版);2006年03期

4 黄荧;;预开集与仿强紧空间[J];河南师范大学学报(自然科学版);1991年04期

5 黄荧;;仿近似紧空间[J];河南师范大学学报(自然科学版);1991年01期

6 毛欢;苏育才;;广义Weyl超代数的导子[J];数学杂志;2008年05期

7 高国士;;关于k-网和基[J];苏州大学学报(自然科学版);1986年02期

8 周生田;半开集下仿紧空间的刻画[J];石油大学学报(自然科学版);1992年01期

9 韩德化,周笑明;关于一类泛代数的局部有限性[J];四川大学学报(自然科学版);2000年04期

10 宋际平,胡洪萍;仿紧空间的一个刻画[J];纺织高校基础科学学报;2005年02期

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

1 陈鹏;;模糊拓扑空间两组度量公理的等价性及度量化[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

2 罗懋康;李三江;;Locale理论研究进展[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

3 金国平;Bela Bollobas;;图的定向[A];信息科学与微电子技术:中国科协第三届青年学术年会论文集[C];1998年

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

1 王健;无限平面图中的哈密顿圈[D];南开大学;2009年

2 陈斌;g-函数，，弱基g-函数及基数函数的应用[D];山东大学;2007年

3 孙伟华;强KC空间、可膨胀性和D_σ-空间[D];山东大学;2008年

4 李招文;由弱基定义的空间及其相关结果[D];湖南大学;2008年

5 陈健敏;椭圆曲线上的Generic层及相关研究[D];厦门大学;2008年

6 王利萍;（？）_2型和（？）_2型仿射Weyl群的Kazhdan-Lusztig多项式的首项系数[D];中国科学院研究生院（数学与系统科学研究院）;2008年

7 王显金;算子范数局部化性质[D];复旦大学;2007年

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

1 马学玲;BL-代数的广义模糊滤子[D];华中师范大学;2008年

2 肖艳艳;双扭HOPF代数的对偶[D];扬州大学;2006年

3 吴家超;D-空间及其推广[D];山东大学;2007年

4 孙焱平;模糊逻辑中蕴涵算子的构造[D];南昌大学;2010年

5 王胡权;以局部有限的BOREL测度为初值的一类拟线性双曲方程BV解的存在唯一性[D];吉林大学;2007年

6 张夏苇;有关覆盖性质的一些拓展[D];广西大学;2006年

7 张孟英;σ-ortho紧空间的乘积和基可数仿紧空间的刻画[D];成都理工大学;2007年

8 朱智贤;代数几何中的三种拓扑[D];浙江大学;2008年

9 徐薇;关于弱g函数和广义度量空间的刻画[D];苏州大学;2009年

10 郭英新;ω-结构与一类特殊的LF-网空间[D];曲阜师范大学;2004年

本文编号：532409