本文關(guān)鍵詞：修正的RDP邏輯系統(tǒng)中的廣義矛盾式

  更多相關(guān)文章： 修正的RDP邏輯系統(tǒng) 廣義重言式 廣義矛盾式 降級(jí)算法 分劃

【摘要】：討論了修正的RDP邏輯系統(tǒng)中的廣義矛盾式,并對(duì)該系統(tǒng)中的廣義矛盾式進(jìn)行了分劃;給出了修正的RDP邏輯系統(tǒng)中的廣義矛盾式之間的一種降級(jí)算法并討論了它的性質(zhì)。
【作者單位】： 延安大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院;
【關(guān)鍵詞】： 修正的RDP邏輯系統(tǒng) 廣義重言式 廣義矛盾式 降級(jí)算法 分劃
【基金】：陜西省自然科學(xué)基金(No.2014JM1020) 陜西省科技計(jì)劃社發(fā)攻關(guān)項(xiàng)目(No.2014ks15-03-07) 延安市科技計(jì)劃項(xiàng)目(No.2013ks-03) 延安大學(xué)自然科學(xué)專項(xiàng)基金(No.YDQ2014-45)
【分類號(hào)】：O141.1
【正文快照】： 1引言廣義重言式理論是邏輯學(xué)研究的一個(gè)重要方向。這一研究方向?yàn)榻沂径嘀颠壿嬒到y(tǒng)的層次結(jié)構(gòu),比較不同邏輯系統(tǒng)的優(yōu)劣和運(yùn)用這些系統(tǒng)進(jìn)行推理提供了科學(xué)依據(jù)。王國(guó)俊教授于1998年在文獻(xiàn)[1-3]中系統(tǒng)地建立了修正的Kleene系統(tǒng)和修正的Kleene系統(tǒng)中的廣義重言式理論,得到了一系

【參考文獻(xiàn)】

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

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

2 吳洪博;修正的Kleene系統(tǒng)中的廣義重言式理論[J];中國(guó)科學(xué)E輯:技術(shù)科學(xué);2002年02期

3 李修清;;G銉del邏輯系統(tǒng)中1/2-子代數(shù)上的廣義重言式理論[J];計(jì)算機(jī)工程與應(yīng)用;2011年05期

4 李修清;魏海新;;R_G-代數(shù)的子代數(shù)與廣義重言式理論[J];計(jì)算機(jī)工程與應(yīng)用;2011年29期

5 于鴻麗;吳洪博;;邏輯系統(tǒng)RDP中子代數(shù)的廣義重言式理論[J];計(jì)算機(jī)工程與應(yīng)用;2011年32期

6 楊曉斌,張文修;Lukasiewicz多值邏輯系統(tǒng)中的廣義重言式理論[J];模糊系統(tǒng)與數(shù)學(xué);2000年01期

7 吳洪博;G銉del邏輯系統(tǒng)中的廣義重言式理論[J];模糊系統(tǒng)與數(shù)學(xué);2000年04期

8 劉練珍,李開泰;修正的Product邏輯系統(tǒng)中的廣義重言式理論[J];模糊系統(tǒng)與數(shù)學(xué);2005年01期

9 李順琴;王國(guó)俊;;修正的Product邏輯系統(tǒng)中的廣義矛盾式[J];模糊系統(tǒng)與數(shù)學(xué);2008年04期

10 黃阿敏;裴道武;;系統(tǒng)RDP中的廣義重言式理論[J];模糊系統(tǒng)與數(shù)學(xué);2010年04期

【共引文獻(xiàn)】

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

1 鄭亞林;Fuzzy邏輯新進(jìn)展[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2000年01期

2 鄭亞林,白永成,黃宏科,黃德隆;基于帶Fuzzy殼Boole代數(shù)和修正的Gaines-Rescher蘊(yùn)涵算子的險(xiǎn)象識(shí)別邏輯[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2000年02期

3 辛?xí)詵|,尤飛;乘積R_0-代數(shù)上的若干映射性質(zhì)[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2000年02期

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

5 馬巧云;吳洪博;趙艷;;邏輯系統(tǒng)鄘、W、W_n中的廣義矛盾式及一種降級(jí)算法[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2007年04期

6 馬銳;梁林;呂映潔;;正交模格上的代數(shù)性質(zhì)[J];楚雄師范學(xué)院學(xué)報(bào);2009年09期

7 闞婷;張興芳;王作真;;基于蘊(yùn)涵算子族NM_p的α-三算法及約束度理論[J];燕山大學(xué)學(xué)報(bào);2008年06期

8 李駿,韋奉岐,馬盈倉;邏輯系統(tǒng)中重言式及廣義重言式的關(guān)系[J];紡織高�；A(chǔ)科學(xué)學(xué)報(bào);2001年01期

9 胡明娣;王國(guó)俊;;基礎(chǔ)R_0代數(shù)的結(jié)構(gòu)研究[J];紡織高�；A(chǔ)科學(xué)學(xué)報(bào);2006年03期

10 李順琴;王國(guó)俊;;修正的Kleene系統(tǒng)中的子代數(shù)的廣義矛盾式[J];紡織高�；A(chǔ)科學(xué)學(xué)報(bào);2007年02期

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

1 陳圖云;陳文麗;;修正的Atanassov邏輯及其廣義重言式[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十一屆年會(huì)論文選集[C];2002年

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

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

2 胡明娣;邏輯度量空間的內(nèi)蘊(yùn)結(jié)構(gòu)的研究[D];陜西師范大學(xué);2011年

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

4 李志偉;偏序集上的蘊(yùn)涵代數(shù)[D];首都師范大學(xué);2002年

5 馬駿;基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)及其自動(dòng)推理的研究[D];西南交通大學(xué);2002年

6 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結(jié)原理的自動(dòng)推理方法的研究[D];西南交通大學(xué);2002年

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

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

9 孟丹;基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)的歸結(jié)自動(dòng)推理研究[D];西南交通大學(xué);2004年

10 覃鋒;模糊邏輯中若干問題的研究[D];四川大學(xué);2004年

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

1 黃阿敏;基于蘊(yùn)涵算子族的模糊邏輯理論[D];浙江理工大學(xué);2010年

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

3 �，幹�;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

4 王龍春;L～*系統(tǒng)中的一類廣義重言式與L～*系統(tǒng)的一種擴(kuò)張[D];陜西師范大學(xué);2003年

5 蘭蓉;t-模與蘊(yùn)涵算子的同構(gòu)及廣義重言式理論[D];陜西師范大學(xué);2003年

6 張花榮;代數(shù)系統(tǒng)的可嵌入性[D];陜西師范大學(xué);2003年

7 宋慶燕;命題邏輯公式集上的正則相似關(guān)系和一種新型的三I算法[D];陜西師范大學(xué);2003年

8 陳文麗;修正的Atanassov命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2003年

9 張宇卓;區(qū)間值模糊命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2003年

10 韓瑩;擾動(dòng)模糊命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2003年

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

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

1 吳洪博,閻滿富;G銉del邏輯系統(tǒng)中F(S)的一個(gè)分劃及其應(yīng)用[J];工程數(shù)學(xué)學(xué)報(bào);2001年04期

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

3 吳洪博;修正的Kleene系統(tǒng)中的廣義重言式理論[J];中國(guó)科學(xué)E輯:技術(shù)科學(xué);2002年02期

4 李順琴;王國(guó)俊;;修正的G銉del邏輯系統(tǒng)中子代數(shù)的廣義重言式理論[J];計(jì)算機(jī)工程與應(yīng)用;2008年36期

5 魏海新;;修正的Kleene系統(tǒng)中子代數(shù)的廣義重言式理論[J];計(jì)算機(jī)工程與應(yīng)用;2009年22期

6 魏海新;;G銉del系統(tǒng)中一類子代數(shù)上的廣義重言式理論[J];計(jì)算機(jī)工程與應(yīng)用;2010年29期

7 李修清;;G銉del邏輯系統(tǒng)中1/2-子代數(shù)上的廣義重言式理論[J];計(jì)算機(jī)工程與應(yīng)用;2011年05期

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

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

10 吳望名;參數(shù)Kleene系統(tǒng)中的廣義重言式[J];模糊系統(tǒng)與數(shù)學(xué);2000年01期

【相似文獻(xiàn)】

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

1 李順琴;王國(guó)俊;;修正的Kleene系統(tǒng)中的子代數(shù)的廣義矛盾式[J];紡織高�；A(chǔ)科學(xué)學(xué)報(bào);2007年02期

2 馬巧云;吳洪博;趙艷;;邏輯系統(tǒng)鄘、W、W_n中的廣義矛盾式及一種降級(jí)算法[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2007年04期

3 閻滿富,吳洪溥;修正的Kleene系統(tǒng)中的一種降級(jí)算法及其性質(zhì)[J];工程數(shù)學(xué)學(xué)報(bào);2004年04期

4 李順琴;王國(guó)俊;;修正的Product邏輯系統(tǒng)中的廣義矛盾式[J];模糊系統(tǒng)與數(shù)學(xué);2008年04期

5 馬巧云;吳洪博;;邏輯系統(tǒng)W,W,W_n中的廣義矛盾式[J];西安文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2006年03期

6 吳洪博;G銉del系統(tǒng)中一種降級(jí)算法及性質(zhì)[J];四川大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年06期

7 李修清;魏海新;;G銉del邏輯系統(tǒng)中標(biāo)準(zhǔn)子代數(shù)上的廣義矛盾式[J];桂林航天工業(yè)高等�？茖W(xué)校學(xué)報(bào);2010年03期

8 夏澤輝;;淺談高等數(shù)學(xué)課堂問題的設(shè)計(jì)[J];價(jià)值工程;2011年12期

9 ;[J];;年期

10 ;[J];;年期

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

1 張帆;;“A且非A”辨析[A];1998年邏輯研究專輯[C];1998年

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

1 張婧男;矛盾式定語的認(rèn)知識(shí)解[D];天津師范大學(xué);2014年

，

本文編號(hào)：644813