本文關(guān)鍵詞：邏輯系統(tǒng)H_α中廣義語義MP規(guī)則證明的改進

  更多相關(guān)文章： 模糊邏輯 Hα邏輯系統(tǒng) 廣義重言式 廣義語義MP規(guī)則

【摘要】：將修正的Kleene邏輯系統(tǒng)中語義MP規(guī)則推廣后應(yīng)用于Hα邏輯系統(tǒng)中,討論了Hα邏輯系統(tǒng)中廣義重言式理論的語義([α]-MP)規(guī)則,語義([α+]-MP)規(guī)則,使得對Hα系統(tǒng)中的廣義語義MP規(guī)則有了更進一步的認識。另外,邏輯系統(tǒng)Wˉ中的廣義語義MP規(guī)則也成為一個特例。
【作者單位】： 西安文理學(xué)院數(shù)學(xué)系;陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【關(guān)鍵詞】： 模糊邏輯 Hα邏輯系統(tǒng) 廣義重言式 廣義語義MP規(guī)則
【基金】：國家自然科學(xué)基金No.10871121 西安文理學(xué)院中青年科研基金(No.kyc201040)~~
【分類號】：O141.1
【正文快照】： 1引言為適應(yīng)模糊理論研究和應(yīng)用的飛速發(fā)展,建立一種新的模糊命題演算系統(tǒng)及相應(yīng)的語義理論勢在必行。王國俊教授于文獻[1]中建立了一種模糊命題演算系統(tǒng)Hα,并探討了系統(tǒng)Hα中的廣義重言式理論。作者在此方面也做了一些研究工作,在文獻[2]中利用可達α-重言式、可達α+-重言

【參考文獻】

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

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

2 吳洪博;邏輯系統(tǒng)鄘,W,W_k中的廣義語義HS規(guī)則和廣義語義MP規(guī)則[J];模糊系統(tǒng)與數(shù)學(xué);2003年04期

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

4 吳洪博,王國俊;Lukasie wicz邏輯系統(tǒng)中的廣義重言式理論[J];西南交通大學(xué)學(xué)報(自然科學(xué)版);2000年05期

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

【共引文獻】

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

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

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

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

4 尤飛,楊昔陽,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅲ)——由三角模或余三角模構(gòu)造的模糊蘊涵算子[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2004年04期

5 尤飛,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅳ)——模糊蘊涵算子的對偶算子[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2004年05期

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

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

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

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

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

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

1 樊磊;Domain理論中若干問題的研究[D];首都師范大學(xué);2001年

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

3 趙光峰;格蘊涵代數(shù)與圖的升分解問題的研究[D];西南交通大學(xué);2002年

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

5 斐崢;基于神經(jīng)網(wǎng)絡(luò)的自動推理理論及方法的研究[D];西南交通大學(xué);2002年

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

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

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

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

10 劉曉紅;關(guān)于企業(yè)人力資源評價信息處理系統(tǒng)的研究[D];西南交通大學(xué);2004年

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

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

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

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

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

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

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

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

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

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

10 賈國恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學(xué);2003年

【二級參考文獻】

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

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

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

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

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

5 宋士吉,吳澄;模糊推理的反向三I算法[J];中國科學(xué)E輯;2002年02期

6 應(yīng)明生;允許修改推理規(guī)則的開放邏輯[J];科學(xué)通報;1996年11期

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

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

9 李繼成,張文修;HFI-代數(shù)的擬Fuzzy-賦值[J];模糊系統(tǒng)與數(shù)學(xué);2000年02期

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

【相似文獻】

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

1 裴道武;王三民;楊瑞;;模糊蘊涵格理論[J];高校應(yīng)用數(shù)學(xué)學(xué)報A輯;2011年03期

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

3 張樂;裴道武;王三民;;系統(tǒng)餿_n~*的邏輯性質(zhì)及其應(yīng)用[J];高校應(yīng)用數(shù)學(xué)學(xué)報A輯;2011年02期

4 黃山;;模糊數(shù)學(xué)、模糊技術(shù)和模糊產(chǎn)品[J];科技與企業(yè);1997年05期

5 郝永花;王緒柱;;模糊選擇函數(shù)T-擬傳遞合理性的刻畫[J];太原理工大學(xué)學(xué)報;2011年04期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 張倩生;沈繼忠;;雙模糊拓撲的一個新方法[A];模糊集理論與模糊應(yīng)用專輯——中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)委員會第十屆年會論文選集[C];2000年

2 龐善起;秦克云;趙希順;王雪生;;模糊邏輯與二值邏輯[A];模糊數(shù)學(xué)和系統(tǒng)成果會論文集[C];1991年

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

4 成央金;;De Morgan函數(shù)的簡化(Ⅰ)[A];1997中國控制與決策學(xué)術(shù)年會論文集[C];1997年

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

6 成科揚;;基于集對分析的模糊邏輯及其推理方法研究[A];第二十三屆中國控制會議論文集（下冊）[C];2004年

7 任燕;王洪麗;魯忠良;;模糊邏輯的緊致性與模糊理論相容度[A];中國運籌學(xué)會模糊信息與模糊工程分會第五屆學(xué)術(shù)年會論文集[C];2010年

8 焦利民;劉耀林;;土地適宜性評價的模糊神經(jīng)網(wǎng)絡(luò)建模及其應(yīng)用分析[A];節(jié)能環(huán)保 和諧發(fā)展——2007中國科協(xié)年會論文集（二）[C];2007年

9 郭方芳;陳圖云;;模糊推理渠道及鏈、網(wǎng)的確定度[A];模糊集理論與模糊應(yīng)用專輯——中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)委員會第十屆年會論文選集[C];2000年

10 鄒麗;;直覺算子模糊邏輯的解釋及應(yīng)用[A];模糊集理論與模糊應(yīng)用專輯——中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)委員會第十屆年會論文選集[C];2000年

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

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

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

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

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

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

6 盧志剛;基于模糊理論的電子商務(wù)聲譽管理模型研究[D];天津大學(xué);2007年

7 李嵩松;基于隱馬爾可夫模型和計算智能的股票價格時間序列預(yù)測[D];哈爾濱工業(yè)大學(xué);2011年

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

1 李秀英;非線性系統(tǒng)的模糊辨識與控制[D];黑龍江大學(xué);2005年

2 崔麗聰;基于模糊測度和模糊積分的語言量詞[D];陜西師范大學(xué);2008年

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

4 張凱;區(qū)間二型模糊邏輯智能系統(tǒng)的設(shè)計[D];遼寧工業(yè)大學(xué);2012年

5 賴思靜;基于神經(jīng)網(wǎng)絡(luò)和模糊邏輯的結(jié)構(gòu)控制算法研究[D];重慶大學(xué);2002年

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

7 韓紅領(lǐng);短期負荷預(yù)測模型在地區(qū)電網(wǎng)的應(yīng)用研究[D];華北電力大學(xué)（河北）;2007年

8 馬曉玨;IMTL邏輯系統(tǒng)及IMTL-代數(shù)[D];陜西師范大學(xué);2004年

9 許格妮;偏序集上的S代數(shù)及其與若干代數(shù)的關(guān)系[D];陜西師范大學(xué);2007年

10 代建云;有關(guān)內(nèi)導(dǎo)集與邏輯度量的研究[D];陜西師范大學(xué);2008年

，

本文編號：652145