本文關(guān)鍵詞：R_O-蘊(yùn)涵算子所導(dǎo)出的邏輯函數(shù)的特征

  更多相關(guān)文章： 模糊邏輯 R_-蘊(yùn)涵算子 邏輯函數(shù)

【摘要】：R_0-蘊(yùn)涵算子是王國(guó)俊在2000年建立的一種新型蘊(yùn)涵算子.目前,R_0-蘊(yùn)涵算子在模糊控制、近似推理、模糊識(shí)別、模糊系統(tǒng)、計(jì)量邏輯的研究方面有著重要應(yīng)用,而這些應(yīng)用的共同點(diǎn),是公式通過(guò)R_0-蘊(yùn)涵算子所導(dǎo)出的邏輯函數(shù)在其中發(fā)揮著關(guān)鍵的作用.本文在R_0-型命題邏輯系統(tǒng)中,對(duì)由n個(gè)原子公式生成的公式通過(guò)R_0-蘊(yùn)涵算子導(dǎo)出的邏輯函數(shù)的特征進(jìn)行了研究,得到了函數(shù)可由R_0-型命題邏輯系統(tǒng)中的公式通過(guò)R_0-蘊(yùn)涵算子導(dǎo)出的充要條件.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(11171196) 西安市科技計(jì)劃項(xiàng)目(CX12189WL26)
【分類(lèi)號(hào)】：O141.1
【正文快照】： 在命題邏輯系統(tǒng)理論中,蘊(yùn)涵箅子的結(jié)構(gòu)決定著命題邏輯系統(tǒng)中蘊(yùn)涵連接詞的結(jié)構(gòu),也決定著命題邏輯系統(tǒng)中公理體系的結(jié)構(gòu)l2,14,17].例如,Lukasiewicz蘊(yùn)涵r2子所決定的Lukasiewicz命題邏輯系統(tǒng)141,Godel蘊(yùn)涵算子所決定的Godel命題邏輯系統(tǒng)141,Rq-蘊(yùn)涵算子所決定的Ro-命題邏輯系

【參考文獻(xiàn)】

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

1 吳洪博;王國(guó)俊;于鴻麗;;基于完備BR_0-代數(shù)的全蘊(yùn)涵三I算法[J];數(shù)學(xué)研究與評(píng)論;2006年02期

【共引文獻(xiàn)】

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

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

2 佟偉玲,李全有,吳洪博;R_0-代數(shù)中一種混合運(yùn)算的性質(zhì)及L~*系統(tǒng)的完備性[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2002年03期

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

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

5 吳洪博;周建仁;張瓊;;(3n+1)值邏輯系統(tǒng)R_0L中公式的真度性質(zhì)[J];電子學(xué)報(bào);2011年10期

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

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

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

9 任芳;L~*系統(tǒng)中由單個(gè)原子生成的公式的真值函數(shù)的特征[J];工程數(shù)學(xué)學(xué)報(bào);2005年03期

10 張小紅,田英培;R_0-代數(shù)與BL-代數(shù)中的素濾子定理(英文)[J];工程數(shù)學(xué)學(xué)報(bào);2005年05期

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

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

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

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

4 韓誠(chéng);R_0代數(shù)及Vague集的相似度理論[D];陜西師范大學(xué);2006年

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

6 唐益明;（1，，2，2）型異蘊(yùn)涵泛三I算法及其應(yīng)用研究[D];合肥工業(yè)大學(xué);2011年

7 時(shí)慧嫻;模態(tài)邏輯的計(jì)量化研究及其在模型檢驗(yàn)中的應(yīng)用[D];陜西師范大學(xué);2013年

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

1 王志明;WBR_0代數(shù)的研究[D];陜西師范大學(xué);2011年

2 劉杰;正則剩余格上的模糊理想基的研究[D];陜西師范大學(xué);2011年

3 王三民;模糊邏輯形式系統(tǒng)的若干完備性定理[D];陜西師范大學(xué);2001年

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

5 孟艷平;擾動(dòng)模糊命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

6 吳鳳干;直覺(jué)模糊命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

7 韓邦合;計(jì)量邏輯學(xué)中的近似推理與二值邏輯中命題的條件真度理論[D];陜西師范大學(xué);2007年

8 王小敏;L～*系統(tǒng)中的模糊演繹定理與R_0代數(shù)性質(zhì)的新探索[D];陜西師范大學(xué);2007年

9 李建生;n值邏輯系統(tǒng)中命題的絕對(duì)真度及其隨機(jī)化理論[D];蘭州理工大學(xué);2008年

10 隋云云;非線(xiàn)性序集邏輯系統(tǒng)中命題的真度理論及近似推理理論[D];山東大學(xué);2009年

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

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

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

2 宋士吉,吳澄;模糊推理的反向三I算法[J];中國(guó)科學(xué)E輯:技術(shù)科學(xué);2002年02期

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

4 吳洪博,文秋梅;基礎(chǔ)L~*系統(tǒng)的一種擴(kuò)張——Lukasiewicz系統(tǒng)[J];模糊系統(tǒng)與數(shù)學(xué);2002年02期

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

6 吳洪博;基礎(chǔ)R_0-代數(shù)的性質(zhì)及在L~*系統(tǒng)中的應(yīng)用[J];數(shù)學(xué)研究與評(píng)論;2003年03期

本文編號(hào)：1286876