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

  更多相關(guān)文章： 修正的RDP邏輯系統(tǒng) 廣義重言式 廣義語義MP規(guī)則 廣義語義HS規(guī)則 分劃

【摘要】：提出修正的RDP邏輯系統(tǒng),并證明了此系統(tǒng)中的廣義重言式有更加精細(xì)的區(qū)分。利用廣義重言式概念得到公式集F(S)的一個(gè)分劃,建立了修正的RDP邏輯系統(tǒng)中的各類廣義語義MP規(guī)則與廣義語義HS規(guī)則。
【作者單位】： 延安大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院;
【基金】：國家自然科學(xué)基金(11471007) 陜西省自然科學(xué)基金(2014JM1020) 陜西省科技計(jì)劃社發(fā)攻關(guān)項(xiàng)目(2014ks15-03-07)
【分類號(hào)】：O141.1;O159
【正文快照】： 廣義重言式理論是模糊邏輯研究的重要內(nèi)容。自王國俊[1]1998年建立了修正的Kleene系統(tǒng)和修正的Kleene系統(tǒng)中的廣義重言式理論后,其他多值邏輯系統(tǒng)中的廣義重言式理論蓬勃發(fā)展。吳洪博在文獻(xiàn)[2-3]中分別討論了修正的G錸del邏輯系統(tǒng)和修正的Kleene系統(tǒng)中的廣義重言式理論。近年

【參考文獻(xiàn)】

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

1 吳洪博,閻滿富;G銉del邏輯系統(tǒng)中廣義語義HS規(guī)劃和廣義語義MP規(guī)則[J];工程數(shù)學(xué)學(xué)報(bào);2003年03期

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

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

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

7 裴道武,李駿;積邏輯系統(tǒng)中的廣義重言式(英文)[J];模糊系統(tǒng)與數(shù)學(xué);2002年04期

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

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

10 裴道武;多值邏輯系統(tǒng)中的子代數(shù)與廣義重言式[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2000年02期

【共引文獻(xiàn)】

中國期刊全文數(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 李成允;張興芳;;正則蘊(yùn)涵算子的統(tǒng)一表達(dá)式[J];德州學(xué)院學(xué)報(bào);2009年04期

9 李璧鏡;王國俊;;正則蘊(yùn)涵算子所對(duì)應(yīng)的邏輯偽度量空間[J];電子學(xué)報(bào);2010年03期

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

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

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

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

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

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

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

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

5 任芳;正則蘊(yùn)涵算子與新型模糊邏輯系統(tǒng)的研究[D];陜西師范大學(xué);2005年

6 馬盈倉;命題泛邏輯的演算理論及推理研究[D];西北工業(yè)大學(xué);2006年

7 俞峰;基于直覺區(qū)間值模糊理論的近似推理與多屬性決策研究[D];南京理工大學(xué);2008年

8 惠小靜;計(jì)量邏輯學(xué)及其隨機(jī)化研究[D];陜西師范大學(xué);2008年

9 王慶平;邏輯度量空間中的仿射變換和幾類特殊公式的性態(tài)研究及其應(yīng)用[D];陜西師范大學(xué);2012年

10 岳菊梅;面向后件集的模糊推理機(jī)制及在Type-1與Type-2模糊邏輯系統(tǒng)中的應(yīng)用[D];南開大學(xué);2013年

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

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

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

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

4 李瑩芳;關(guān)于模糊推理中幾類蘊(yùn)涵算子的研究[D];西南交通大學(xué);2011年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

9 ;A formal deductive system for fuzzy propositional calculus[J];Chinese Science Bulletin;1997年18期

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

【相似文獻(xiàn)】

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

1 王國俊,蘭蓉;系統(tǒng)H_α中的廣義重言式理論[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年02期

2 馬盈倉,何華燦,薛占熬;泛邏輯的中極形式系統(tǒng)中的廣義重言式理論[J];計(jì)算機(jī)工程與應(yīng)用;2004年35期

3 徐為民;;重言與哲學(xué)[J];自然辯證法研究;2010年03期

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

5 陳圖云,李麗;模糊時(shí)序邏輯的語義及其廣義重言式[J];遼寧師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年02期

6 汪德剛;谷云東;李洪興;;模糊模態(tài)命題邏輯及其廣義重言式[J];電子學(xué)報(bào);2007年02期

7 李曉冰;徐揚(yáng);;區(qū)間值模糊命題邏輯的∑-廣義擬重言式[J];遼寧師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年01期

8 辛?xí)詵|;非線性序邏輯系統(tǒng)鄘~2中的重言式[J];固原師專學(xué)報(bào);2002年03期

9 陳圖云,李曉冰;區(qū)間值模糊命題邏輯的廣義擬重言式及其分類[J];遼寧師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年03期

10 李順琴;王國俊;;系統(tǒng)H_α中的子代數(shù)的廣義重言式理論[J];計(jì)算機(jī)工程與應(yīng)用;2010年08期

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

1 陳圖云;吳鳳干;湯服成;;直覺模糊命題邏輯的廣義擬重言式及其分類[A];第12屆全國模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年

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

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

1 張鳳霞;基于一元算子的模糊蘊(yùn)涵和余蘊(yùn)涵及其廣義重言式研究[D];山東大學(xué);2014年

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

1 汪德剛;模糊模態(tài)命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2005年

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

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

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

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

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

7 馮琳;漢語重言式“X+（副詞）+是+X”的構(gòu)式語法研究[D];四川外語學(xué)院;2012年

8 徐荻;《詩經(jīng)》重言研究[D];遼寧師范大學(xué);2013年

，

本文編號(hào)：1232656