本文關(guān)鍵詞：邏輯系統(tǒng)G_n中理論的真度概念及其應(yīng)用

  更多相關(guān)文章： 邏輯系統(tǒng)Gn 理論的真度 真度 相容度 發(fā)散度

【摘要】：首次在命題邏輯系統(tǒng)中引入理論的真度概念,使得真度的概念由公式的真度推廣為公式集的真度,從而簡化了發(fā)散度的概念;在邏輯系統(tǒng)Gn中討論了理論Γ1、Γ2和Γ1∪Γ2的真度、相容度和發(fā)散度之間的關(guān)系。
【作者單位】： 陜西師范大學數(shù)學與信息科學學院;
【關(guān)鍵詞】： 邏輯系統(tǒng)Gn 理論的真度 真度 相容度 發(fā)散度
【基金】：國家自然科學基金(No.10771129) 陜西師范大學211工程建設(shè)基金資助項目~~
【分類號】：O141.1
【正文快照】： 1引言在邏輯系統(tǒng)中,若理論Γ推出矛盾式0ˉ,則稱Γ不相容,否則稱Γ相容。一個理論能否推出矛盾式是邏輯學家極為關(guān)心的問題。若理論相容,就會有一個相容程度大小的問題。S.Gottwald與V.Novak與1997年提出了理論不相容度的概念[1],并且給出了理論Γ不相容程度的一個指標:Incons

【參考文獻】

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

1 裴道武;形式演繹系統(tǒng)L~*中的懔運算與演繹定理[J];模糊系統(tǒng)與數(shù)學;2001年01期

【共引文獻】

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

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

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

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

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

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

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

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

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

9 馬盈倉,李駿;FMP和FMT的三I解及其性質(zhì)[J];紡織高�；A(chǔ)科學學報;2005年02期

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

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

1 王茹;王國俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

2 郭秀敏;王國俊;;關(guān)于描述邏輯中不動點語義的討論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

3 段巧林;王國俊;;根與幾種命題邏輯系統(tǒng)中的近似推理[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

4 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

5 潘小東;徐揚;;基于Lukasiewicz蘊涵代數(shù)的模糊命題邏輯的語法理論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

6 胡明娣;于鵬;王國俊;;蘊涵格的正規(guī)MP-濾子與素濾子[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【二級參考文獻】

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

1 王國俊,任燕;Lukasiewicz命題集的發(fā)散性與相容性[J];工程數(shù)學學報;2003年03期

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

3 何穎俞,王國俊;L~*-Lindenbaum代數(shù)的結(jié)構(gòu)與L~*公理系統(tǒng)的簡化形式[J];工程數(shù)學學報;1998年01期

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

5 張興芳;孟廣武;;一階模糊謂詞邏輯公式的有限解釋真度和可數(shù)解釋真度的理論及其應(yīng)用[J];計算機科學;2005年10期

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

7 裴道武;形式演繹系統(tǒng)L~*中的懔運算與演繹定理[J];模糊系統(tǒng)與數(shù)學;2001年01期

8 王國俊;一類代數(shù)上的邏輯學(Ⅰ)[J];陜西師范大學學報(自然科學版);1997年01期

9 王國俊;模糊推理與模糊邏輯[J];系統(tǒng)工程學報;1998年02期

【相似文獻】

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

1 王國俊;高香妮;;命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[J];陜西師范大學學報(自然科學版);2009年05期

，

本文編號：775429