天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當(dāng)前位置:主頁 > 社科論文 > 邏輯論文 >

DRS與一階謂詞邏輯公式

發(fā)布時間:2019-07-03 10:58

[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

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/shekelunwen/ljx/2509337.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶4dbd2***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com