本文關鍵詞：協(xié)調、一致與一階公理系統(tǒng)的強完全性

  更多相關文章： 一致 協(xié)調 演繹定理 強完全性

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

【參考文獻】

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

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

【共引文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

9 韓亦佳;蘊涵與因果推理的關系[D];河南大學;2008年

【相似文獻】

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

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

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

3 李開;學習分析哲學的良師——讀《當代分析哲學》[J];中國圖書評論;1987年04期

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

5 段寶利,趙儉,董漢英;游戲對提高和發(fā)展幼兒協(xié)調性的實驗研究[J];西安體育學院學報;1999年02期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

4 耿建萍;關鍵在于“政策的一致性”[N];山西經濟日報;2006年

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

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

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

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

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

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

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

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

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

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

4 周啟強;英漢構詞法的認知研究[D];湖南師范大學;2007年

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

6 蓋國鳳;固定資產投資與經濟協(xié)調發(fā)展研究[D];吉林大學;2007年

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

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

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

10 張明媛;城市承災能力及災害綜合風險評價研究[D];大連理工大學;2008年

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

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

2 龐飛;分布式網絡互斥鎖的設計與實現(xiàn)[D];電子科技大學;2005年

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

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

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

6 姜靜;金融風險預測的模糊綜合評價模型[D];吉林大學;2005年

7 顧玉萍;嚴復、奈達、紐馬克翻譯理論的一致性[D];太原理工大學;2005年

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

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

10 王笑坤;Boosting算法及其應用[D];西北大學;2007年

，

本文編號：545920