DRS与一阶谓词逻辑公式

【共引文献】

相关期刊论文 前10条

1 彭家法;形式语义学的历史渊源和理论框架[J];安徽大学学报(哲学社会科学版);2004年04期

2 徐通锵;思维方式与语法研究的方法论[J];北京大学学报(哲学社会科学版);2004年01期

3 李瑟;刘伟;郭海云;;汉语第三人称代词预指功能研究[J];北京交通大学学报(社科版);2005年04期

4 邢清清;从语言感知理论看英语听力教学中的羡余信息[J];北京理工大学学报(社会科学版);2003年S1期

5 韩旭,叶云屏;科普语类的及物性分析[J];北京理工大学学报(社会科学版);2004年S1期

6 赵永峰,赵应吉;外语课堂语境建构的动态模式[J];重庆工业高等专科学校学报;2003年03期

7 姚喜明;英语学习词典释义结构的认知特征[J];辞书研究;2003年03期

8 陈琳;;汉语羡余信息研究[J];太原城市职业技术学院学报;2006年04期

9 沈立新;“V_1着+V_2”结构句式“连动”属性的质疑[J];楚雄师范学院学报;2004年01期

10 宋洁琳;论三大语言学流派对英语名词化的探究[J];西华师范大学学报(哲学社会科学版);2005年01期

相关会议论文 前1条

1 齐冲;;汉语复合句第二小句中零形主语的同指制约[A];中国计算技术与语言问题研究——第七届中文信息处理国际会议论文集[C];2007年

相关博士学位论文 前10条

1 朱健平;翻译的跨文化解释[D];华东师范大学;2003年

2 马红妹;汉英机器翻译中汉语上下文语境的表示与应用研究[D];中国人民解放军国防科学技术大学;2002年

3 姜玲;英汉隐喻句对比研究英汉隐喻句对比研究[D];河南大学;2003年

4 文贞惠;现代汉语否定范畴研究[D];复旦大学;2003年

5 延俊荣;给予句研究[D];复旦大学;2003年

6 刘忠;性质语意理论的提出与自然语言理解及其实现的研究[D];华东师范大学;2004年

7 刘春玲;弱智儿童语义加工的实验研究[D];华东师范大学;2004年

8 郑逢斌;关于计算机理解自然查询语言的研究[D];西南交通大学;2004年

9 范莉;儿童和成人语法中的否定和否定辖域[D];北京语言大学;2005年

10 刘伟;现代汉语代词隐现的动态研究[D];北京语言大学;2005年

相关硕士学位论文 前10条

1 李林;三种认知语言观与外语教学研究[D];陕西师范大学;2001年

2 黄艳;面向数字化产品的自然语言查询技术的研究与开发[D];浙江大学;2002年

3 和贞;从中外隐喻研究对比看德汉成语的隐喻结构[D];对外经济贸易大学;2002年

4 李剑锋;汉语表述过程中的添加现象考察[D];北京语言文化大学;2002年

5 高泽峰;[D];北京语言文化大学;2002年

6 刘华;[D];湖南大学;2002年

7 邹春燕;单幅漫画作品中的叙事研究[D];华中师范大学;2003年

8 任俊英;论语言交际与语用推理[D];西南师范大学;2003年

9 陈青松;“大/小+名”结构考察[D];湖南师范大学;2002年

10 亿珍珍;面向产品设计的自然语言理解语义分析研究[D];西安电子科技大学;2004年

【相似文献】

相关期刊论文 前10条

1 李骏;邓富喜;;n值S-MTL命题逻辑系统中公式真度的统一理论[J];电子学报;2011年08期

2 丁春晓;张兴芳;;模糊逻辑系统公理真度分析[J];模糊系统与数学;2011年03期

3 程仲棠;;关于“蕴涵怪论”及其反例[J];学术研究;2011年08期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前10条

1 王国俊;;数理逻辑中的数值化方法(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

2 谢先仁;;论辩证矛盾和逻辑矛盾的区别及识别[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

3 张金兴;;类推是类比推理吗?[A];1994年逻辑研究专辑[C];1994年

4 何庸;;《广义模态逻辑》值得细读[A];1995年逻辑研究专辑[C];1995年

5 杨学渊;;辩证命题的语形、语义和语用分析[A];1993年逻辑研究专辑[C];1993年

6 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年

7 邹崇理;;范畴语法与加标演绎系统[A];1997年逻辑研究专辑[C];1997年

8 倪鼎夫;;为霞尚满天[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

9 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

10 杜国平;;哲思逻辑[A];第三次金岳霖学术思想研讨会论文集[C];2005年

相关博士学位论文 前2条

1 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

2 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

相关硕士学位论文 前4条

1 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年

2 王永安;二值命题逻辑公式在等价意义下的一般表示及其应用[D];陕西师范大学;2008年

3 李立峰;Lukasiewicz逻辑系统中的模糊推理及模糊概念格的属性约简[D];陕西师范大学;2006年

4 李建生;n值逻辑系统中命题的绝对真度及其随机化理论[D];兰州理工大学;2008年