本文選題：常識(shí)推理的基礎(chǔ)邏輯 + 集選語(yǔ)義��； 參考：《西南大學(xué)學(xué)報(bào)(人文社會(huì)科學(xué)版)》2006年01期

【摘要】：對(duì)通常的典范模型方法加以改造,在典范結(jié)構(gòu)的基礎(chǔ)上,可建立相對(duì)于任意給定有窮公式集Γ的Γ-典范框架和Γ-典范模型,以證明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.
【作者單位】： 北京大學(xué)哲學(xué)系 美國(guó)德州大學(xué)哲學(xué)系
【基金】：教育部人文社會(huì)科學(xué)研究“十五”規(guī)劃第一批研究資助項(xiàng)目(01JB720003)
【分類號(hào)】：B81

【相似文獻(xiàn)】

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

1 張立英;;條件句邏輯完全性問(wèn)題探微初步[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2007年04期

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

3 裘江杰;;基礎(chǔ)認(rèn)知詞模態(tài)邏輯[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2009年04期

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

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

6 霍書全;;Lukasiewicz3-值命題邏輯的強(qiáng)完全性證明[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年02期

7 夏素敏;;無(wú)變?cè)囊浑A片段:Fluted邏輯[J];哲學(xué)動(dòng)態(tài);2009年04期

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

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

10 杜國(guó)平;;知識(shí)蘊(yùn)涵邏輯系統(tǒng)[J];邏輯學(xué)研究;2008年02期

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

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

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

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

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

5 陳麗中;;完全性房?jī)?nèi)阻滯伴房性心動(dòng)過(guò)速1例[A];2005年浙江省心電生理與起搏學(xué)術(shù)年會(huì)論文匯編[C];2005年

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

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

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

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

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 周新;中國(guó)完全性脊髓損傷臨床治療世界領(lǐng)先[N];醫(yī)藥導(dǎo)報(bào)(中藥報(bào));2004年

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

3 陳波;邏輯學(xué)的2005年[N];光明日?qǐng)?bào);2006年

4 羅;網(wǎng)管要滿足多行業(yè)需求[N];中國(guó)計(jì)算機(jī)報(bào);2005年

5 記者　宋茜;我省一科研項(xiàng)目取得重要成果[N];江西日?qǐng)?bào);2006年

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

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

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

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

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

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

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

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

3 馮彥波;合并邏輯方法研究[D];南開(kāi)大學(xué);2010年

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

5 郭美云;帶有群體知識(shí)的動(dòng)態(tài)認(rèn)知邏輯[D];北京大學(xué);2006年

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

7 李閩峰;震害預(yù)測(cè)快速服務(wù)平臺(tái)的模型與方法及一些相關(guān)理論的研究[D];中國(guó)地震局地球物理研究所;2002年

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

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

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

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

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

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

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

4 蔣軍利;公開(kāi)更新邏輯[D];西南大學(xué);2007年

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

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

7 徐桂彬;基于相關(guān)主題模型的音樂(lè)分類方法研究[D];蘇州大學(xué);2012年

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

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

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

，

本文編號(hào)：1971712