当前位置:主页 > 社科论文 > 逻辑论文 >

正则剩余格的fuzzy⊙理想

发布时间:2018-05-14 15:05

  本文选题:模糊逻辑 + (正则)剩余格 ; 参考:《山东大学学报(理学版)》2010年10期


【摘要】:剩余格在模糊逻辑的研究中扮演着一个重要的角色。首先在剩余格中引入fuzzy⊙理想的概念,讨论了(正则)剩余格中fuzzy⊙理想性质,给出了正则剩余格中fuzzy⊙理想的若干等价刻画。其次,利用fuzzy⊙理想概念构造了一个同余关系,证明一个正则剩余格在该同余关系下的商代数还是正则剩余格。
[Abstract]:Residual lattices play an important role in the study of fuzzy logic. In this paper, we first introduce the concept of fuzzy _ 惟 ideals in residual lattices, discuss the properties of fuzzy _ _ _ ideals in (regular) residual lattices, and give some equivalent characterizations of fuzzy _ _ _ ideals in regular residual lattices. Secondly, we construct a congruence relation by using the concept of the fuzzy-ideals, and prove whether the quotient algebra of a regular residual lattice is a regular residuary lattice under this congruence relation.
【作者单位】: 赤峰学院初等教育学院;
【分类号】:O141.1

【参考文献】

相关期刊论文 前1条

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

【共引文献】

相关期刊论文 前10条

1 邹庭荣;PFI代数及其P滤子[J];数学杂志;2000年03期

2 邹庭荣,肖云萍;FI代数的滤子[J];模糊系统与数学;2003年03期

3 肖云萍;QFI-代数及其Q滤子[J];广西师院学报(自然科学版);2000年02期

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

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

6 许文艳,韩诚;R_0代数中的真布尔元[J];宝鸡文理学院学报(自然科学版);2003年04期

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

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

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

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

相关会议论文 前10条

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

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

3 李桂华;李志伟;;Fuzzy蕴涵代数的t-范及其性质[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

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

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

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

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

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

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

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

相关博士学位论文 前10条

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

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

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

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

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

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

7 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

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

9 沈晖;基于知识管理的企业集成支撑技术研究[D];清华大学;2003年

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

相关硕士学位论文 前10条

1 姚卫;Heyting代数中的滤子与同构定理及其范畴Heyt[D];陕西师范大学;2005年

2 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

3 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

4 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年

5 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

6 张宝华;关于格蕴涵代数性质的研究[D];西南交通大学;2003年

7 常瑶芝;L~*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

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

9 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年

10 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年

【二级参考文献】

相关期刊论文 前10条

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

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

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

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

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

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

7 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑;2002年01期

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

9 程国胜;R_0代数中的滤子与理想[J];模糊系统与数学;2001年01期

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

相关会议论文 前2条

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

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

【相似文献】

相关会议论文 前10条

1 张惠民;;论模糊逻辑的哲学意义和实用价值[A];1993年逻辑研究专辑[C];1993年

2 张尚水;;模糊逻辑[A];全国逻辑讨论会论文选集[C];1979年

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

4 傅殿英;;模糊逻辑与质量互变规律[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

5 畅春玲;张运杰;于东;董云影;;建立在模糊逻辑上的模糊元胞自动机[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

6 王建芳;;逻辑在人工智能科学中的应用与前景[A];1994年逻辑研究专辑[C];1994年

7 闵珊华;贺仲雄;;金岳霖晚年对Fuzzy逻辑的认识[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年

8 陈图云;吴凤干;汤服成;;直觉模糊命题逻辑的广义拟重言式及其分类[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

9 袁正校;何向东;;关于真谓词的冗余论的若干问题[A];1998年逻辑研究专辑[C];1998年

10 陈自立;桂起权;;辩证逻辑公理系统DLA及DLB[A];1995年逻辑研究专辑[C];1995年

相关博士学位论文 前1条

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

相关硕士学位论文 前9条

1 蒋萍;模糊逻辑在风险投资决策中的应用[D];西南师范大学;2005年

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

3 王三民;模糊逻辑形式系统的若干完备性定理[D];陕西师范大学;2001年

4 李晓冰;区间值模糊命题逻辑的广义拟重言式及其真度[D];辽宁师范大学;2005年

5 张琼;BL_△~*形式系统与NM(?)形式系统的研究[D];陕西师范大学;2010年

6 李海霞;逻辑代数中若干问题的研究[D];陕西师范大学;2008年

7 高李红;QBL代数与IMTL代数及系统的研究[D];陕西师范大学;2011年

8 李丽;模糊时序命题逻辑系统的语义[D];辽宁师范大学;2005年

9 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年



本文编号:1888384

资料下载
论文发表

本文链接:https://www.wllwen.com/shekelunwen/ljx/1888384.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户a43f2***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com