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