【摘要】：在Lukasiewicz命題邏輯系統(tǒng)中研究了一組公式的全發(fā)散性,明確了相容公式集可以是全發(fā)散的。得到了公式集不相容的充要條件。給出了發(fā)散度單調(diào)下降收斂于0的公式序列。

【參考文獻(xiàn)】

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

1 裴道武;形式演繹系統(tǒng)L~*中的懔運(yùn)算與演繹定理[J];模糊系統(tǒng)與數(shù)學(xué);2001年01期

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

3 楊曉斌,張文修;Lukasiewicz系統(tǒng)中的廣義重言式理論[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1998年04期

【共引文獻(xiàn)】

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

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

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

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

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

5 張宇卓,李洪興;基于變權(quán)理論的模糊推理前提約化的一類方法[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年02期

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

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

8 吳恒洋,韓誠(chéng);非全序R_0代數(shù)的結(jié)構(gòu)[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2004年01期

9 裴道武,姜慧;一個(gè)新的模糊謂詞演算形式系統(tǒng)[J];東北師大學(xué)報(bào)(自然科學(xué)版);2003年01期

10 王艷平,王志強(qiáng),佟紹成;模糊粗糙集與模糊粗糙邏輯算子[J];大連海事大學(xué)學(xué)報(bào);2005年02期

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

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

2 王國(guó)俊;;Fuzzy邏輯與有序代數(shù)[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十一屆年會(huì)論文選集[C];2002年

相關(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 李群;不確定性數(shù)學(xué)方法研究及其在經(jīng)濟(jì)管理中的應(yīng)用[D];大連理工大學(xué);2002年

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

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

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

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

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

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

3 孟丹;基于事例推理的檢索與推理模型研究[D];遼寧師范大學(xué);2001年

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

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

6 徐鯤;國(guó)企經(jīng)理人薪酬體系研究[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 何穎俞,王國(guó)俊;L~*-Lindenbaum代數(shù)的結(jié)構(gòu)與L~*公理系統(tǒng)的簡(jiǎn)化形式[J];工程數(shù)學(xué)學(xué)報(bào);1998年01期

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

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

4 王國(guó)俊;一類代數(shù)上的邏輯學(xué)(Ⅰ)[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1997年01期

5 王國(guó)俊;模糊推理與模糊邏輯[J];系統(tǒng)工程學(xué)報(bào);1998年02期

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

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

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

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

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

相關(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)期刊論文 前5條

1 鐘懷杰;級(jí)數(shù)性質(zhì)與空間有限（無(wú)限）維特征[J];福建師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1994年03期

2 劉文中;N體系統(tǒng)穩(wěn)定性的新探討[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2000年04期

3 王國(guó)俊,王偉;邏輯度量空間[J];數(shù)學(xué)學(xué)報(bào);2001年01期

4 王國(guó)俊,任燕;Lukasiewicz命題集的發(fā)散性與相容性[J];工程數(shù)學(xué)學(xué)報(bào);2003年03期

5 王國(guó)俊,任燕;Lukasiewicz命題集的發(fā)散性與相容性[J];工程數(shù)學(xué)學(xué)報(bào);2003年03期

，

本文編號(hào)：2580085