IMTL逻辑代数的一种新强化形式

发布时间：2017-08-17 09:26

  本文关键词：IMTL逻辑代数的一种新强化形式

  更多相关文章： 模糊逻辑 逻辑代数 IMTL-代数 IMTL*-代数 特征 蕴涵表示定理

【摘要】：对IMTL-代数及其相关逻辑代数进行了进一步的研究,通过加强IMTL-代数条件的方法建立了IMTL*-代数,并通过实例证明了IMTL*-代数结构的存在性;其次,构造了一个非IMTL*-代数的IMTL-代数,说明了IMTL*-代数是IMTL-代数的真的强化形式,并基于IMTL-代数给出了IMTL*-代数的一些等价刻画;最后,给出了IMTL*-代数的蕴涵表示形式。本文的结果是对逻辑代数的研究内容和方法的有益补充。
【作者单位】： 河西学院数学与统计学院;陕西师范大学数学与信息科学学院;
【关键词】： 模糊逻辑 逻辑代数 IMTL-代数 IMTL*-代数 特征 蕴涵表示定理
【基金】：国家自然科学基金资助项目(11171196)
【分类号】：O141.1
【正文快照】： 逻辑代数是在数理逻辑研究过程中建立的一个重要的代数分支,是数理逻辑研究内容的重要组成部分。自文献[1]从代数角度解决了錢ukasiewicz多值命题逻辑演算系统的完备性以后,逻辑代数在模糊逻辑理论研究中的重要性得到了逻辑学者的广泛重视,适用于不同模糊逻辑系统的多种逻辑代

【参考文献】

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

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

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

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

4 李玲玲;吴洪博;;BR_0-分配性及其推广[J];山东大学学报(理学版);2012年02期

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

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

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

8 周建仁;吴洪博;;剩余偏序集及其与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];北京科技大学学报;2007年S2期

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

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

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

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

中国重要会议论文全文数据库 前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 许格妮;;可交换的s代数[A];第十二届中国青年信息与管理学者大会论文集[C];2010年

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

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

中国博士学位论文全文数据库 前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 刘婷;软集合理论在模糊逻辑代数中的应用研究[D];江南大学;2010年

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

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

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

【二级参考文献】

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

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

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

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

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

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

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

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

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

9 吴洪博,文秋梅;基础L~*系统的一种扩张——Lukasiewicz系统[J];模糊系统与数学;2002年02期

10 王国俊;刘华文;宋建社;;三I方法综述——它的提出、发展、应用和逻辑版本[J];模糊系统与数学;2006年06期

【相似文献】

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

1 霍书全;;现当代多值逻辑的主要技术成果和语义哲学基础[J];自然辩证法通讯;2007年05期

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

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

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

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

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

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

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

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

10 李自治;用逻辑代数方程估计地震趋势[J];地震;1982年02期

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

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

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

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

4 王敏;高翔;李宏伟;;模糊逻辑及遗传算法在入侵检测中的应用[A];首届信息获取与处理学术会议论文集[C];2003年

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

6 曲建岭;田边;王磊;戴冠中;;基于相关传感量的多传感信号模糊推理方法[A];1998年中国智能自动化学术会议论文集（上册）[C];1998年

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

8 杨先野;付强;;模糊神经网络在水文水资源应用中的研究进展[A];农业系统工程理论与实践研究——全国农业系统工程学术研讨会论文集[C];2006年

9 刘炜;李建东;;模糊逻辑在越区切换中的应用[A];1998中国控制与决策学术年会论文集[C];1998年

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

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

1 ;神经网络和模糊逻辑[N];世界金属导报;2002年

2 ;DANIELI自动炼钢、连铸、轧钢技术诀窍与成套技术[N];世界金属导报;2006年

3 孙富春 孙增圻;计算智能技术[N];计算机世界;2001年

4 ;马子杂话前言后语[N];天津日报;2004年

5 刘友存 摘译;实现高效 加强环保[N];中国冶金报;2006年

6 曹卫东;展望未来电梯发展方向[N];广东建设报;2005年

7 詹膑 罗杨;以多变量为基础的现代智能控制[N];光明日报;2000年

8 本报记者 刘学习 林润华;下一代CPU引发连锁发应[N];计算机世界;2005年

9 曾迎之;网络故障追根源[N];中国计算机报;2001年

10 清华大学玉泉医院神外 刘伟国;意识如何进行客观评价[N];健康报;2008年

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

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

2 阎石;结构振动智能控制的人工神经网络与模糊逻辑方法研究[D];大连理工大学;2000年

3 曹恒;基于模糊逻辑的内燃机车大功率柴油机智能控制系统的研究[D];大连理工大学;2000年

4 张持健;商空间下模糊系统与模糊控制的问题求解[D];安徽大学;2005年

5 马育锋;蜂窝无线通信网络呼叫允许控制研究[D];华中科技大学;2005年

6 余庆军;智能图像处理及其在无线多媒体业务中的应用[D];华南理工大学;2004年

7 王杰;自适应多通路声学回波消除理论与应用研究[D];华南理工大学;2004年

8 梁新荣;高速公路智能控制方法研究[D];华南理工大学;2005年

9 周思跃;基于虚拟现实的机器人灵巧手遥操作平台的设计和实现[D];上海大学;2006年

10 王鹏;复合材料设计专家系统的实现与评估[D];哈尔滨工程大学;2006年

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

1 丁正;自动化立体仓库管理系统的开发与研究[D];合肥工业大学;2007年

2 李伟为;基于遥控地下铲运机的行驶智能控制策略研究[D];电子科技大学;2009年

3 刘立辉;基于GIS的电网负荷预测及其优化研究[D];大庆石油学院;2009年

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

5 姜长元;模糊神经网络模型及其应用研究[D];南京师范大学;2005年

6 何兰香;基于T-S模型的模糊神经网络局部放电模式识别方法[D];哈尔滨理工大学;2009年

7 孙增国;神经网络和模糊专家系统在故障诊断中的应用[D];大连理工大学;2004年

8 王晓军;语用模糊理论综观[D];吉林大学;2005年

9 李小亚;基于人工智能的数据融合技术在火灾探测中的应用研究[D];广东工业大学;2005年

10 李学华;模糊粗糙理论与神经网络在信息处理中的应用[D];电子科技大学;2005年

，

本文编号：688254