收藏本站
收藏 | 论文排版

关于中介逻辑演算系统的发展及其语义学研究情况综述

朱剑英  肖奚安  朱梧槚  
【摘要】:正 《自然杂志》8卷4期至9卷12期,共发表中介逻辑演算ML和中介公理集合论MS的15篇研究通讯,其中ML9篇,MS6篇。显然,MS是目的,ML只是配套于MS的逻辑工具。正因为如此,在ML诸系统建立后,就直接进入了MS的构造和建立,而将ML的严格的语义研究暂时搁置一边。然而,构造任何一个逻辑系统,必须有实际背景和

知网文化
【相似文献】
中国重要会议论文全文数据库 前10条
1 朱剑英;肖奚安;朱梧槚;;关于中介逻辑演算系统的发展及其语义学研究情况综述[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
2 霍全生;;含自指性谓词的谓词演算系统[A];1996年逻辑研究专辑[C];1996年
3 毛宇光;徐洁磐;刘滔;周勇;;用于不完全信息数据库的中介逻辑演算系统MP~M[A];第十八届全国数据库学术会议论文集(研究报告篇)[C];2001年
4 庞善起;秦克云;赵希顺;王雪生;;模糊逻辑与二值逻辑[A];模糊数学和系统成果会论文集[C];1991年
5 龙荣;赵建民;朱信忠;徐慧英;;移动计算中灰箱演算的若干问题探讨[A];2006年全国理论计算机科学学术年会论文集[C];2006年
6 江怡;;近十年英美语言哲学研究最新进展[A];全国“当代西方哲学的新进展”学术研讨会论文汇编[C];2008年
7 董方峰;;认知范畴理论关照下多义词意义关系的研究——以汉语的“爬”字为例[A];第四届全国认知语言学研讨会论文摘要汇编[C];2006年
8 王东临;;关于逻辑的几个问题[A];1994年逻辑研究专辑[C];1994年
9 刘壮虎;;相干逻辑的邻域语义学[A];1995年逻辑研究专辑[C];1995年
10 毕富生;;关于“逻辑真"的再思考[A];1997年逻辑研究专辑[C];1997年
中国博士学位论文全文数据库 前6条
1 郑继娥;殷墟甲骨卜辞祭祀动词的语法结构及其语义结构[D];四川大学;2004年
2 彭慧;《广雅疏证》汉语语义学研究[D];四川大学;2007年
3 洪龙;中介真值程度的度量及其在计算机系统结构研究中的应用[D];南京航空航天大学;2006年
4 王航赞;迈克尔·达米特的语义学思想研究[D];山西大学;2009年
5 额尔敦朝鲁;面向信息处理的蒙古语动词语义研究[D];内蒙古大学;2005年
6 王立松;基于资源的访问控制理论与应用研究[D];南京航空航天大学;2010年
中国硕士学位论文全文数据库 前10条
1 高静;面向环境演算系统的模型检测算法的研究[D];南京航空航天大学;2009年
2 朱红梅;黄生语义学研究初探[D];陕西师范大学;2007年
3 锁佳迪;功能语义视角下的评价言语行为[D];首都师范大学;2009年
4 毛海云;现代俄语中情态动词语义组“意图—意图的实现”[D];中国人民解放军外国语学院;2006年
5 黄金华;正规模态逻辑的自然演绎及其证明论性质探微[D];华南师范大学;2007年
6 张立刚;卢曼社会语义学体系下的新闻语义学研究[D];江西财经大学;2012年
7 徐雯霞;MP~M中介代数的研究[D];江南大学;2009年
8 孙忠颖;基于概念整合理论的移就认知语义学研究[D];中国海洋大学;2008年
9 葛晶;俄语语义悖异现象研究[D];首都师范大学;2009年
10 王磊;缺省语义学框架下的话语理解研究[D];河北大学;2010年
中国重要报纸全文数据库 前7条
1 黄中办;“小程序”演算大洪水[N];中国水利报;2001年
2 陈志洁 郑树明;创新水文的灵魂[N];中国水利报;2003年
3 高云海;深·新·实[N];中国新闻出版报;2001年
4 孟宪荣;黄委中游水文局彰显人文关怀[N];中国水利报;2004年
5 贾洪伟 北京外国语大学;新时期中国语义学:视阈拓宽 任务艰巨[N];中国社会科学报;2011年
6 胡欣;《牛津语言学入门丛书》:语言学亲切走近[N];中国教育报;2001年
7 韩兴德;新视角下的语义学[N];光明日报;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978