本文關(guān)鍵詞：MTL-代數(shù)的演繹系統(tǒng)和余零化子及其相互關(guān)系

  更多相關(guān)文章： MTL-代數(shù) 余零化子 演繹系統(tǒng) 剩余格 關(guān)系

【摘要】：首先,在MTL-代數(shù)中給出了演繹系統(tǒng)的定義;其次,提出了MTL-代數(shù)余零化子的概念,并研究了它們的一些基本性質(zhì);最后,討論了MTL-代數(shù)中余零化子與演繹系統(tǒng)的關(guān)系,證明了MTL-代數(shù)的演繹系統(tǒng)A的余零化子A⊥是素的演繹系統(tǒng)的充要條件:A是線性的且A≠{1}。
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【關(guān)鍵詞】： MTL-代數(shù) 余零化子 演繹系統(tǒng) 剩余格 關(guān)系
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(11171196)
【分類(lèi)號(hào)】：O141.1
【正文快照】： 模糊邏輯作為非經(jīng)典數(shù)理邏輯的一個(gè)重要分支是人工智能與信息科學(xué)等許多領(lǐng)域中推理機(jī)制的基礎(chǔ)。隨著模糊命題邏輯系統(tǒng)研究的細(xì)致深入,各種模糊邏輯代數(shù)相繼出現(xiàn)。1993年,徐揚(yáng)教授于文獻(xiàn)[1]、文獻(xiàn)[2]將蘊(yùn)涵算子引入到格結(jié)構(gòu)中建立了格蘊(yùn)涵代數(shù)。1998年,Petr.Hàjek基于連續(xù)的三

【參考文獻(xiàn)】

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

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

2 龍希慶;徐揚(yáng);;有限格蘊(yùn)涵代數(shù)的零化子[J];模糊系統(tǒng)與數(shù)學(xué);2011年03期

3 傅麗;次BL代數(shù)的推理系統(tǒng)[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2002年01期

4 裴道武;;MTL代數(shù)的特征定理[J];數(shù)學(xué)學(xué)報(bào);2007年06期

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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 賴家俊;基于語(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ù) 前9條

1 王國(guó)俊,傅麗,宋建社;二值命題邏輯中命題的真度理論[J];中國(guó)科學(xué)(A輯);2001年11期

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

3 劉練珍，，王國(guó)俊;Fuzzy蘊(yùn)涵代數(shù)與MV代數(shù)[J];模糊系統(tǒng)與數(shù)學(xué);1998年01期

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

5 裴道武;剩余格與正則剩余格的特征定理[J];數(shù)學(xué)學(xué)報(bào);2002年02期

6 裴道武;強(qiáng)正則剩余格值邏輯系統(tǒng)L~N及其完備性[J];數(shù)學(xué)學(xué)報(bào);2002年04期

7 王國(guó)俊,宋慶燕,宋玉靖;Boole代數(shù)上的度量結(jié)構(gòu)及其在命題邏輯中的應(yīng)用[J];數(shù)學(xué)學(xué)報(bào);2004年02期

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

9 龍希慶;;乘積格蘊(yùn)涵代數(shù)的理想[J];宜賓學(xué)院學(xué)報(bào);2010年06期

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

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

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

1 朱華;格蘊(yùn)涵代數(shù)中濾子和理想的研究[D];西南交通大學(xué);2005年

【相似文獻(xiàn)】

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

1 秦學(xué)成;劉春輝;;基于HFI代數(shù)的模糊命題演算的形式演繹系統(tǒng)[J];赤峰學(xué)院學(xué)報(bào)(自然科學(xué)版);2010年01期

2 周巧姝;對(duì)邏輯演繹推理在數(shù)學(xué)解題中的理解[J];長(zhǎng)春師范學(xué)院學(xué)報(bào);2003年02期

3 姜波;張小紅;;低階MTL-代數(shù)[J];寧波大學(xué)學(xué)報(bào)(理工版);2007年04期

4 段志貴;;公理化思想的萌發(fā)與完善探析[J];數(shù)學(xué)學(xué)習(xí)與研究;2010年23期

5 文向明,劉方;Hilbert代數(shù)的一類(lèi)自映射[J];西安郵電學(xué)院學(xué)報(bào);1997年03期

6 黃正華;;數(shù)學(xué)何以是有效的[J];淮陰師范學(xué)院學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年06期

7 黎仁蔚;N系統(tǒng):一個(gè)自然時(shí)序演繹系統(tǒng)[J];科學(xué)通報(bào);1988年06期

8 楊曉斌;初等模糊一階邏輯的準(zhǔn)形式演繹系統(tǒng)[J];淄博學(xué)院學(xué)報(bào)(自然科學(xué)與工程版);2001年01期

9 李伯春;柏拉圖數(shù)學(xué)思想初探[J];淮北煤炭師范學(xué)院學(xué)報(bào)(自然科學(xué)版);1988年01期

10 潘無(wú)名,王俊卿;F-fuzzy演繹系統(tǒng)(英文)[J];數(shù)學(xué)季刊;2001年01期

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

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

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

1 ;與丁肇中共探宇宙奧秘[N];科技日?qǐng)?bào);2006年

2 丁一;關(guān)于哥德巴赫猜想的三個(gè)悖論[N];光明日?qǐng)?bào);2002年

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

1 吳蘇朋;MTL-代數(shù)中幾類(lèi)特殊的濾子和Fuzzy濾子[D];陜西師范大學(xué);2007年

2 崔艷麗;R_0代數(shù)的簡(jiǎn)化以及相對(duì)真度的相關(guān)性質(zhì)研究[D];陜西師范大學(xué);2010年

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

本文編號(hào)：629877