本文關(guān)鍵詞：局部有限BL-代數(shù)的素逆演繹系統(tǒng)及性質(zhì)

  更多相關(guān)文章： BL-代數(shù) 局部有限 逆演繹系統(tǒng) 素逆演繹系統(tǒng) 同余關(guān)系 商代數(shù)

【摘要】：在BL-代數(shù)中引入逆演繹系統(tǒng)及素逆演繹系統(tǒng)的概念,并在局部有限BL-代數(shù)中研究了素逆演繹系統(tǒng)的基本性質(zhì)及逆演繹系統(tǒng)和通常理想之間的關(guān)系;其次,討論了BL-代數(shù)中逆演繹系統(tǒng)和同余關(guān)系之間相互決定的關(guān)系;最后,證明了由素逆演繹系統(tǒng)誘導(dǎo)的商代數(shù)為線性BL-代數(shù),進(jìn)而證明了在局部有限BL-代數(shù)中一個逆演繹系統(tǒng)是素逆演繹系統(tǒng)當(dāng)且僅當(dāng)由其誘導(dǎo)的商代數(shù)是線性的BL-代數(shù)。
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【關(guān)鍵詞】： BL-代數(shù) 局部有限 逆演繹系統(tǒng) 素逆演繹系統(tǒng) 同余關(guān)系 商代數(shù)
【基金】：國家自然科學(xué)基金資助項目(11171196) 陜西省自然科學(xué)基礎(chǔ)研究計劃項目(2013JM1023)
【分類號】：O141.1
【正文快照】： 0引言作為模糊命題邏輯系統(tǒng)語義理論的重要組成部分的邏輯代數(shù)已經(jīng)發(fā)展成為代數(shù)學(xué)的一個重要分支,同時也是人工智能基礎(chǔ)理論研究的熱點之一。目前,人們基于不同角度提出了多種形式的非經(jīng)典邏輯代數(shù),如R0-代數(shù)、格蘊(yùn)涵代數(shù)、FI-代數(shù)、MV-代數(shù)、BR0-代數(shù)、BL-代數(shù)等等[1-10]。其

【參考文獻(xiàn)】

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

1 吳洪博;張瓊;;NML系統(tǒng)的有限強(qiáng)完備性[J];電子學(xué)報;2010年06期

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

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

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

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

6 朱翔;徐羅山;;BL代數(shù)的等價刻畫及更多性質(zhì)[J];模糊系統(tǒng)與數(shù)學(xué);2011年01期

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

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

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

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

【共引文獻(xiàn)】

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

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

2 張紅杰;吳洪博;;BR_0代數(shù)中的濾子與理想[J];安康學(xué)院學(xué)報;2007年01期

3 汪義瑞;;預(yù)拓?fù)淇臻g的單點緊化[J];安康學(xué)院學(xué)報;2009年05期

4 龔加安;吳洪博;;BR_0代數(shù)的模糊濾子與模糊素濾子[J];安康學(xué)院學(xué)報;2009年06期

5 吳洪博;;基于非交換剩余格的(α,β]-模糊濾子(上)[J];安康學(xué)院學(xué)報;2011年02期

6 吳洪博;;基于非交換剩余格的(α,β]-模糊濾子(下)[J];安康學(xué)院學(xué)報;2011年03期

7 李文;關(guān)于L-fuzzy拓?fù)淇臻g的分離公理的討論[J];鞍山師范學(xué)院學(xué)報;2005年02期

8 吳雪芝;段慧仙;張杰;;L-fuzzy Domain及其等價刻畫[J];北方工業(yè)大學(xué)學(xué)報;2006年03期

9 段慧仙;張杰;;L-雙模糊連續(xù)論域[J];北方工業(yè)大學(xué)學(xué)報;2008年01期

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

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

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

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

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

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

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

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

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

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

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

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

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

1 郭建勝;效應(yīng)代數(shù)及偽BL-代數(shù)結(jié)構(gòu)的研究[D];陜西師范大學(xué);2010年

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

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

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

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

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

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

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

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

10 史福貴;格上點式一致結(jié)構(gòu)與點式度量理論及其應(yīng)用[D];首都師范大學(xué);2001年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前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 許筱婷;基于本體論的知識表達(dá)[D];湘潭大學(xué);2010年

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

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

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

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

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

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

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

2 王國俊;宋建社;;命題邏輯中的程度化方法[J];電子學(xué)報;2006年02期

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

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

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

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

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

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

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

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

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

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

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

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

1 蘇忍鎖;剩余格與基于剩余格的幾類代數(shù)系統(tǒng)的關(guān)系[D];陜西師范大學(xué);2004年

【相似文獻(xiàn)】

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

1 鄭茂林;局部有限無窮n-連通圖1-因子的下界[J];新疆大學(xué)學(xué)報(自然科學(xué)版);1987年03期

2 胡慶平,李丹;局部有限的BCI-代數(shù)[J];昭通師范高等專科學(xué)校學(xué)報;1994年03期

3 吳玉梅;葛丹;;L-拓?fù)淇臻g的Ⅲ超仿緊性[J];西安文理學(xué)院學(xué)報(自然科學(xué)版);2006年03期

4 黃熒;;預(yù)開集與仿強(qiáng)緊空間[J];河南師范大學(xué)學(xué)報(自然科學(xué)版);1991年04期

5 黃熒;;仿近似緊空間[J];河南師范大學(xué)學(xué)報(自然科學(xué)版);1991年01期

6 毛歡;蘇育才;;廣義Weyl超代數(shù)的導(dǎo)子[J];數(shù)學(xué)雜志;2008年05期

7 高國士;;關(guān)于k-網(wǎng)和基[J];蘇州大學(xué)學(xué)報(自然科學(xué)版);1986年02期

8 周生田;半開集下仿緊空間的刻畫[J];石油大學(xué)學(xué)報(自然科學(xué)版);1992年01期

9 韓德化,周笑明;關(guān)于一類泛代數(shù)的局部有限性[J];四川大學(xué)學(xué)報(自然科學(xué)版);2000年04期

10 宋際平,胡洪萍;仿緊空間的一個刻畫[J];紡織高�；A(chǔ)科學(xué)學(xué)報;2005年02期

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

1 陳鵬;;模糊拓?fù)淇臻g兩組度量公理的等價性及度量化[A];第12屆全國模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會論文集[C];2004年

2 羅懋康;李三江;;Locale理論研究進(jìn)展[A];中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)委員會第十一屆年會論文選集[C];2002年

3 金國平;Bela Bollobas;;圖的定向[A];信息科學(xué)與微電子技術(shù):中國科協(xié)第三屆青年學(xué)術(shù)年會論文集[C];1998年

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

1 王健;無限平面圖中的哈密頓圈[D];南開大學(xué);2009年

2 陳斌;g-函數(shù)，，弱基g-函數(shù)及基數(shù)函數(shù)的應(yīng)用[D];山東大學(xué);2007年

3 孫偉華;強(qiáng)KC空間、可膨脹性和D_σ-空間[D];山東大學(xué);2008年

4 李招文;由弱基定義的空間及其相關(guān)結(jié)果[D];湖南大學(xué);2008年

5 陳健敏;橢圓曲線上的Generic層及相關(guān)研究[D];廈門大學(xué);2008年

6 王利萍;（？）_2型和（？）_2型仿射Weyl群的Kazhdan-Lusztig多項式的首項系數(shù)[D];中國科學(xué)院研究生院（數(shù)學(xué)與系統(tǒng)科學(xué)研究院）;2008年

7 王顯金;算子范數(shù)局部化性質(zhì)[D];復(fù)旦大學(xué);2007年

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

1 馬學(xué)玲;BL-代數(shù)的廣義模糊濾子[D];華中師范大學(xué);2008年

2 肖艷艷;雙扭HOPF代數(shù)的對偶[D];揚(yáng)州大學(xué);2006年

3 吳家超;D-空間及其推廣[D];山東大學(xué);2007年

4 孫焱平;模糊邏輯中蘊(yùn)涵算子的構(gòu)造[D];南昌大學(xué);2010年

5 王胡權(quán);以局部有限的BOREL測度為初值的一類擬線性雙曲方程BV解的存在唯一性[D];吉林大學(xué);2007年

6 張夏葦;有關(guān)覆蓋性質(zhì)的一些拓展[D];廣西大學(xué);2006年

7 張孟英;σ-ortho緊空間的乘積和基可數(shù)仿緊空間的刻畫[D];成都理工大學(xué);2007年

8 朱智賢;代數(shù)幾何中的三種拓?fù)鋄D];浙江大學(xué);2008年

9 徐薇;關(guān)于弱g函數(shù)和廣義度量空間的刻畫[D];蘇州大學(xué);2009年

10 郭英新;ω-結(jié)構(gòu)與一類特殊的LF-網(wǎng)空間[D];曲阜師范大學(xué);2004年

本文編號：532409