本文關(guān)鍵詞：BL代數(shù)的一種弱化形式

  更多相關(guān)文章： 模糊邏輯 邏輯代數(shù) BL-代數(shù) MTL-代數(shù) NM-代數(shù) WBL-代數(shù)

【摘要】：在對(duì)BL-代數(shù)及其相關(guān)邏輯代數(shù)研究的基礎(chǔ)上,通過(guò)加強(qiáng)MTL-代數(shù)條件的方法建立BL-代數(shù)的一種弱化形式——WBL-代數(shù),并給出WBL-代數(shù)結(jié)構(gòu)的實(shí)例;證明BL-代數(shù)是WBL-代數(shù),并通過(guò)實(shí)例說(shuō)明WBL-代數(shù)是BL-代數(shù)的真弱化形式,且是MTL-代數(shù)的真加強(qiáng)形式;在MTL-代數(shù)的基礎(chǔ)上給出WBL-代數(shù)的一些特征定理.
【作者單位】： 河西學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院;陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【關(guān)鍵詞】： 模糊邏輯 邏輯代數(shù) BL-代數(shù) MTL-代數(shù) NM-代數(shù) WBL-代數(shù)
【基金】：國(guó)家自然科學(xué)基金(批準(zhǔn)號(hào):11171196)
【分類號(hào)】：O141.1
【正文快照】： 自Chang[1]從代數(shù)角度解決了Lukasiewicz多值邏輯命題演算系統(tǒng)的完備性后,邏輯代數(shù)在模糊邏輯理論中的重要性得到了邏輯學(xué)者的廣泛關(guān)注,并根據(jù)不同模糊邏輯系統(tǒng)的語(yǔ)義理論需要建立了多種邏輯代數(shù)結(jié)構(gòu)[2-13].例如:Pavelka[2-4]提出了豐富剩余格理論;吳望名[5]和徐揚(yáng)等[6-7]以多

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前7條

1 吳洪博;王昭海;;BR_0 代數(shù)的無(wú)序表示形式及WBR_0 代數(shù)性質(zhì)[J];工程數(shù)學(xué)學(xué)報(bào);2009年03期

2 吳洪博;;R_0-代數(shù)在一般集合上的崴,→表示形式[J];吉林大學(xué)學(xué)報(bào)(理學(xué)版);2009年04期

3 高李紅;吳洪博;;QBL-代數(shù)及其與BL-代數(shù)的等價(jià)性[J];吉林大學(xué)學(xué)報(bào)(理學(xué)版);2011年01期

4 吳望名;Fuzzy蘊(yùn)涵代數(shù)[J];模糊系統(tǒng)與數(shù)學(xué);1990年01期

5 吳洪博;基礎(chǔ)R_(0-)代數(shù)與基礎(chǔ)L~*系統(tǒng)[J];數(shù)學(xué)進(jìn)展;2003年05期

6 徐揚(yáng);;格蘊(yùn)涵代數(shù)[J];西南交通大學(xué)學(xué)報(bào);1993年01期

7 周建仁;吳洪博;;剩余偏序集及其與FI代數(shù)的關(guān)系[J];云南師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2012年03期

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 義書(shū);關(guān)于MV-代數(shù)的等價(jià)公理系[J];安康師專學(xué)報(bào);2000年04期

2 張紅杰;吳洪博;;BR_0代數(shù)中的濾子與理想[J];安康學(xué)院學(xué)報(bào);2007年01期

3 龔加安;吳洪博;;BR_0代數(shù)的模糊濾子與模糊素濾子[J];安康學(xué)院學(xué)報(bào);2009年06期

4 吳洪博;;基于非交換剩余格的(α,β]-模糊濾子(上)[J];安康學(xué)院學(xué)報(bào);2011年02期

5 吳洪博;;基于非交換剩余格的(α,β]-模糊濾子(下)[J];安康學(xué)院學(xué)報(bào);2011年03期

6 李志偉;李桂華;;模糊廣義正則蘊(yùn)涵代數(shù)[J];畢節(jié)學(xué)院學(xué)報(bào);2008年04期

7 張家鋒;彭麟淋;李景云;;關(guān)于格值邏輯系統(tǒng)中語(yǔ)義歸結(jié)的幾點(diǎn)思考[J];畢節(jié)學(xué)院學(xué)報(bào);2011年01期

8 吳明慧;徐揚(yáng);;格蘊(yùn)涵代數(shù)的布爾濾子[J];畢節(jié)學(xué)院學(xué)報(bào);2011年04期

9 段景瑤;王國(guó)俊;;Boole代數(shù)的等價(jià)刻畫(huà)[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2007年03期

10 朱怡權(quán);關(guān)于格蘊(yùn)涵代數(shù)與BCK-代數(shù)[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);1999年03期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 賴家俊;潘小東;徐開(kāi)俊;徐揚(yáng);;基于十八元非鏈格值命題邏輯L_(18)P(X)中的歸結(jié)方法的研究[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

2 許格妮;;可交換的s代數(shù)[A];第十二屆中國(guó)青年信息與管理學(xué)者大會(huì)論文集[C];2010年

3 許格妮;;偏序集上關(guān)聯(lián)s代數(shù)的性質(zhì)[A];第九屆中國(guó)不確定系統(tǒng)年會(huì)、第五屆中國(guó)智能計(jì)算大會(huì)、第十三屆中國(guó)青年信息與管理學(xué)者大會(huì)論文集[C];2011年

4 宋振明;;蘊(yùn)涵濾子空間的積拓?fù)浜蜕掏負(fù)鋄A];模糊集理論與應(yīng)用——98年中國(guó)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第九屆年會(huì)論文選集[C];1998年

5 徐揚(yáng);;基于格值命題邏輯L_(vpl)的近似推理[A];模糊集理論與應(yīng)用——98年中國(guó)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第九屆年會(huì)論文選集[C];1998年

6 劉軍;馬駿;;格值邏輯系統(tǒng)LP(X)的推理性質(zhì)討論[A];模糊集理論與應(yīng)用——98年中國(guó)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第九屆年會(huì)論文選集[C];1998年

7 李志偉;李桂華;;Fuzzy蘊(yùn)涵代數(shù)的若干性質(zhì)[A];模糊集理論與模糊應(yīng)用專輯——中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

8 裴道武;;R_0代數(shù)中的MP濾子與同余關(guān)系[A];模糊集理論與模糊應(yīng)用專輯——中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

9 王國(guó)俊;;Fuzzy邏輯與有序代數(shù)[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十一屆年會(huì)論文選集[C];2002年

10 李志偉;;偏序集上的關(guān)聯(lián)蘊(yùn)涵代數(shù)[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十一屆年會(huì)論文選集[C];2002年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 韓召偉;幾類基于量子邏輯的自動(dòng)機(jī)的代數(shù)及邏輯刻畫(huà)[D];陜西師范大學(xué);2011年

2 賴家俊;基于語(yǔ)言真值格值一階邏輯的不確定性推理研究[D];西南交通大學(xué);2011年

3 鄒麗;基于語(yǔ)言真值格蘊(yùn)涵代數(shù)的格值命題邏輯及其歸結(jié)自動(dòng)推理研究[D];西南交通大學(xué);2010年

4 李志偉;偏序集上的蘊(yùn)涵代數(shù)[D];首都師范大學(xué);2002年

5 趙光峰;格蘊(yùn)涵代數(shù)與圖的升分解問(wèn)題的研究[D];西南交通大學(xué);2002年

6 馬駿;基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)及其自動(dòng)推理的研究[D];西南交通大學(xué);2002年

7 斐崢;基于神經(jīng)網(wǎng)絡(luò)的自動(dòng)推理理論及方法的研究[D];西南交通大學(xué);2002年

8 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結(jié)原理的自動(dòng)推理方法的研究[D];西南交通大學(xué);2002年

9 李海明;關(guān)于格值邏輯及自動(dòng)推理的研究[D];西南交通大學(xué);2003年

10 劉曉紅;關(guān)于企業(yè)人力資源評(píng)價(jià)信息處理系統(tǒng)的研究[D];西南交通大學(xué);2004年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 許筱婷;基于本體論的知識(shí)表達(dá)[D];湘潭大學(xué);2010年

2 李四化;幾種多值邏輯系統(tǒng)重言式關(guān)系和L_4中導(dǎo)出函數(shù)問(wèn)題的研究[D];山東大學(xué);2010年

3 吳媛;剩余格的模糊濾子和廣義模糊濾子[D];西北大學(xué);2011年

4 張保壘;表列演算探究[D];華東師范大學(xué);2011年

5 李彩紅;命題邏輯中廣義MP問(wèn)題的合理解及新型反向三I算法[D];蘭州理工大學(xué);2011年

6 陳冬青;BR_0-代數(shù)與WBR_0-代數(shù)的研究[D];陜西師范大學(xué);2011年

7 范欣;幾種邏輯代數(shù)的剩余格刻畫(huà)及命題邏輯系統(tǒng)中條件真度的比較[D];陜西師范大學(xué);2011年

8 李蘇妮;加權(quán)Moore機(jī)的同余與格值Moore機(jī)的約化[D];陜西師范大學(xué);2011年

9 王志明;WBR_0代數(shù)的研究[D];陜西師范大學(xué);2011年

10 程紅梅;幾種邏輯度量空間中的反射變換[D];陜西師范大學(xué);2011年

【二級(jí)參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 吳洪博;L~*系統(tǒng)的一種改進(jìn)系統(tǒng)L_0~*[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2001年01期

2 劉敏;吳洪博;;預(yù)線性剩余格與邏輯代數(shù)[J];工程數(shù)學(xué)學(xué)報(bào);2008年02期

3 吳洪博;王昭海;;BR_0 代數(shù)的無(wú)序表示形式及WBR_0 代數(shù)性質(zhì)[J];工程數(shù)學(xué)學(xué)報(bào);2009年03期

4 王國(guó)俊;修正的Kleene系統(tǒng)中的Σ-(α-重言式)理論[J];中國(guó)科學(xué)E輯:技術(shù)科學(xué);1998年02期

5 王國(guó)俊;模糊推理的全蘊(yùn)涵三I算法[J];中國(guó)科學(xué)E輯:技術(shù)科學(xué);1999年01期

6 吳洪博;修正的Kleene系統(tǒng)中的廣義重言式理論[J];中國(guó)科學(xué)E輯:技術(shù)科學(xué);2002年02期

7 吳洪博;;R_0-代數(shù)在一般集合上的崴,→表示形式[J];吉林大學(xué)學(xué)報(bào)(理學(xué)版);2009年04期

8 王國(guó)俊;模糊命題演算的一種形式演繹系統(tǒng)[J];科學(xué)通報(bào);1997年10期

9 吳望名;Fuzzy蘊(yùn)涵代數(shù)[J];模糊系統(tǒng)與數(shù)學(xué);1990年01期

10 王國(guó)俊;MV-代數(shù)、BL-代數(shù)、R_0-代數(shù)與多值邏輯[J];模糊系統(tǒng)與數(shù)學(xué);2002年02期

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 汪德剛;谷云東;李洪興;;模糊模態(tài)命題邏輯及其廣義重言式[J];電子學(xué)報(bào);2007年02期

2 吳洪博;;R_0-代數(shù)的格蘊(yùn)涵表示定理[J];模糊系統(tǒng)與數(shù)學(xué);2007年03期

3 吳洪博;喬希民;;BR_0-代數(shù)定義的簡(jiǎn)化形式[J];四川大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年06期

4 高李紅;吳洪博;;QBL-代數(shù)及其與BL-代數(shù)的等價(jià)性[J];吉林大學(xué)學(xué)報(bào)(理學(xué)版);2011年01期

5 代建云;吳洪博;;[0,1]上的一種邏輯度量結(jié)構(gòu)[J];華中師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年02期

6 張秋霞;吳洪博;;BR_0代數(shù)的模糊理想與直覺(jué)模糊理想[J];計(jì)算機(jī)工程與應(yīng)用;2008年30期

7 秦學(xué)成;劉春輝;;正則剩余格的fuzzy ⊙-理想格[J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2011年08期

8 朱翔;徐羅山;;BL代數(shù)的等價(jià)刻畫(huà)及更多性質(zhì)[J];模糊系統(tǒng)與數(shù)學(xué);2011年01期

9 裴道武;王三民;楊瑞;;模糊蘊(yùn)涵格理論[J];高校應(yīng)用數(shù)學(xué)學(xué)報(bào)A輯;2011年03期

10 鄒澤民;布爾代數(shù)系統(tǒng)的公理化定義及基本性質(zhì)定理[J];廣西梧州師范高等�？茖W(xué)校學(xué)報(bào);2001年03期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 張倩生;沈繼忠;;雙模糊拓?fù)涞囊粋�(gè)新方法[A];模糊集理論與模糊應(yīng)用專輯——中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

2 龐善起;秦克云;趙希順;王雪生;;模糊邏輯與二值邏輯[A];模糊數(shù)學(xué)和系統(tǒng)成果會(huì)論文集[C];1991年

3 裴道武;;R_0代數(shù)中的MP濾子與同余關(guān)系[A];模糊集理論與模糊應(yīng)用專輯——中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

4 成央金;;De Morgan函數(shù)的簡(jiǎn)化(Ⅰ)[A];1997中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1997年

5 陳圖云;陳文麗;;修正的Atanassov邏輯及其廣義重言式[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十一屆年會(huì)論文選集[C];2002年

6 成科揚(yáng);;基于集對(duì)分析的模糊邏輯及其推理方法研究[A];第二十三屆中國(guó)控制會(huì)議論文集（下冊(cè)）[C];2004年

7 任燕;王洪麗;魯忠良;;模糊邏輯的緊致性與模糊理論相容度[A];中國(guó)運(yùn)籌學(xué)會(huì)模糊信息與模糊工程分會(huì)第五屆學(xué)術(shù)年會(huì)論文集[C];2010年

8 焦利民;劉耀林;;土地適宜性評(píng)價(jià)的模糊神經(jīng)網(wǎng)絡(luò)建模及其應(yīng)用分析[A];節(jié)能環(huán)保 和諧發(fā)展——2007中國(guó)科協(xié)年會(huì)論文集（二）[C];2007年

9 郭方芳;陳圖云;;模糊推理渠道及鏈、網(wǎng)的確定度[A];模糊集理論與模糊應(yīng)用專輯——中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

10 鄒麗;;直覺(jué)算子模糊邏輯的解釋及應(yīng)用[A];模糊集理論與模糊應(yīng)用專輯——中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前9條

1 覃鋒;模糊邏輯中若干問(wèn)題的研究[D];四川大學(xué);2004年

2 周湘南;與剩余格相關(guān)的幾類邏輯代數(shù)系統(tǒng)的研究[D];湖南大學(xué);2008年

3 李志偉;偏序集上的蘊(yùn)涵代數(shù)[D];首都師范大學(xué);2002年

4 韓誠(chéng);R_0代數(shù)及Vague集的相似度理論[D];陜西師范大學(xué);2006年

5 何映思;模糊推理方法及模糊邏輯形式系統(tǒng)研究[D];西南大學(xué);2011年

6 俞峰;基于直覺(jué)區(qū)間值模糊理論的近似推理與多屬性決策研究[D];南京理工大學(xué);2008年

7 盧志剛;基于模糊理論的電子商務(wù)聲譽(yù)管理模型研究[D];天津大學(xué);2007年

8 李嵩松;基于隱馬爾可夫模型和計(jì)算智能的股票價(jià)格時(shí)間序列預(yù)測(cè)[D];哈爾濱工業(yè)大學(xué);2011年

9 王偉;非可換邏輯代數(shù)的濾子及模糊化理論[D];西北大學(xué);2010年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 李秀英;非線性系統(tǒng)的模糊辨識(shí)與控制[D];黑龍江大學(xué);2005年

2 崔麗聰;基于模糊測(cè)度和模糊積分的語(yǔ)言量詞[D];陜西師范大學(xué);2008年

3 吳鳳干;直覺(jué)模糊命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

4 張凱;區(qū)間二型模糊邏輯智能系統(tǒng)的設(shè)計(jì)[D];遼寧工業(yè)大學(xué);2012年

5 賴思靜;基于神經(jīng)網(wǎng)絡(luò)和模糊邏輯的結(jié)構(gòu)控制算法研究[D];重慶大學(xué);2002年

6 王龍春;L～*系統(tǒng)中的一類廣義重言式與L～*系統(tǒng)的一種擴(kuò)張[D];陜西師范大學(xué);2003年

7 陳文麗;修正的Atanassov命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2003年

8 朱廣文;DBR_0-代數(shù)性質(zhì)及相關(guān)研究[D];陜西師范大學(xué);2013年

9 張宇卓;區(qū)間值模糊命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2003年

10 孟艷平;擾動(dòng)模糊命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

，

本文編號(hào)：541056