柳武村 使用欧拉图的反例构造。 (英语) Zbl 1370.03076号 螺柱日志。 103,第4期,669-696(2015). 最近,人们从逻辑和计算机科学的角度系统地研究了图形对象的一些视觉操作,如[一阶逻辑语言。包括与IBM-兼容的Tarski的World 4 Windows版本。0.第三版,加利福尼亚州斯坦福:斯坦福大学,语言与信息研究中心(1992年;Zbl 0942.03500)]由巴维斯和J.埃切曼迪【Fundam.Inform.46,No.1-2,1-29(2001;Zbl 0974.68206号)]由A.G.科恩和S.M.哈扎里卡,[“基于区域和联系的空间逻辑”,载于:第三届知识表示和推理国际会议论文集。圣马特奥:摩根·考夫曼。165–176(1992)]D.A.兰德尔欧拉图最初是在18世纪作为三段论的图形表示引入的。在之前的工作中,本文作者和其他人将欧拉图及其对三段论的可视化操作形式化为一个纯粹的句法演绎系统,并对其进行了所谓的证明理论分析,其中包括它相对于自然集合理论语义的完备性,该语义是通过规范的“图解证明”构造方法证明的。本文的主要问题是证明逻辑中的反例结构,如证明搜索或表格,也可以通过类似的规范“反二元语法证明”的证明理论方法来实现在一定的限制下,对前一个系统中无法证明的部分进行构造,但这对于三段论的原始表示仍然是足够的。因此,这个结果不仅引起了对完备性的另一种解释,而不涉及任何语义手段,而且还被解释为建立了“以欧拉图表示的三段论”的可判定性。审核人:Osamu Sonobe(福洛尼卡) 引用于2文件 MSC公司: 03楼50 构造系统的元数学 03B65号 自然语言逻辑 05年3月 切割消除和正规形定理 03B99 一般逻辑 关键词:欧拉图;演绎系统;证明理论;tableaux方法;完整性;可判定性 引文:Zbl 0942.03500;Zbl 0974.68206号 软件:超防(Hyperproof) PDF格式BibTeX公司 XML格式引用 \textit{R.Takemura},研究日志。103,第4号,669--696(2015;Zbl 1370.03076) 全文: 内政部 参考文献: [1] Allwein,G.和J.Barwise,(编辑),用图表进行逻辑推理,牛津逻辑研究和计算系列,牛津大学出版社,牛津,1996年·兹比尔0870.03002 [2] Barwise,J.和J.Etchemendy,塔斯基的世界,CSLI,斯坦福大学,1993年·Zbl 0858.0302号 [3] Barwise,J.和J.Etchemendy,《超验:用于Macintosh》,语言和信息出版物研究中心讲稿第42卷,剑桥大学出版社,剑桥,1995年。 [4] Barwise,J.和J.Etchemendy,《逻辑、证明和推理》,手稿·Zbl 0858.0302号 [5] Chen,J.、A.G.Cohn、D.Liu、S.Wang、J.Ouyang和Q.Yu,《定性空间表征调查》,《知识工程评论》第1-31期,2013年。doi:10.1017/S0269888913000350·Zbl 1052.03516号 [6] 科恩·A·G、哈扎里卡·S·M:定性空间表征和推理:概述。基础信息学46(1-2),1-29(2001)·Zbl 0974.68206号 [7] Cohn,A.G.和J.Renz,《定性空间表示和推理》,收录于F.van Hermelen,V.Lifschitz和B.Porter(编辑),《知识表示手册》,Elsevier,纽约,2008年,第551-596页·兹伯利0974.68206 [8] Hammer E.,Shin S.:欧拉的视觉逻辑。逻辑史与哲学19,1-29(1998)·Zbl 1052.03516号 ·网址:10.1080/01445349808837293 [9] 豪斯·J·,斯台普顿·G·,泰勒·J·:蜘蛛图。LMS计算与数学杂志8145-194(2005)·Zbl 1074.03006号 ·doi:10.1112/S146115700000942 [10] Mineshima,K.、M.Okada和R.Takemura,《Euler和Venn推理系统层次结构的保守性》,载于《视觉语言和逻辑学报》2009年,CEUR系列第510卷,2009年,第37-61页·Zbl 0974.68206号 [11] Mineshima K.,Okada M.,Takemura R.:带有欧拉圆的图解推理系统。《逻辑、语言与信息杂志》21(3),365-391(2012)·Zbl 1305.03014号 ·doi:10.1007/s10849-012-9160-6 [12] 皮尔斯,C.S.,载于C.哈特肖恩和P.维斯(编辑),查尔斯·桑德斯·皮尔斯论文集,第4卷,哈佛大学出版社,马萨诸塞州剑桥,1933年。 [13] Shin S.-J.:图表的逻辑状态。剑桥大学出版社,剑桥(1994)·Zbl 0829.03002号 [14] Randell,D.A.、Z.Cui和A.G.Cohn,《基于区域和连接的空间逻辑》,载于《第三届知识表示和推理国际会议论文集》,Morgan Kaufmann,San Mateo,1992年,第165-176页·Zbl 1288.03030号 [15] Takemura R.:《具有常数和存在点的欧拉图解系统的完整性》,日本大学人文科学杂志。日本大学商学院19(1-2),23-40(2013) [16] Takemura R.:欧拉图推理的证明理论:逻辑翻译和规范化。《逻辑研究》101(1),157-191(2013)·兹比尔1288.03030 ·doi:10.1007/s11225-012-9370-6 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。