本文關(guān)鍵詞：軟FI代數(shù)及其軟MP濾子

  更多相關(guān)文章： FI代數(shù) 軟集 軟FI代數(shù) 軟MP濾子

【摘要】：將Molodtsov提出的軟集概念及其相關(guān)運(yùn)算應(yīng)用于FI代數(shù)的研究,引入了軟FI代數(shù)和軟FI代數(shù)的軟MP濾子的概念,討論了它們的若干代數(shù)性質(zhì),證明了FI代數(shù)X上的任意2個(gè)軟FI代數(shù)的交與直積仍為X上的軟FI代數(shù)的結(jié)論.該研究工作不但有助于促進(jìn)軟集概念與邏輯代數(shù)結(jié)構(gòu)的相互融合,而且有助于豐富和完善軟集理論與FI代數(shù)理論的內(nèi)容.
【作者單位】： 赤峰學(xué)院教務(wù)處;赤峰學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院;
【關(guān)鍵詞】： FI代數(shù) 軟集 軟FI代數(shù) 軟MP濾子
【基金】：國(guó)家自然科學(xué)基金(10371106)資助項(xiàng)目
【分類(lèi)號(hào)】：O141.1
【正文快照】： 1引言及預(yù)備知識(shí)非經(jīng)典數(shù)理邏輯理論[1]的一個(gè)重要研究分支是對(duì)邏輯代數(shù)系統(tǒng)的研究.Fuzzy蘊(yùn)涵代數(shù)(簡(jiǎn)稱(chēng):FI代數(shù))是由吳望名[2]于1990年提出的,它揭示了蘊(yùn)涵算子的共同本質(zhì),是蘊(yùn)涵連接詞的代數(shù)化.大部分著名的邏輯代數(shù)系統(tǒng)(如BL代數(shù)、MV代數(shù)、MTL代數(shù)、R0代數(shù)、格蘊(yùn)涵代數(shù)等)都

【參考文獻(xiàn)】

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

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

2 秦學(xué)成;劉春輝;;Fuzzy蘊(yùn)涵代數(shù)的區(qū)間值fuzzy濾子[J];計(jì)算機(jī)工程與應(yīng)用;2010年31期

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

4 代建云;吳洪博;;分配的Fuzzy蘊(yùn)涵代數(shù)[J];模糊系統(tǒng)與數(shù)學(xué);2008年01期

5 朱怡權(quán);;基于FI-代數(shù)的一階模糊謂詞演算邏輯系統(tǒng)[J];模糊系統(tǒng)與數(shù)學(xué);2008年04期

6 劉春輝;徐羅山;;Fuzzy蘊(yùn)涵代數(shù)的MP濾子[J];模糊系統(tǒng)與數(shù)學(xué);2009年02期

7 劉春輝;徐羅山;;Fuzzy蘊(yùn)涵代數(shù)的素MP濾子[J];模糊系統(tǒng)與數(shù)學(xué);2011年01期

8 朱怡權(quán);;關(guān)于PFI代數(shù)的格論性質(zhì)[J];四川師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年02期

9 劉春輝;吳紅霞;徐羅山;;關(guān)于CFI代數(shù)[J];揚(yáng)州大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年04期

10 劉春輝;徐羅山;;賦范Fuzzy蘊(yùn)涵代數(shù)[J];揚(yáng)州大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年03期

【共引文獻(xiàn)】

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

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

2 劉宏嵐;高慶獅;楊炳儒;;多值邏輯中的命題相關(guān)性與邏輯運(yùn)算研究[J];北京科技大學(xué)學(xué)報(bào);2007年S2期

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

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

5 劉東利,茹永梅;經(jīng)典二值邏輯系統(tǒng)L中的MT問(wèn)題[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2005年04期

6 杜亞靈;尹貽林;;基于模糊邏輯的公共項(xiàng)目風(fēng)險(xiǎn)分配模型[J];北京理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2008年03期

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

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

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

10 尤飛,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅳ)——模糊蘊(yùn)涵算子的對(duì)偶算子[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年05期

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

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

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

10 潘小東;;模糊一階邏輯研究進(jìn)展綜述[A];第十屆中國(guó)不確定系統(tǒng)年會(huì)、第十四屆中國(guó)青年信息與管理學(xué)者大會(huì)論文集[C];2012年

中國(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ù)中的應(yīng)用研究[D];江南大學(xué);2010年

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

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

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

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

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

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

1 劉練珍,李開(kāi)泰;FI代數(shù)同構(gòu)于一族全序FI代數(shù)的直積的子代數(shù)的條件[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2004年01期

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

3 裴道武 ,王國(guó)俊;The completeness and applications of the formal system B[J];Science in China(Series F:Information Sciences);2002年01期

4 羅敏霞,何華燦;一種泛邏輯代數(shù)系統(tǒng)[J];計(jì)算機(jī)工程與應(yīng)用;2005年14期

5 肖云萍;鄒庭榮;;泛邏輯學(xué)中UB代數(shù)系統(tǒng)的濾子與商代數(shù)[J];計(jì)算機(jī)工程與應(yīng)用;2007年35期

6 劉春輝;;泛邏輯學(xué)中UB代數(shù)系統(tǒng)的(∈,∈∨q)-fuzzy濾子[J];計(jì)算機(jī)工程與應(yīng)用;2009年34期

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

8 肖云萍;鄒庭榮;;泛邏輯學(xué)中UB代數(shù)系統(tǒng)的fuzzy濾子[J];計(jì)算機(jī)科學(xué)與探索;2008年02期

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

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

【相似文獻(xiàn)】

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

1 馬振明;;Pawlak近似空間中軟集的軟上(下)近似[J];計(jì)算機(jī)工程與應(yīng)用;2011年18期

2 楊海龍;李生剛;;軟Vague關(guān)系再研究[J];計(jì)算機(jī)工程與應(yīng)用;2009年22期

3 孫玉真;姚炳學(xué);;軟群[J];大學(xué)數(shù)學(xué);2010年02期

4 彭家寅;;軟BCH-代數(shù)(英文)[J];武漢科技學(xué)院學(xué)報(bào);2010年02期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 馮鋒;基于軟集的不確定理論融合研究[D];陜西師范大學(xué);2012年

2 管雪沖;賦值代數(shù)中若干問(wèn)題的研究[D];陜西師范大學(xué);2011年

3 韓邦合;賦值代數(shù)分裂算法與隱性半環(huán)賦值研究[D];陜西師范大學(xué);2011年

4 楊海龍;子效應(yīng)代數(shù)的模糊化與粗糙集相關(guān)研究[D];陜西師范大學(xué);2010年

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

1 李海寧;關(guān)于軟集的拓?fù)浣Y(jié)構(gòu)及相關(guān)結(jié)果[D];廣西民族大學(xué);2012年

2 潘登;Γ-半環(huán)的若干問(wèn)題的研究[D];湖北民族學(xué)院;2013年

3 來(lái)阿龍;乘積軟拓?fù)淇臻g及拓?fù)淇臻g上連續(xù)自映射的拓?fù)潇氐男再|(zhì)[D];陜西師范大學(xué);2013年

，

本文編號(hào)：670393