本文關(guān)鍵詞：協(xié)調(diào)、一致與一階公理系統(tǒng)的強(qiáng)完全性

  更多相關(guān)文章： 一致 協(xié)調(diào) 演繹定理 強(qiáng)完全性

【摘要】：在公理系統(tǒng)中演繹定理是連接一致性和協(xié)調(diào)性的橋梁。對于帶演繹定理的公理系統(tǒng),可以證明公式集的一致性和協(xié)調(diào)性是等價的。在不帶演繹定理的一階公理系統(tǒng)中,一致性和協(xié)調(diào)性的差異集中體現(xiàn)在強(qiáng)完全性證明過程中�；谝恢滦缘淖C明不依賴演繹定理,但基于協(xié)調(diào)性的強(qiáng)完全性證明多處受演繹定理束縛。文中將給出一個松綁方案,基于協(xié)調(diào)性上證明一階公理系統(tǒng)QC1的強(qiáng)完全性。
【作者單位】： 華南師范大學(xué)政治與行政學(xué)院;
【關(guān)鍵詞】： 一致 協(xié)調(diào) 演繹定理 強(qiáng)完全性
【分類號】：B812.23
【正文快照】： ~~協(xié)調(diào)、一致與一階公理系統(tǒng)的強(qiáng)完全性@鄧雄雁$華南師范大學(xué)政治與行政學(xué)院!廣東廣州510631 @胡澤洪$華南師范大學(xué)政治與行政學(xué)院!廣東廣州510631在公理系統(tǒng)中演繹定理是連接一致性和協(xié)調(diào)性的橋梁。對于帶演繹定理的公理系統(tǒng),可以證明公式集的一致性和協(xié)調(diào)性是等價的。在

【參考文獻(xiàn)】

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

1 王健平;;實質(zhì)蘊涵與自然語言中的相關(guān)蘊涵命題分析[J];華南師范大學(xué)學(xué)報(社會科學(xué)版);2005年03期

【共引文獻(xiàn)】

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

1 孫培福;;變元間的相關(guān)性是人類邏輯的本質(zhì)屬性——由關(guān)于“實質(zhì)蘊涵”的“相關(guān)蘊涵”引發(fā)的深層思考[J];華南師范大學(xué)學(xué)報(社會科學(xué)版);2006年03期

2 王永炎;賈春華;黃啟福;魯光麟;;《傷寒論》臨床診療“實質(zhì)公理”集[J];江蘇中醫(yī)藥;2006年10期

3 馮艷;論經(jīng)典否定、直覺主義否定和弗協(xié)調(diào)否定[J];自然辯證法研究;2005年02期

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

1 張力鋒;模態(tài)邏輯和本質(zhì)主義[D];北京大學(xué);2004年

2 賈春華;基于命題邏輯的《傷寒論》方證理論體系研究[D];北京中醫(yī)藥大學(xué);2006年

3 張立娜;個體詞的邏輯語義[D];清華大學(xué);2007年

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

1 郭美云;辛提卡IF一階邏輯研究[D];西南師范大學(xué);2003年

2 王軼;認(rèn)知邏輯的動態(tài)化理論[D];中國人民大學(xué);2005年

3 賈改琴;知道謂詞邏輯[D];西南師范大學(xué);2005年

4 李愛仙;特異水稻的細(xì)胞胚胎學(xué)研究及其雜交后代的遺傳分析[D];四川農(nóng)業(yè)大學(xué);2005年

5 陳家端;試析高中數(shù)學(xué)課程中邏輯內(nèi)容的選擇與編制[D];中央民族大學(xué);2006年

6 黃金華;正規(guī)模態(tài)邏輯的自然演繹及其證明論性質(zhì)探微[D];華南師范大學(xué);2007年

7 劉云婷;言語行為理論視域中的指令行為分析[D];浙江大學(xué);2008年

8 唐永剛;蒯因真理觀及其理論意義[D];西南大學(xué);2008年

9 韓亦佳;蘊涵與因果推理的關(guān)系[D];河南大學(xué);2008年

【相似文獻(xiàn)】

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

1 初立光;對動作“協(xié)調(diào)性”實質(zhì)的分析[J];河北體育學(xué)院學(xué)報;2004年02期

2 李娜;模態(tài)系統(tǒng)P_1的協(xié)調(diào)性[J];信陽師范學(xué)院學(xué)報(哲學(xué)社會科學(xué)版);2005年03期

3 李開;學(xué)習(xí)分析哲學(xué)的良師——讀《當(dāng)代分析哲學(xué)》[J];中國圖書評論;1987年04期

4 郭貴春;胡塞爾現(xiàn)象學(xué)的方法論意義[J];山西大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1992年03期

5 段寶利,趙儉,董漢英;游戲?qū)μ岣吆桶l(fā)展幼兒協(xié)調(diào)性的實驗研究[J];西安體育學(xué)院學(xué)報;1999年02期

6 ;短跑[J];田徑;2004年08期

7 肖志鵬,王翔;臺階試驗和中跑測驗評價高中生心肺機(jī)能鍛煉效果的一致性[J];湖北體育科技;2005年04期

8 周來祥;;辯證思維·矛盾思維·和諧思維[J];學(xué)術(shù)月刊;2007年12期

9 李德鵬;;論古漢語現(xiàn)代漢語雙音詞判斷標(biāo)準(zhǔn)的一致性[J];云南民族大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2009年01期

10 姜大濤;;法律英語翻譯的基本原則[J];魅力中國;2009年25期

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

1 李小五;;協(xié)調(diào)性質(zhì)與無窮邏輯幾個公理化系統(tǒng)的完全性[A];1993年邏輯研究專輯[C];1993年

2 王棟民;高昱;左彥峰;歐陽世翕;;流態(tài)膨脹混凝土膨脹與強(qiáng)度發(fā)展的協(xié)調(diào)性研究(Ⅰ):中強(qiáng)混凝土的情況[A];首屆商品砼大會論文集[C];2004年

3 薛佩偉;;中國圖書館立法研究[A];福建省圖書館學(xué)會2007年學(xué)術(shù)年會論文集[C];2007年

4 譚小群;陳國華;;跨區(qū)域突發(fā)事件應(yīng)急協(xié)調(diào)機(jī)制實現(xiàn)途徑探究[A];中國職業(yè)安全健康協(xié)會2009年學(xué)術(shù)年會論文集[C];2009年

5 岳瑞永;徐義賢;吳云超;;InSAR二維相位解纏算法研究[A];第二屆環(huán)境與工程地球物理國際會議論文集[C];2006年

6 張國華;吳智銘;;混合動態(tài)系統(tǒng)中連續(xù)狀態(tài)系統(tǒng)用離散事件系統(tǒng)描述的一致性[A];1996中國控制與決策學(xué)術(shù)年會論文集[C];1996年

7 李艷雙;韓文秀;曾珍香;;可持續(xù)發(fā)展系統(tǒng)評價指標(biāo)體系構(gòu)建及評價方法探討[A];西部開發(fā)與系統(tǒng)工程——中國系統(tǒng)工程學(xué)會第12屆年會論文集[C];2002年

8 方志耕;劉思峰;張亞斌;張立軍;;國際貿(mào)易自由化與發(fā)展中國家經(jīng)濟(jì)利益的一致性與矛盾性分析[A];2002年中國管理科學(xué)學(xué)術(shù)會議論文集[C];2002年

9 許瑩修;戴思蘭;;菊花品種表型性狀分類價值研究[A];中國菊花研究論文集（2002—2006）[C];2002年

10 李繼乾;蘇醒;黃奇成;魏翠萍;;區(qū)間數(shù)判斷矩陣的排序及一致性改進(jìn)算法[A];第四屆全國決策科學(xué)/多目標(biāo)決策研討會論文集[C];2007年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 顧興明;再婚夫妻更需協(xié)調(diào)性生活[N];保健時報;2004年

2 亦清;深化改革要突出協(xié)調(diào)性[N];深圳特區(qū)報;2011年

3 李成勛 中國社會科學(xué)院經(jīng)濟(jì)研究所;注重經(jīng)濟(jì)發(fā)展的協(xié)調(diào)性[N];中國社會科學(xué)報;2011年

4 耿建萍;關(guān)鍵在于“政策的一致性”[N];山西經(jīng)濟(jì)日報;2006年

5 ;需提高數(shù)據(jù)的一致性及設(shè)備自身抗震能力[N];中國電子報;2009年

6 本報記者 陳淑清;區(qū)域經(jīng)濟(jì)：協(xié)調(diào)性明顯增強(qiáng)[N];中國信息報;2005年

7 記者 譚志文;高度重視經(jīng)濟(jì)發(fā)展的協(xié)調(diào)性和可持續(xù)性[N];郴州日報;2011年

8 黎建飛 楊勝男;略論勞動保障立法的協(xié)調(diào)性[N];中國勞動保障報;2005年

9 本報記者 周春雨;黃彬：英國館看點在于形式與內(nèi)容的一致性[N];中國貿(mào)易報;2010年

10 記者 杜斌　李庶民 通訊員 王貴鵬;GDP增速合理回落 經(jīng)濟(jì)協(xié)調(diào)性增強(qiáng)[N];金融時報;2011年

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

1 馬曉苗;基于自組織理論的企業(yè)文化滲透機(jī)制及測度研究[D];吉林大學(xué);2009年

2 王以松;邏輯程序的相容性與環(huán)公式研究[D];貴州大學(xué);2007年

3 魏善碧;多智能體系統(tǒng)分布式預(yù)測控制方法研究[D];重慶大學(xué);2009年

4 周啟強(qiáng);英漢構(gòu)詞法的認(rèn)知研究[D];湖南師范大學(xué);2007年

5 于冬;面向數(shù)字城市的復(fù)雜性研究[D];天津大學(xué);2004年

6 蓋國鳳;固定資產(chǎn)投資與經(jīng)濟(jì)協(xié)調(diào)發(fā)展研究[D];吉林大學(xué);2007年

7 金玲玲;偷稅犯罪立法研究[D];吉林大學(xué);2009年

8 張海濱;應(yīng)用定量組織速度成像技術(shù)研究左室運動的協(xié)調(diào)性[D];第四軍醫(yī)大學(xué);2004年

9 李振中;追求和諧的完美[D];上海外國語大學(xué);2007年

10 張明媛;城市承災(zāi)能力及災(zāi)害綜合風(fēng)險評價研究[D];大連理工大學(xué);2008年

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

1 李林林;高爐專家系統(tǒng)中知識庫的研究與實現(xiàn)[D];東北大學(xué);2005年

2 龐飛;分布式網(wǎng)絡(luò)互斥鎖的設(shè)計與實現(xiàn)[D];電子科技大學(xué);2005年

3 秦艷凱;基于Linux嵌入式實時數(shù)據(jù)庫系統(tǒng)的研究與設(shè)計[D];華北電力大學(xué)（河北）;2006年

4 寇鳳蓮;大容積發(fā)酵罐啤酒醇酯比的控制研究[D];江南大學(xué);2008年

5 張靜;基于一致性的世界級制造模式在我國企業(yè)的應(yīng)用[D];江蘇大學(xué);2009年

6 姜靜;金融風(fēng)險預(yù)測的模糊綜合評價模型[D];吉林大學(xué);2005年

7 顧玉萍;嚴(yán)復(fù)、奈達(dá)、紐馬克翻譯理論的一致性[D];太原理工大學(xué);2005年

8 方江林;關(guān)于異方差樣本的統(tǒng)計推斷[D];湖南師范大學(xué);2006年

9 李瑞平;高速公路車速仿真及一致性分析[D];昆明理工大學(xué);2006年

10 王笑坤;Boosting算法及其應(yīng)用[D];西北大學(xué);2007年

，

本文編號：545920