托本·布吕纳 直觉混合逻辑：介绍和调查。 （英语） Zbl 1243.03025号 Inf.计算。 209，第12期，1437-1446（2011）. 摘要：直觉混合逻辑是直觉逻辑基础上的混合模态逻辑，而不是经典逻辑基础。在这篇简短的文章中，我们介绍了直觉混合逻辑，并对该领域的工作进行了综述。 引用于1文件 MSC公司： 03B45 模态逻辑（包括规范逻辑） 关键词：直觉逻辑;混合逻辑;模态逻辑 PDF格式BibTeX公司 XML格式引用 \textit{T.Braüner}，Inf.计算。209，第12号，1437--1446（2011；Zbl 1243.03025） 全文： 内政部 参考文献： [1] Areces，C。；布莱克本，P。；Marx，M.，《混合逻辑：特征、插值和复杂性》，《符号逻辑》，第66期，第977-1010页（2001年）·Zbl 0984.03018号 [2] 阿瑞斯，C。；ten Cate，B.，《混合逻辑》（Blackburn，P.；van Benthem，J.；Wolter，F.，《模态逻辑手册》（2007），Elsevier），821-868·Zbl 1114.03001号 [3] Blackburn，P.，《内部化标记演绎》，J.Logic Comput。，10, 137-168 (2000) ·Zbl 0953.03018号 [4] Blackburn，P.，Arthur Prior and hybrid logic，Synthese，150，329-372（2006），T.Braüner，P.Hasle，and P.Øhrström编辑的特刊·兹比尔1108.03001 [5] 布莱克本，P。；塞利格曼，J.，《混合语言》，J.Log。语言信息，4251-272（1995）·Zbl 0847.03009号 [6] L.Bozzato，M.Ferrari，P.Villa，描述逻辑的构造语义注释，载于：CILC09会议录，24-esimo Convergno Italiano di Logica Computazionale，2009。；L.Bozzato，M.Ferrari，P.Villa，《描述逻辑的构造语义注释》，载于：CILC09，24-esimo Convergno Italiano di Logica Computazionale，2009年·Zbl 1209.68524号 [7] Braüner，T.，《混合逻辑的自然演绎》，J.logic Comput。，14, 329-353 (2004) ·Zbl 1060.03036号 [8] Braüner，T.，一阶混合逻辑的自然演绎，J.Log。语言信息，14173-198（2005）·Zbl 1068.03016号 [9] Braüner，T.，经典、直觉主义和次一致混合逻辑公理，J.Log。语言信息，15，179-194（2006）·Zbl 1108.03033号 [10] Braüner，T.，混合逻辑及其证明理论，应用。日志。序列号。，第37卷（2011），施普林格出版社·Zbl 1217.03021号 [11] T.Braüner，V.de Paiva，《走向构造混合逻辑（扩展抽象）》，载于：C.Areces，P.Blackburn（编辑），《模态3方法研讨会论文集》，2003年，15页。；T.Braüner，V.de Paiva，《走向构造混合逻辑（扩展抽象）》，载于：C.Areces，P.Blackburn（编辑），《模态3方法研讨会论文集》，2003年，15页。 [12] Braüner，T。；de Paiva，V.，直觉主义混合逻辑，J.Appl。日志。，4，231-255（2006），[11]的修订和扩展版本·Zbl 1106.03011号 [13] Bull，R.A.，《MIPC作为直觉主义情态概念的形式化》，《符号逻辑杂志》，第31期，第609-616页（1966年）·Zbl 0192.03001号 [14] 查达，R。；马其顿，D。；Sassone，V.，《混合直觉主义逻辑：语义和可判定性》，J.logic Comput。，16, 27-59 (2006) ·兹比尔1107.03015 [15] V.de Paiva，《建构描述逻辑：什么、为什么和如何》。在V.de Paiva主页上的上下文表示和推理上展示的扩展草案网址：http://www.cs.bham.ac.uk/vdp；V.de Paiva，《建构描述逻辑：什么、为什么和如何》。在V.de Paiva主页上的上下文表示和推理上展示的扩展草案网址：http://www.cs.bham.ac.uk/视频数据处理 [16] Ewald，W.B.，直觉主义时态和模态逻辑，J.符号逻辑，51166-179（1986）·Zbl 0618.03004号 [17] Fitting，M.，多值模态逻辑，II，Fund。通知。，17, 55-73 (1992) ·Zbl 0772.03006号 [18] Gabbay，D.M。；A.库鲁茨。；Wolter，F。；Zakharyaschev，M.，《多维模态逻辑：理论与应用》（2003），爱思唯尔出版社·Zbl 1051.03001号 [19] D.Galmiche，Y.Salhi，直觉主义混合模态逻辑的微积分，载于：V.de Paiva，A.Nanevski（编辑），直觉主义模态逻辑与应用研讨会论文集（IMLA？08），2008年。微软研究院技术报告MSR-TR2008-90。；D.Galmiche，Y.Salhi，直觉主义混合模态逻辑的微积分，载于：V.de Paiva，A.Nanevski（编辑），直觉主义模态逻辑与应用研讨会论文集（IMLA？08），2008年。技术报告MSR-TR-2008-90，Microsoft Research·Zbl 1156.03024号 [20] Galmiche，D。；Salhi，Y.，《哥德尔混合逻辑家族》，J.Appl。日志。，8, 371-385 (2010) ·Zbl 1215.03045号 [21] Galmiche，D。；Salhi，Y.，直觉混合逻辑的顺序计算和可判定性，Inform。和计算。，209, 12, 1447-1463 (2011) ·Zbl 1243.03028号 [22] Girard，J.-Y。；Lafont，Y。；Taylor，P.，《证明与类型》，《剑桥论丛理论》。计算。科学。，第7卷（1989），剑桥大学出版社·Zbl 0671.68002号 [23] Görnemann，S.，《比直觉主义更强的逻辑》，J.符号逻辑，36249-261（1971）·Zbl 0276.02013 [24] Hansen，J.U。；Bolander，T。；Braüner，T.，多值混合逻辑（Areces，C.；Goldblatt，R.，Advances in Modal logic，vol.7（2008），College Publications），111-132·Zbl 1244.03085号 [25] 贾，L。；Walker，D.，Modal proof as distributed programs（extended abstract），（Schmidt，D.，European Symposium on Programming，欧洲编程研讨会，计算机科学讲稿，第2986卷（2004），Springer），219-233·Zbl 1126.68349号 [26] 墨菲，T。；克雷利（Crary，K.）。；哈珀，R。；Pfenning，F.，用于分布式计算的对称模态lambda演算，（第19届计算机科学逻辑研讨会（LICS）（2004），IEEE计算机学会出版社），286-295 [27] Öhrstrøm等人。；Hasle，P.，A.N.Prior’s logic，（Gabbay，D.M.；Woods，J.，《二十世纪的逻辑和模式》，《逻辑史手册》，第6卷（2005），爱思唯尔出版社） [28] Øhrström，P。；Hasle，P.，《现代时间逻辑：哲学背景》，（Gabbay，D.M.；Woods，J.，《二十世纪的逻辑和模式》，《逻辑史手册》，第6卷（2005），爱思唯尔） [29] 小野，H。；铃木，纽约，直觉模态逻辑和中间谓词逻辑之间的关系，代表数学。逻辑，22，65-87（1988）·Zbl 0696.03007号 [30] 罗宾逊，J.A.，《逻辑：形式与功能》（1979），北荷兰·Zbl 0428.03009号 [31] A.Simpson，《直觉模态逻辑的证明理论与语义》，爱丁堡大学博士论文，1994年。；A.Simpson，直觉模态逻辑的证明理论和语义，博士论文，爱丁堡大学，1994年。 [32] Troelstra，A。；van Dalen，D.，《数学中的建构主义：导论》（1988），北荷兰·Zbl 0653.0304号 [33] 范·本特姆，J.，《模态逻辑和经典逻辑》（1983），书目·Zbl 0639.03014号 [34] Wansing，H。；Odintsov，S.P.，不一致容忍描述逻辑。动机和基本系统，（Hendricks，V.；Malinowski，J.，《逻辑研究50年》，逻辑研究50周年，《趋势日志》，第21卷（2003年），Kluwer），301-335·Zbl 1048.03021号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。