本文關(guān)鍵詞：基于非交換剩余格的模糊蘊(yùn)涵濾子及其性質(zhì)

  更多相關(guān)文章： 模糊邏輯 非交換剩余格 模糊濾子 模糊蘊(yùn)涵濾子 模糊正蘊(yùn)涵濾子

【摘要】：對(duì)非交換剩余格的結(jié)構(gòu)作了進(jìn)一步研究。結(jié)合模糊數(shù)學(xué)的思想和方法,在非交換剩余格上引入了模糊濾子,討論了模糊濾子與分明濾子之間的關(guān)系;并且在模糊濾子的基礎(chǔ)上引入了模糊蘊(yùn)涵濾子和模糊正蘊(yùn)涵濾子的概念,并討論其基本性質(zhì),給出了模糊蘊(yùn)涵濾子和模糊正蘊(yùn)涵濾子的等價(jià)刻畫,證明了模糊正蘊(yùn)涵濾子一定是模糊蘊(yùn)涵濾子,模糊蘊(yùn)涵濾子和模糊正蘊(yùn)涵濾子在一定條件下是等價(jià)的。
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【關(guān)鍵詞】： 模糊邏輯 非交換剩余格 模糊濾子 模糊蘊(yùn)涵濾子 模糊正蘊(yùn)涵濾子
【基金】：國家自然科學(xué)基金資助項(xiàng)目(10871121)
【分類號(hào)】：O141.1
【正文快照】： 在對(duì)邏輯代數(shù)系統(tǒng)研究的過程中,人們從不同的角度提出了多種形式的邏輯代數(shù)系統(tǒng),例如:MV-代數(shù),BL-代數(shù),R0-代數(shù),BR0-代數(shù),MTL-代數(shù)等[1-5]。而以上這些邏輯代數(shù)系統(tǒng)可以看作基于剩余格[6]再附加某些條件而得到,如:MTL-代數(shù)是剩余格附加上預(yù)線性條件:(x→y)∨(y→x)=1[5];BL-

【相似文獻(xiàn)】

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

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

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

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

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

5 暢春玲;張運(yùn)杰;于東;董云影;;建立在模糊邏輯上的模糊元胞自動(dòng)機(jī)[A];第12屆全國模糊系統(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 陳圖云;吳鳳干;湯服成;;直覺模糊命題邏輯的廣義擬重言式及其分類[A];第12屆全國模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年

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

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

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

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

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

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

2 孟艷平;擾動(dòng)模糊命題邏輯系統(tǒng)的語義[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ù)中若干問題的研究[D];陜西師范大學(xué);2008年

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

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

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

，

本文編號(hào)：632477