本文選題：模糊邏輯 + (正則)剩余格��； 參考：《山東大學(xué)學(xué)報(bào)(理學(xué)版)》2010年10期

【摘要】：剩余格在模糊邏輯的研究中扮演著一個(gè)重要的角色。首先在剩余格中引入fuzzy⊙理想的概念,討論了(正則)剩余格中fuzzy⊙理想性質(zhì),給出了正則剩余格中fuzzy⊙理想的若干等價(jià)刻畫。其次,利用fuzzy⊙理想概念構(gòu)造了一個(gè)同余關(guān)系,證明一個(gè)正則剩余格在該同余關(guān)系下的商代數(shù)還是正則剩余格。
[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.
【作者單位】： 赤峰學(xué)院初等教育學(xué)院;
【分類號(hào)】：O141.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前1條

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

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 鄒庭榮;PFI代數(shù)及其P濾子[J];數(shù)學(xué)雜志;2000年03期

2 鄒庭榮,肖云萍;FI代數(shù)的濾子[J];模糊系統(tǒng)與數(shù)學(xué);2003年03期

3 肖云萍;QFI-代數(shù)及其Q濾子[J];廣西師院學(xué)報(bào)(自然科學(xué)版);2000年02期

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

5 任芳;R_0-代數(shù)上的同余關(guān)系[J];工程數(shù)學(xué)學(xué)報(bào);2001年01期

6 許文艷,韓誠(chéng);R_0代數(shù)中的真布爾元[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2003年04期

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

8 尤飛,馮艷賓,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅰ)——模糊蘊(yùn)涵算子及其性質(zhì)[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年05期

9 尤飛,馮艷賓,王加銀,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅱ)——模糊蘊(yùn)涵算子的伴隨對(duì)及其圈乘算子[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年02期

10 尤飛,楊昔陽(yáng),李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅲ)——由三角模或余三角模構(gòu)造的模糊蘊(yùn)涵算子[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年04期

相關(guān)會(huì)議論文 前10條

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

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

3 李桂華;李志偉;;Fuzzy蘊(yùn)涵代數(shù)的t-范及其性質(zhì)[A];第12屆全國(guó)模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年

4 霍書全;鞠實(shí)兒;;SLO的代數(shù)結(jié)構(gòu)[A];開(kāi)放類邏輯論文集[C];2004年

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

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

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

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

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

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

相關(guān)博士學(xué)位論文 前10條

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

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

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

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

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

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

7 李文江;基于格蘊(yùn)涵代數(shù)的廣義格值模態(tài)邏輯及其歸結(jié)自動(dòng)推理的研究[D];西南交通大學(xué);2002年

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

9 沈暉;基于知識(shí)管理的企業(yè)集成支撐技術(shù)研究[D];清華大學(xué);2003年

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

相關(guān)碩士學(xué)位論文 前10條

1 姚衛(wèi);Heyting代數(shù)中的濾子與同構(gòu)定理及其范疇Heyt[D];陜西師范大學(xué);2005年

2 任芳;互為伴隨的三角模與蘊(yùn)涵算子及蘊(yùn)涵算子的逼近問(wèn)題[D];陜西師范大學(xué);2001年

3 王向云;區(qū)間值模糊推理的三Ⅰ算法[D];陜西師范大學(xué);2001年

4 袁和軍;模糊推理的形式化理論[D];陜西師范大學(xué);2002年

5 李駿;一類n值命題邏輯中命題的真度理論及近似推理理論[D];陜西師范大學(xué);2002年

6 張寶華;關(guān)于格蘊(yùn)涵代數(shù)性質(zhì)的研究[D];西南交通大學(xué);2003年

7 �，幹�;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

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

9 蘭蓉;t-模與蘊(yùn)涵算子的同構(gòu)及廣義重言式理論[D];陜西師范大學(xué);2003年

10 張花榮;代數(shù)系統(tǒng)的可嵌入性[D];陜西師范大學(xué);2003年

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

相關(guān)期刊論文 前10條

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

2 任芳;R_0-代數(shù)上的同余關(guān)系[J];工程數(shù)學(xué)學(xué)報(bào);2001年01期

3 王向云;賦值為R_0-模糊集的邏輯系統(tǒng)[J];工程數(shù)學(xué)學(xué)報(bào);2001年01期

4 何穎俞,王國(guó)俊;L~*-Lindenbaum代數(shù)的結(jié)構(gòu)與L~*公理系統(tǒng)的簡(jiǎn)化形式[J];工程數(shù)學(xué)學(xué)報(bào);1998年01期

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

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

7 裴道武,王國(guó)俊;形式系統(tǒng)鈦~*的完備性及其應(yīng)用[J];中國(guó)科學(xué)E輯;2002年01期

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

9 程國(guó)勝;R_0代數(shù)中的濾子與理想[J];模糊系統(tǒng)與數(shù)學(xué);2001年01期

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

相關(guān)會(huì)議論文 前2條

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

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

【相似文獻(xiàn)】

相關(guān)會(huì)議論文 前10條

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

2 張尚水;;模糊邏輯[A];全國(guó)邏輯討論會(huì)論文選集[C];1979年

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

4 傅殿英;;模糊邏輯與質(zhì)量互變規(guī)律[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

5 暢春玲;張運(yùn)杰;于東;董云影;;建立在模糊邏輯上的模糊元胞自動(dòng)機(jī)[A];第12屆全國(guó)模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年

6 王建芳;;邏輯在人工智能科學(xué)中的應(yīng)用與前景[A];1994年邏輯研究專輯[C];1994年

7 閔珊華;賀仲雄;;金岳霖晚年對(duì)Fuzzy邏輯的認(rèn)識(shí)[A];金岳霖學(xué)術(shù)思想研究——金岳霖學(xué)術(shù)思想研討會(huì)論文集[C];1985年

8 陳圖云;吳鳳干;湯服成;;直覺(jué)模糊命題邏輯的廣義擬重言式及其分類[A];第12屆全國(guó)模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年

9 袁正校;何向東;;關(guān)于真謂詞的冗余論的若干問(wèn)題[A];1998年邏輯研究專輯[C];1998年

10 陳自立;桂起權(quán);;辯證邏輯公理系統(tǒng)DLA及DLB[A];1995年邏輯研究專輯[C];1995年

相關(guān)博士學(xué)位論文 前1條

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

相關(guān)碩士學(xué)位論文 前9條

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

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

3 王三民;模糊邏輯形式系統(tǒng)的若干完備性定理[D];陜西師范大學(xué);2001年

4 李曉冰;區(qū)間值模糊命題邏輯的廣義擬重言式及其真度[D];遼寧師范大學(xué);2005年

5 張瓊;BL_△~*形式系統(tǒng)與NM（?）形式系統(tǒng)的研究[D];陜西師范大學(xué);2010年

6 李海霞;邏輯代數(shù)中若干問(wèn)題的研究[D];陜西師范大學(xué);2008年

7 高李紅;QBL代數(shù)與IMTL代數(shù)及系統(tǒng)的研究[D];陜西師范大學(xué);2011年

8 李麗;模糊時(shí)序命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

9 任芳;互為伴隨的三角模與蘊(yùn)涵算子及蘊(yùn)涵算子的逼近問(wèn)題[D];陜西師范大學(xué);2001年

，

本文編號(hào)：1888384