【摘要】：將修正的Kleene邏輯系統(tǒng)中的語義MP規(guī)則推廣后應(yīng)用于Hα邏輯系統(tǒng)中,討論了Hα邏輯系統(tǒng)中廣義重言式理論的語義([α]-MP)規(guī)則、語義([α+]-MP)規(guī)則,使得對Hα系統(tǒng)中的廣義重言式有了更進一步的認識.另外,邏輯系統(tǒng)-W中的廣義語義MP規(guī)則也成為其中的一個特例.
【作者單位】： 西安文理學(xué)院數(shù)學(xué)系;陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【基金】：國家自然科學(xué)基金資助項目(10871121)
【分類號】：O141.1

【參考文獻】

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

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

【共引文獻】

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

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

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

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

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

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

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

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

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

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

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

相關(guān)博士學(xué)位論文 前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年

相關(guān)碩士學(xué)位論文 前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年

【二級參考文獻】

相關(guān)期刊論文 前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 應(yīng)明生;允許修改推理規(guī)則的開放邏輯[J];科學(xué)通報;1996年11期

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

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

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

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

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

【相似文獻】

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

1 于鴻麗;;邏輯系統(tǒng)H_α中廣義語義HS規(guī)則證明的改進[J];西安文理學(xué)院學(xué)報(自然科學(xué)版);2010年02期

2 于鴻麗;吳洪博;;邏輯系統(tǒng)H_α中廣義語義MP規(guī)則證明的改進[J];計算機工程與應(yīng)用;2010年22期

3 劉邦凡;試論模糊邏輯及其一般應(yīng)用[J];黔南民族師范學(xué)院學(xué)報;2005年01期

4 張祺;模糊邏輯及其在航空領(lǐng)域的應(yīng)用前景[J];航空制造技術(shù);1995年01期

5 黃少青;;略論多值邏輯與模糊邏輯的關(guān)系[J];宜春師專學(xué)報;1994年01期

6 成科揚;基于集對分析的模糊邏輯研究[J];華中科技大學(xué)學(xué)報(自然科學(xué)版);2004年S1期

7 應(yīng)明生;模糊邏輯的緊致性[J];科學(xué)通報;1998年04期

8 裴道武;關(guān)于模糊邏輯與模糊推理邏輯基礎(chǔ)問題的十年研究綜述[J];工程數(shù)學(xué)學(xué)報;2004年02期

9 苗東升;;關(guān)于模糊邏輯的幾點思考[J];河池學(xué)院學(xué)報;2007年04期

10 霍書全;;多值邏輯與悖論[J];中國社會科學(xué)院研究生院學(xué)報;2010年05期

相關(guān)會議論文 前10條

1 張惠民;;論模糊邏輯的哲學(xué)意義和實用價值[A];1993年邏輯研究專輯[C];1993年

2 張尚水;;模糊邏輯[A];全國邏輯討論會論文選集[C];1979年

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

4 傅殿英;;模糊邏輯與質(zhì)量互變規(guī)律[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

5 暢春玲;張運杰;于東;董云影;;建立在模糊邏輯上的模糊元胞自動機[A];第12屆全國模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會論文集[C];2004年

6 王建芳;;邏輯在人工智能科學(xué)中的應(yīng)用與前景[A];1994年邏輯研究專輯[C];1994年

7 閔珊華;賀仲雄;;金岳霖晚年對Fuzzy邏輯的認識[A];金岳霖學(xué)術(shù)思想研究——金岳霖學(xué)術(shù)思想研討會論文集[C];1985年

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

9 袁正校;何向東;;關(guān)于真謂詞的冗余論的若干問題[A];1998年邏輯研究專輯[C];1998年

10 陳自立;桂起權(quán);;辯證邏輯公理系統(tǒng)DLA及DLB[A];1995年邏輯研究專輯[C];1995年

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

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

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

1 蔣萍;模糊邏輯在風(fēng)險投資決策中的應(yīng)用[D];西南師范大學(xué);2005年

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

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

4 李曉冰;區(qū)間值模糊命題邏輯的廣義擬重言式及其真度[D];遼寧師范大學(xué);2005年

5 張瓊;BL_△~*形式系統(tǒng)與NM（?）形式系統(tǒng)的研究[D];陜西師范大學(xué);2010年

6 李海霞;邏輯代數(shù)中若干問題的研究[D];陜西師范大學(xué);2008年

7 高李紅;QBL代數(shù)與IMTL代數(shù)及系統(tǒng)的研究[D];陜西師范大學(xué);2011年

8 李麗;模糊時序命題邏輯系統(tǒng)的語義[D];遼寧師范大學(xué);2005年

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

，

本文編號：2550496