NML系统的有限强完备性

发布时间：2017-10-06 18:40

  本文关键词：NML系统的有限强完备性

  更多相关文章： 模糊逻辑 NML系统 NML-链 部分嵌入 强完备性

【摘要】：对NML(Nilpotent Minimum Lukasiewicz Logic)系统进行了研究,讨论了NML系统的强完备性问题.对NML-链的性质作了进一步的研究,证明了任一NML-链都可部分嵌入到[0,1]J中;利用这一性质证明了NML系统的有限强完备性定理;最后指出,在NML系统中,关于无限理论的强完备性定理是不成立的.
【作者单位】： 陕西师范大学数学与信息科学学院;
【关键词】： 模糊逻辑 NML系统 NML-链 部分嵌入 强完备性
【基金】：国家自然科学基金(No.10871121)
【分类号】：O141.1
【正文快照】： 1引言随着人工智能与信息科学研究的不断深入,模糊逻辑的研究已成为其中一大热点.近年来,许多学者致力于各种模糊逻辑系统的研究,并取得了一系列重要成果.Petr Hájek建立了BL(Basic Fuzzy Logic)系统和BL-代数[1];王国俊教授于1997年建立了一种模糊命题演算的形式演绎系统L*

【参考文献】

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

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

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

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

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

【共引文献】

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

1 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期

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

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

4 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期

5 裴道武,姜慧;一个新的模糊谓词演算形式系统[J];东北师大学报(自然科学版);2003年01期

6 胡明娣;王国俊;;基础R_0代数的结构研究[J];纺织高校基础科学学报;2006年03期

7 许格妮;王国俊;;s代数的性质[J];纺织高校基础科学学报;2006年04期

8 张红杰;吴洪博;;L_n命题演算中的一种新程度化方法[J];纺织高校基础科学学报;2007年03期

9 王国俊;关于模糊推理的若干基本问题[J];工程数学学报;2000年S1期

10 辛晓东;非线性格值逻辑系统鄀_6[J];工程数学学报;2000年S1期

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

1 San-Min Wang Department of Computer Science & Engineering, Nanchang University,Nanchang 330029, P.R. China;NM(1/2),A FUZZY LOGIC FOR AN ORDINAL SUM T-NORM[A];Proceedings of the Eleventh International Fuzzy Systems Association World Congress(Volume Ⅰ)[C];2005年

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

3 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年

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

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

1 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

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

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

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

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

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

7 徐蔚鸿;模糊智能系统中模糊推理研究[D];南京理工大学;2004年

8 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年

9 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年

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

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

1 郑慕聪;余剩余格及其应用[D];陕西师范大学;2005年

2 高小军;模糊推理的新算法及基于模糊小波网络的自适应控制[D];西安电子科技大学;2002年

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

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

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

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

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

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

9 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

10 吴恒洋;模糊推理的数学结构及其应用[D];上海师范大学;2004年

【二级参考文献】

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

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

2 王国俊,任燕;Lukasiewicz命题集的发散性与相容性[J];工程数学学报;2003年03期

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

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

5 王国俊;三I方法与区间值模糊推理[J];中国科学E辑;2000年04期

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

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

8 吴洪博,文秋梅;L~*系统中的模糊演绎定理[J];陕西师范大学学报(自然科学版);2001年01期

9 王国俊,秦晓燕,周湘南;一类二值谓词逻辑中公式的准真度理论[J];陕西师范大学学报(自然科学版);2005年01期

10 吴洪博,王国俊;L~*系统的一种弱完全对偶形式系统WCL[J];西安石油学院学报(自然科学版);2000年06期

【相似文献】

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

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

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

3 张乐;裴道武;王三民;;系统馊_n~*的逻辑性质及其应用[J];高校应用数学学报A辑;2011年02期

4 黄山;;模糊数学、模糊技术和模糊产品[J];科技与企业;1997年05期

5 郝永花;王绪柱;;模糊选择函数T-拟传递合理性的刻画[J];太原理工大学学报;2011年04期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国重要会议论文全文数据库 前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年

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

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

2 任芳;正则蕴涵算子与新型模糊逻辑系统的研究[D];陕西师范大学;2005年

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

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

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

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

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

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

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

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

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

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

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

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

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

7 韩红领;短期负荷预测模型在地区电网的应用研究[D];华北电力大学（河北）;2007年

8 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

9 许格妮;偏序集上的S代数及其与若干代数的关系[D];陕西师范大学;2007年

10 代建云;有关内导集与逻辑度量的研究[D];陕西师范大学;2008年

，

本文编号：984412