本文選題：常識推理的基礎邏輯 + 集選語義��； 參考：《西南大學學報(人文社會科學版)》2006年01期

【摘要】：對通常的典范模型方法加以改造,在典范結(jié)構的基礎上,可建立相對于任意給定有窮公式集Γ的Γ-典范框架和Γ-典范模型,以證明M的框架類完全性。Γ-典范模型方法是有窮方法。如果Γ有窮,得到的典范模型有窮。這不僅可以證明M的完全性,還可證明M的有窮模型性,因此M是可判定的。
[Abstract]:On the basis of the canonical model, a gamma canonical frame and a gamma canonical model are established on the basis of a canonical structure, in order to prove the completeness of the M frame class. The gamma canonical model method is a poor method. If gamma is poor, the model model is poor. This can not only prove the completeness of the M. It can also prove the finite model of M, so M is decidable.
【作者單位】： 北京大學哲學系 美國德州大學哲學系
【基金】：教育部人文社會科學研究“十五”規(guī)劃第一批研究資助項目(01JB720003)
【分類號】：B81

【相似文獻】

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

1 張立英;;條件句邏輯完全性問題探微初步[J];湖南科技大學學報(社會科學版);2007年04期

2 劉壯虎;鄰域語義學與推演系統(tǒng)的完全性[J];哲學研究;2000年09期

3 裘江杰;;基礎認知詞模態(tài)邏輯[J];湖南科技大學學報(社會科學版);2009年04期

4 郝旭東;李娜;;弗協(xié)調(diào)單主體認知邏輯系統(tǒng)C_nEK及其擴張[J];重慶工學院學報(社會科學版);2009年02期

5 許滌非;單主體認知邏輯的研究——全知性和真知性[J];湘潭師范學院學報(社會科學版);2003年02期

6 霍書全;;Lukasiewicz3-值命題邏輯的強完全性證明[J];安徽大學學報(哲學社會科學版);2008年02期

7 夏素敏;;無變元的一階片段:Fluted邏輯[J];哲學動態(tài);2009年04期

8 熊明;;斯穆里安合并記法的一種變形[J];華南師范大學學報(社會科學版);2010年03期

9 許滌非;;論模態(tài)邏輯系統(tǒng)的有限模型性質(zhì)[J];中國人民大學學報;2006年03期

10 杜國平;;知識蘊涵邏輯系統(tǒng)[J];邏輯學研究;2008年02期

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

1 周北海;毛翊;;常識推理的形式刻畫[A];2005年邏輯研究專輯[C];2005年

2 許滌非;;二重命題邏輯系統(tǒng)■_(T4)[A];2001年邏輯研究專輯[C];2001年

3 周北海;;嫁接框架與S1-完全性[A];1994年邏輯研究專輯[C];1994年

4 孫衛(wèi)民;;模態(tài)邏輯中幾個概念的發(fā)展[A];1994年邏輯研究專輯[C];1994年

5 陳麗中;;完全性房內(nèi)阻滯伴房性心動過速1例[A];2005年浙江省心電生理與起搏學術年會論文匯編[C];2005年

6 劉壯虎;;相干邏輯的鄰域語義學[A];1995年邏輯研究專輯[C];1995年

7 張子儀;楊德義;尹建祥;;一期縫合治愈外傷后完全性肛門失禁1例[A];中西醫(yī)結(jié)合大腸肛門病研究新進展——第十屆中國中西醫(yī)結(jié)合學會大腸肛門病學術研討會論文集[C];2004年

8 蘇振民;林文雄;黃曲惠;;完全性并指畸形整復體會[A];第4屆中國美容與整形醫(yī)師大會論文匯編[C];2007年

9 鄭景浩;徐志偉;劉錦紛;史珍英;蘇肇伉;丁文祥;;嬰幼兒完全性血管環(huán)的早期外科治療[A];中華醫(yī)學會第七次全國胸心血管外科學術會議暨2007中華醫(yī)學會胸心血管外科青年醫(yī)師論壇論文集心血管外科分冊[C];2007年

10 吳華;顧旭東;姚云海;李巖;張雄偉;付建明;;改進往復式步行矯形器對完全性脊髓損傷患者步行能力的影響[A];2008年浙江省物理醫(yī)學與康復學術年會暨中樞神經(jīng)功能損傷康復新進展學習班論文匯編[C];2008年

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

1 周新;中國完全性脊髓損傷臨床治療世界領先[N];醫(yī)藥導報(中藥報);2004年

2 記者 初衛(wèi)華;治療完全性脊髓損傷有進展[N];健康報;2001年

3 陳波;邏輯學的2005年[N];光明日報;2006年

4 羅;網(wǎng)管要滿足多行業(yè)需求[N];中國計算機報;2005年

5 記者　宋茜;我省一科研項目取得重要成果[N];江西日報;2006年

6 楊松林;腔隙性腦梗死不容輕視[N];大眾衛(wèi)生報;2007年

7 孫小禮;模型：現(xiàn)代科學的核心方法(五)[N];學習時報;2007年

8 左中男;用可調(diào)外固定支架使肩鎖關節(jié)復位[N];健康報;2007年

9 張倩平;女孩需防尿道黏膜外翻[N];家庭醫(yī)生報;2007年

10 數(shù)技經(jīng)所 蜀言;經(jīng)濟政策與模擬研究[N];中國社會科學院院報;2007年

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

1 周健生;結(jié)構系統(tǒng)完全性分析技術研究[D];哈爾濱工程大學;2002年

2 余俊偉;弗協(xié)調(diào)邏輯應用于道義邏輯的研究[D];中國社會科學院研究生院;2001年

3 馮彥波;合并邏輯方法研究[D];南開大學;2010年

4 劉楊;基于SG-MA-ISPA模型的區(qū)域可持續(xù)發(fā)展評價研究[D];重慶大學;2012年

5 郭美云;帶有群體知識的動態(tài)認知邏輯[D];北京大學;2006年

6 張世民;骶神經(jīng)前根電刺激排尿中完全性后根切斷去傳入的替代方法：實驗與臨床研究[D];第二軍醫(yī)大學;2000年

7 李閩峰;震害預測快速服務平臺的模型與方法及一些相關理論的研究[D];中國地震局地球物理研究所;2002年

8 任永平;基于板極模型方法的光電經(jīng)緯儀伺服控制技術研究[D];國防科學技術大學;2005年

9 陶紅;先天性腎上腺皮質(zhì)增生癥的臨床與分子遺傳學研究[D];中國協(xié)和醫(yī)科大學;2003年

10 李盛;單側(cè)完全性唇腭裂初期手術方法及效果評價的臨床研究[D];四川大學;2006年

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

1 游海燕;基于BP原理的指標體系建立模型方法研究[D];第三軍醫(yī)大學;2004年

2 孫剛;電子文件真實性保障模型研究[D];天津師范大學;2007年

3 李淑英;模糊描述邏輯L-SI語義及推理的研究[D];廣西師范大學;2007年

4 蔣軍利;公開更新邏輯[D];西南大學;2007年

5 董英東;多主體自認知邏輯系統(tǒng)及其應用[D];西南大學;2008年

6 毛雪菲;基于支持向量機的電弧爐終點參數(shù)預報模型的研究[D];安徽工業(yè)大學;2010年

7 徐桂彬;基于相關主題模型的音樂分類方法研究[D];蘇州大學;2012年

8 葉鵬;合肥市“城中村”問題調(diào)查研究[D];合肥工業(yè)大學;2005年

9 劉超;西安順城巷區(qū)段研究[D];西安建筑科技大學;2005年

10 姜建東;鐵路起重機提速方案研究[D];西南交通大學;2004年

，

本文編號：1971712