DRS與一階謂詞邏輯公式
[Abstract]:......
【作者單位】: 首都師范大學(xué)哲學(xué)系
【分類號(hào)】:B812
【共引文獻(xiàn)】
相關(guān)期刊論文 前10條
1 彭家法;形式語(yǔ)義學(xué)的歷史淵源和理論框架[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2004年04期
2 徐通鏘;思維方式與語(yǔ)法研究的方法論[J];北京大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2004年01期
3 李瑟;劉偉;郭海云;;漢語(yǔ)第三人稱代詞預(yù)指功能研究[J];北京交通大學(xué)學(xué)報(bào)(社科版);2005年04期
4 邢清清;從語(yǔ)言感知理論看英語(yǔ)聽力教學(xué)中的羨余信息[J];北京理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2003年S1期
5 韓旭,葉云屏;科普語(yǔ)類的及物性分析[J];北京理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2004年S1期
6 趙永峰,趙應(yīng)吉;外語(yǔ)課堂語(yǔ)境建構(gòu)的動(dòng)態(tài)模式[J];重慶工業(yè)高等?茖W(xué)校學(xué)報(bào);2003年03期
7 姚喜明;英語(yǔ)學(xué)習(xí)詞典釋義結(jié)構(gòu)的認(rèn)知特征[J];辭書研究;2003年03期
8 陳琳;;漢語(yǔ)羨余信息研究[J];太原城市職業(yè)技術(shù)學(xué)院學(xué)報(bào);2006年04期
9 沈立新;“V_1著+V_2”結(jié)構(gòu)句式“連動(dòng)”屬性的質(zhì)疑[J];楚雄師范學(xué)院學(xué)報(bào);2004年01期
10 宋潔琳;論三大語(yǔ)言學(xué)流派對(duì)英語(yǔ)名詞化的探究[J];西華師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2005年01期
相關(guān)會(huì)議論文 前1條
1 齊沖;;漢語(yǔ)復(fù)合句第二小句中零形主語(yǔ)的同指制約[A];中國(guó)計(jì)算技術(shù)與語(yǔ)言問題研究——第七屆中文信息處理國(guó)際會(huì)議論文集[C];2007年
相關(guān)博士學(xué)位論文 前10條
1 朱健平;翻譯的跨文化解釋[D];華東師范大學(xué);2003年
2 馬紅妹;漢英機(jī)器翻譯中漢語(yǔ)上下文語(yǔ)境的表示與應(yīng)用研究[D];中國(guó)人民解放軍國(guó)防科學(xué)技術(shù)大學(xué);2002年
3 姜玲;英漢隱喻句對(duì)比研究英漢隱喻句對(duì)比研究[D];河南大學(xué);2003年
4 文貞惠;現(xiàn)代漢語(yǔ)否定范疇研究[D];復(fù)旦大學(xué);2003年
5 延俊榮;給予句研究[D];復(fù)旦大學(xué);2003年
6 劉忠;性質(zhì)語(yǔ)意理論的提出與自然語(yǔ)言理解及其實(shí)現(xiàn)的研究[D];華東師范大學(xué);2004年
7 劉春玲;弱智兒童語(yǔ)義加工的實(shí)驗(yàn)研究[D];華東師范大學(xué);2004年
8 鄭逢斌;關(guān)于計(jì)算機(jī)理解自然查詢語(yǔ)言的研究[D];西南交通大學(xué);2004年
9 范莉;兒童和成人語(yǔ)法中的否定和否定轄域[D];北京語(yǔ)言大學(xué);2005年
10 劉偉;現(xiàn)代漢語(yǔ)代詞隱現(xiàn)的動(dòng)態(tài)研究[D];北京語(yǔ)言大學(xué);2005年
相關(guān)碩士學(xué)位論文 前10條
1 李林;三種認(rèn)知語(yǔ)言觀與外語(yǔ)教學(xué)研究[D];陜西師范大學(xué);2001年
2 黃艷;面向數(shù)字化產(chǎn)品的自然語(yǔ)言查詢技術(shù)的研究與開發(fā)[D];浙江大學(xué);2002年
3 和貞;從中外隱喻研究對(duì)比看德漢成語(yǔ)的隱喻結(jié)構(gòu)[D];對(duì)外經(jīng)濟(jì)貿(mào)易大學(xué);2002年
4 李劍鋒;漢語(yǔ)表述過程中的添加現(xiàn)象考察[D];北京語(yǔ)言文化大學(xué);2002年
5 高澤峰;[D];北京語(yǔ)言文化大學(xué);2002年
6 劉華;[D];湖南大學(xué);2002年
7 鄒春燕;單幅漫畫作品中的敘事研究[D];華中師范大學(xué);2003年
8 任俊英;論語(yǔ)言交際與語(yǔ)用推理[D];西南師范大學(xué);2003年
9 陳青松;“大/小+名”結(jié)構(gòu)考察[D];湖南師范大學(xué);2002年
10 億珍珍;面向產(chǎn)品設(shè)計(jì)的自然語(yǔ)言理解語(yǔ)義分析研究[D];西安電子科技大學(xué);2004年
【相似文獻(xiàn)】
相關(guān)期刊論文 前10條
1 李駿;鄧富喜;;n值S-MTL命題邏輯系統(tǒng)中公式真度的統(tǒng)一理論[J];電子學(xué)報(bào);2011年08期
2 丁春曉;張興芳;;模糊邏輯系統(tǒng)公理真度分析[J];模糊系統(tǒng)與數(shù)學(xué);2011年03期
3 程仲棠;;關(guān)于“蘊(yùn)涵怪論”及其反例[J];學(xué)術(shù)研究;2011年08期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
相關(guān)會(huì)議論文 前10條
1 王國(guó)俊;;數(shù)理邏輯中的數(shù)值化方法(英文)[A];第12屆全國(guó)模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年
2 謝先仁;;論辯證矛盾和邏輯矛盾的區(qū)別及識(shí)別[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年
3 張金興;;類推是類比推理嗎?[A];1994年邏輯研究專輯[C];1994年
4 何庸;;《廣義模態(tài)邏輯》值得細(xì)讀[A];1995年邏輯研究專輯[C];1995年
5 楊學(xué)淵;;辯證命題的語(yǔ)形、語(yǔ)義和語(yǔ)用分析[A];1993年邏輯研究專輯[C];1993年
6 潘小東;徐揚(yáng);;基于Lukasiewicz蘊(yùn)涵代數(shù)的模糊命題邏輯的語(yǔ)法理論[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年
7 鄒崇理;;范疇語(yǔ)法與加標(biāo)演繹系統(tǒng)[A];1997年邏輯研究專輯[C];1997年
8 倪鼎夫;;為霞尚滿天[A];邏輯、語(yǔ)言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年
9 張家鋒;徐揚(yáng);;格值命題邏輯LP(X)中的語(yǔ)義歸結(jié)方法[A];中國(guó)運(yùn)籌學(xué)會(huì)模糊信息與模糊工程分會(huì)第五屆學(xué)術(shù)年會(huì)論文集[C];2010年
10 杜國(guó)平;;哲思邏輯[A];第三次金岳霖學(xué)術(shù)思想研討會(huì)論文集[C];2005年
相關(guān)博士學(xué)位論文 前2條
1 王慶平;邏輯度量空間中的仿射變換和幾類特殊公式的性態(tài)研究及其應(yīng)用[D];陜西師范大學(xué);2012年
2 胡明娣;邏輯度量空間的內(nèi)蘊(yùn)結(jié)構(gòu)的研究[D];陜西師范大學(xué);2011年
相關(guān)碩士學(xué)位論文 前4條
1 任鵬飛;命題邏輯公式集上的相似度、偽距離與近似推理[D];西北大學(xué);2008年
2 王永安;二值命題邏輯公式在等價(jià)意義下的一般表示及其應(yīng)用[D];陜西師范大學(xué);2008年
3 李立峰;Lukasiewicz邏輯系統(tǒng)中的模糊推理及模糊概念格的屬性約簡(jiǎn)[D];陜西師范大學(xué);2006年
4 李建生;n值邏輯系統(tǒng)中命題的絕對(duì)真度及其隨機(jī)化理論[D];蘭州理工大學(xué);2008年
,本文編號(hào):2509337
本文鏈接:http://www.sikaile.net/shekelunwen/ljx/2509337.html