“存在”的谓词地位新探
【学位授予单位】:华东师范大学
【学位级别】:硕士
【学位授予年份】:2018
【分类号】:B815
【相似文献】
相关期刊论文 前10条
1 何庸;;也谈定罪三段论[J];逻辑与语言学习;1987年03期
2 樊明亚;;直言逻辑与谓词逻辑的对比研究[J];上饶师专学报(哲学社会科学版);1989年06期
3 陈慕泽;;自然语言的符号化(下)[J];逻辑与语言学习;1989年02期
4 文斌;甘健侯;夏幼明;徐天任;;扩展描述罗辑ALC~+到谓词逻辑的转换研究初探[J];云南大学学报(自然科学版);2006年S2期
5 赵卯生;对谓词逻辑在人工智能科学中应用的分析[J];山西高等学校社会科学学报;2001年12期
6 张胜礼;潘正华;;中介谓词逻辑一种改进的语义解释及λ-归结[J];计算机工程与应用;2011年22期
7 张改荣;论谓词逻辑推理中的量词加免法则[J];工科数学;1995年03期
8 陈理荣;格型模糊谓词逻辑与推理[J];重庆邮电学院学报;1995年01期
9 陈忠平;;否定的逻辑语义解释[J];四川教育学院学报;2012年06期
10 何自强;离散数学中与量词有关的推理规则[J];北京航空航天大学学报;2000年04期
相关会议论文 前3条
1 陈其楼;潘正华;;谓词逻辑中有关函数及其部分性质的形式描述[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
2 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
3 冯棉;;相干逻辑与蕴涵怪论[A];2005年逻辑研究专辑[C];2005年
相关博士学位论文 前2条
1 陈书义;面向融合的移动通信网络安全关键技术研究[D];东北大学;2009年
2 彭君;领域软件开发中体系结构元模型及模型转换方法研究[D];吉林大学;2010年
相关硕士学位论文 前10条
1 刘松;“存在”的谓词地位新探[D];华东师范大学;2018年
2 贾改琴;知道谓词逻辑[D];西南师范大学;2005年
3 陈光颖;基于谓词逻辑的需求追踪方法研究[D];南京航空航天大学;2016年
4 马玉涛;模态复合谓词逻辑[D];清华大学;2009年
5 冀英伟;基于谓词逻辑和包含集的分类规则约简算法[D];太原科技大学;2009年
6 石鹏飞;信念非修正原型系统解释器的设计与实现[D];大连海事大学;2017年
7 卢海;前谓词经验与一般性判断的构造[D];西北师范大学;2011年
8 卢延鑫;逻辑学在计算机科学中的应用[D];上海社会科学院;2008年
9 王艳红;计算机联锁软件模拟自动测试系统的研究与实现[D];铁道部科学研究院;2004年
10 车付翠;计算机科学中的逻辑应用研究[D];燕山大学;2011年
,本文编号:2604458
本文链接:https://www.wllwen.com/shekelunwen/ljx/2604458.html