本文關(guān)鍵詞：IMTL邏輯代數(shù)的一種新強(qiáng)化形式

  更多相關(guān)文章： 模糊邏輯 邏輯代數(shù) IMTL-代數(shù) IMTL*-代數(shù) 特征 蘊(yùn)涵表示定理

【摘要】：對(duì)IMTL-代數(shù)及其相關(guān)邏輯代數(shù)進(jìn)行了進(jìn)一步的研究,通過(guò)加強(qiáng)IMTL-代數(shù)條件的方法建立了IMTL*-代數(shù),并通過(guò)實(shí)例證明了IMTL*-代數(shù)結(jié)構(gòu)的存在性;其次,構(gòu)造了一個(gè)非IMTL*-代數(shù)的IMTL-代數(shù),說(shuō)明了IMTL*-代數(shù)是IMTL-代數(shù)的真的強(qiáng)化形式,并基于IMTL-代數(shù)給出了IMTL*-代數(shù)的一些等價(jià)刻畫(huà);最后,給出了IMTL*-代數(shù)的蘊(yùn)涵表示形式。本文的結(jié)果是對(duì)邏輯代數(shù)的研究?jī)?nèi)容和方法的有益補(bǔ)充。
【作者單位】： 河西學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院;陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【關(guān)鍵詞】： 模糊邏輯 邏輯代數(shù) IMTL-代數(shù) IMTL*-代數(shù) 特征 蘊(yùn)涵表示定理
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(11171196)
【分類(lèi)號(hào)】：O141.1
【正文快照】： 邏輯代數(shù)是在數(shù)理邏輯研究過(guò)程中建立的一個(gè)重要的代數(shù)分支,是數(shù)理邏輯研究?jī)?nèi)容的重要組成部分。自文獻(xiàn)[1]從代數(shù)角度解決了錢(qián)ukasiewicz多值命題邏輯演算系統(tǒng)的完備性以后,邏輯代數(shù)在模糊邏輯理論研究中的重要性得到了邏輯學(xué)者的廣泛重視,適用于不同模糊邏輯系統(tǒng)的多種邏輯代

【參考文獻(xiàn)】

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

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

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

3 周建仁;吳洪博;;WBR_0-代數(shù)的正則性及與其他邏輯代數(shù)的關(guān)系[J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2012年02期

4 李玲玲;吳洪博;;BR_0-分配性及其推廣[J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2012年02期

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

6 吳洪博;王娜;;WBR_0-代數(shù)的兩種弱化形式及其性質(zhì)[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2012年04期

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

8 周建仁;吳洪博;;剩余偏序集及其與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];安康師專(zhuān)學(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 劉宏嵐;高慶獅;楊炳儒;;多值邏輯中的命題相關(guān)性與邏輯運(yùn)算研究[J];北京科技大學(xué)學(xué)報(bào);2007年S2期

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

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

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

10 蘇忍鎖;蘊(yùn)涵格、弱R_o代數(shù)與正則剩余格[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2004年02期

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

1 王茹;王國(guó)俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

2 郭秀敏;王國(guó)俊;;關(guān)于描述邏輯中不動(dòng)點(diǎn)語(yǔ)義的討論[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

3 段巧林;王國(guó)俊;;根與幾種命題邏輯系統(tǒng)中的近似推理[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

4 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

5 潘小東;徐揚(yáng);;基于Lukasiewicz蘊(yùn)涵代數(shù)的模糊命題邏輯的語(yǔ)法理論[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

6 胡明娣;于鵬;王國(guó)俊;;蘊(yùn)涵格的正規(guī)MP-濾子與素濾子[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

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

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

9 潘小東;徐揚(yáng);;基于格值命題邏輯的語(yǔ)言真值不確定性推理方法[A];第八屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2010年

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

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

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

2 馬麗娜;模糊推理方法及知識(shí)推理的計(jì)量化研究[D];陜西師范大學(xué);2011年

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

4 陳佳林;柔性邏輯的健全性研究與應(yīng)用[D];北京郵電大學(xué);2011年

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

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

7 于海田;民航安全分析與管理研究[D];上海大學(xué);2011年

8 范永青;幾類(lèi)復(fù)雜動(dòng)態(tài)系統(tǒng)穩(wěn)定及同步控制研究[D];廣東工業(yè)大學(xué);2012年

9 樊磊;Domain理論中若干問(wèn)題的研究[D];首都師范大學(xué);2001年

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

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

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

2 黃阿敏;基于蘊(yùn)涵算子族的模糊邏輯理論[D];浙江理工大學(xué);2010年

3 鹿文慧;基于重心法的Boolean模糊系統(tǒng)及其概率表示理論[D];大連理工大學(xué);2010年

4 袁英敏;基于CRI方法的重心法模糊系統(tǒng)及概率表示[D];大連理工大學(xué);2010年

5 王云濤;基于二Ⅰ算法的模糊系統(tǒng)的構(gòu)造及其概率表示[D];大連理工大學(xué);2010年

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

7 劉婷;軟集合理論在模糊邏輯代數(shù)中的應(yīng)用研究[D];江南大學(xué);2010年

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

9 趙力;模糊推理的三Ⅰ算法研究[D];山東大學(xué);2010年

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

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

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

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

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

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

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

9 吳洪博,文秋梅;基礎(chǔ)L~*系統(tǒng)的一種擴(kuò)張——Lukasiewicz系統(tǒng)[J];模糊系統(tǒng)與數(shù)學(xué);2002年02期

10 王國(guó)俊;劉華文;宋建社;;三I方法綜述——它的提出、發(fā)展、應(yīng)用和邏輯版本[J];模糊系統(tǒng)與數(shù)學(xué);2006年06期

【相似文獻(xiàn)】

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

1 霍書(shū)全;;現(xiàn)當(dāng)代多值邏輯的主要技術(shù)成果和語(yǔ)義哲學(xué)基礎(chǔ)[J];自然辯證法通訊;2007年05期

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

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

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

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

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

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

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

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

10 李自治;用邏輯代數(shù)方程估計(jì)地震趨勢(shì)[J];地震;1982年02期

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

1 張惠民;;論模糊邏輯的哲學(xué)意義和實(shí)用價(jià)值[A];1993年邏輯研究專(zhuān)輯[C];1993年

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

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

4 王敏;高翔;李宏偉;;模糊邏輯及遺傳算法在入侵檢測(cè)中的應(yīng)用[A];首屆信息獲取與處理學(xué)術(shù)會(huì)議論文集[C];2003年

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

6 曲建嶺;田邊;王磊;戴冠中;;基于相關(guān)傳感量的多傳感信號(hào)模糊推理方法[A];1998年中國(guó)智能自動(dòng)化學(xué)術(shù)會(huì)議論文集（上冊(cè)）[C];1998年

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

8 楊先野;付強(qiáng);;模糊神經(jīng)網(wǎng)絡(luò)在水文水資源應(yīng)用中的研究進(jìn)展[A];農(nóng)業(yè)系統(tǒng)工程理論與實(shí)踐研究——全國(guó)農(nóng)業(yè)系統(tǒng)工程學(xué)術(shù)研討會(huì)論文集[C];2006年

9 劉煒;李建東;;模糊邏輯在越區(qū)切換中的應(yīng)用[A];1998中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1998年

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 ;神經(jīng)網(wǎng)絡(luò)和模糊邏輯[N];世界金屬導(dǎo)報(bào);2002年

2 ;DANIELI自動(dòng)煉鋼、連鑄、軋鋼技術(shù)訣竅與成套技術(shù)[N];世界金屬導(dǎo)報(bào);2006年

3 孫富春 孫增圻;計(jì)算智能技術(shù)[N];計(jì)算機(jī)世界;2001年

4 ;馬子雜話(huà)前言后語(yǔ)[N];天津日?qǐng)?bào);2004年

5 劉友存 摘譯;實(shí)現(xiàn)高效 加強(qiáng)環(huán)保[N];中國(guó)冶金報(bào);2006年

6 曹衛(wèi)東;展望未來(lái)電梯發(fā)展方向[N];廣東建設(shè)報(bào);2005年

7 詹臏 羅楊;以多變量為基礎(chǔ)的現(xiàn)代智能控制[N];光明日?qǐng)?bào);2000年

8 本報(bào)記者 劉學(xué)習(xí) 林潤(rùn)華;下一代CPU引發(fā)連鎖發(fā)應(yīng)[N];計(jì)算機(jī)世界;2005年

9 曾迎之;網(wǎng)絡(luò)故障追根源[N];中國(guó)計(jì)算機(jī)報(bào);2001年

10 清華大學(xué)玉泉醫(yī)院神外 劉偉國(guó);意識(shí)如何進(jìn)行客觀評(píng)價(jià)[N];健康報(bào);2008年

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

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

2 閻石;結(jié)構(gòu)振動(dòng)智能控制的人工神經(jīng)網(wǎng)絡(luò)與模糊邏輯方法研究[D];大連理工大學(xué);2000年

3 曹恒;基于模糊邏輯的內(nèi)燃機(jī)車(chē)大功率柴油機(jī)智能控制系統(tǒng)的研究[D];大連理工大學(xué);2000年

4 張持健;商空間下模糊系統(tǒng)與模糊控制的問(wèn)題求解[D];安徽大學(xué);2005年

5 馬育鋒;蜂窩無(wú)線(xiàn)通信網(wǎng)絡(luò)呼叫允許控制研究[D];華中科技大學(xué);2005年

6 余慶軍;智能圖像處理及其在無(wú)線(xiàn)多媒體業(yè)務(wù)中的應(yīng)用[D];華南理工大學(xué);2004年

7 王杰;自適應(yīng)多通路聲學(xué)回波消除理論與應(yīng)用研究[D];華南理工大學(xué);2004年

8 梁新榮;高速公路智能控制方法研究[D];華南理工大學(xué);2005年

9 周思躍;基于虛擬現(xiàn)實(shí)的機(jī)器人靈巧手遙操作平臺(tái)的設(shè)計(jì)和實(shí)現(xiàn)[D];上海大學(xué);2006年

10 王鵬;復(fù)合材料設(shè)計(jì)專(zhuān)家系統(tǒng)的實(shí)現(xiàn)與評(píng)估[D];哈爾濱工程大學(xué);2006年

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

1 丁正;自動(dòng)化立體倉(cāng)庫(kù)管理系統(tǒng)的開(kāi)發(fā)與研究[D];合肥工業(yè)大學(xué);2007年

2 李偉為;基于遙控地下鏟運(yùn)機(jī)的行駛智能控制策略研究[D];電子科技大學(xué);2009年

3 劉立輝;基于GIS的電網(wǎng)負(fù)荷預(yù)測(cè)及其優(yōu)化研究[D];大慶石油學(xué)院;2009年

4 蔣萍;模糊邏輯在風(fēng)險(xiǎn)投資決策中的應(yīng)用[D];西南師范大學(xué);2005年

5 姜長(zhǎng)元;模糊神經(jīng)網(wǎng)絡(luò)模型及其應(yīng)用研究[D];南京師范大學(xué);2005年

6 何蘭香;基于T-S模型的模糊神經(jīng)網(wǎng)絡(luò)局部放電模式識(shí)別方法[D];哈爾濱理工大學(xué);2009年

7 孫增國(guó);神經(jīng)網(wǎng)絡(luò)和模糊專(zhuān)家系統(tǒng)在故障診斷中的應(yīng)用[D];大連理工大學(xué);2004年

8 王曉軍;語(yǔ)用模糊理論綜觀[D];吉林大學(xué);2005年

9 李小亞;基于人工智能的數(shù)據(jù)融合技術(shù)在火災(zāi)探測(cè)中的應(yīng)用研究[D];廣東工業(yè)大學(xué);2005年

10 李學(xué)華;模糊粗糙理論與神經(jīng)網(wǎng)絡(luò)在信息處理中的應(yīng)用[D];電子科技大學(xué);2005年

，

本文編號(hào)：688254