弗雷德里克·劳里德森。 中间逻辑承认结构超连续演算。 （英语） Zbl 1494.03069号 螺柱日志。 107，第2期，247-282（2019）. 摘要：我们描述了中间逻辑的特征，它承认一个形式为（mathbf{HLJ}+mathscr{R}）的无割超连续演算，其中（mathbf{HLJ{）是命题直觉逻辑的序列演算（mathbf-LJ}）超连续的对应物，（mathscr}）是一组所谓的结构超连续规则，即不涉及任何逻辑连接词的规则。从中间逻辑的代数语义和关系语义两方面给出了这类中间逻辑的特征。我们讨论了这种特征化的各种积极和消极后果。 引用于三文件 MSC公司： 03B55号 中间逻辑 05年3月 切割消除和正规形定理 03财年03 一般证明理论（包括证明理论语义） 06D20日 Heyting代数（格理论方面） 关键词：中间逻辑;高发性结石;代数证明理论;Heyting代数 软件：SQEMA公司 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Lauridsen}，研究日志。107，第247-282号（2019年；兹bl 1494.03069） 全文： 内政部 参考文献： [1] Ackermann，W.，Untersuchungüber das Eliminations problem der Mathematischen Logic，《数学年鉴》110（1）：390-4131935·Zbl 0009.38601号 ·doi:10.1007/BF01448035 [2] Avellone，A.，M.Ferrari和P.Miglioli，可插值命题中间逻辑的无重复表演算和相关的无剪切序列演算，IGPL逻辑杂志7（4）：447-4801999·Zbl 0938.03042号 ·doi:10.1093/jigpal/7.4.447 [3] Avron，A.，《RM的构造性分析》，《符号逻辑杂志》52（4）：939-9511987·兹伯利0639.03017 ·doi:10.2307/2273828 [4] Avron，A。；Hodges，W.（编辑）；等。，命题非经典逻辑证明理论中的超序列方法，1-32（1996），牛津·兹比尔0861.03043 [5] Balbes，R.和P.Dwinger，《分布格》，密苏里大学出版社，哥伦比亚，1974年·Zbl 0321.06012 [6] Balbes，R.和A.Horn，投射分配格，太平洋数学杂志33:273-2791970年·Zbl 0185.03602号 ·doi:10.2140/pjm.1970.33.273 [7] Bezhanishvili，G.和N.Bezhanisvili，Heyting代数和正则公式的局部有限约化，《圣母院形式逻辑杂志》58（1）：21-452017·Zbl 1417.03198号 ·数字对象标识代码：10.1215/00294527-3691563 [8] Bezhanishvili，G.、N.Bezhanisvili和R.Iemhoff，稳定规范规则，符号逻辑杂志81（1）：284-3152016·Zbl 1345.03034号 ·doi:10.1017/jsl.2015.54 [9] Bezhanishvili，G.、N.Bezhanisvili和J.Ilin，《稳定模态逻辑》，《符号逻辑评论》。出现。可参见ILLC预发布系列报告PP-2016-11·Zbl 1522.03048号 [10] Bezhanishvili，G.，N.Bezhanishvili和J.Ilin，Cofinal稳定逻辑，Studia Logica 104（6）：1287-13172016·Zbl 1403.03045号 ·doi:10.1007/s11225-016-9677-9 [11] Bezhanishvili，G.和R.Jansana，分配会议半格的普里斯特利式对偶，Studia Logica 98（1-2）：83-1222011·Zbl 1238.03050号 ·doi:10.1007/s11225-011-9323-5 [12] Bezhanishvili，N.，《中间模态逻辑和圆柱模态逻辑的晶格》，阿姆斯特丹大学博士论文，2006年。 [13] Bezhanishvili，N.和D.de Jongh，《直觉主义逻辑中的稳定公式》，《圣母院形式逻辑杂志》。出现。可参见ILLC预发布系列报告PP-2014-19·Zbl 1456.03052号 [14] Bezhanishvili，N.，N.Galatos和L.Spada，k-有效交换积分剩余格的正则公式，代数Universalis 77（3）：321-3432017·Zbl 1420.03147号 ·doi:10.1007/s00012-017-0430-7 [15] Bezhanishvili，N.和S.Ghilardi，《多结论规则、超序列语法和步骤框架》，收录于R.Goré等人（编辑），《模态逻辑进展》第10卷。大学出版物，2014年，第54-73页·Zbl 1385.03016号 [16] Bezhanishvili，N.、S.Ghilardi和F.M.Lauridsen，具有有界证明性质的一步Heyting代数和超连续计算，《逻辑与计算杂志》27（7）：2135-21692017·Zbl 1444.03101号 [17] Burris，S.和H.P.Sankappanavar，《泛代数课程》。《数学研究生课本》，施普林格出版社，1981年·Zbl 0478.08001号 ·doi:10.1007/978-1-4613-8130-3 [18] Chagrov，A.V.和M.Zakharyaschev，《模态逻辑》，牛津逻辑指南第35卷，克拉伦登出版社，1997年·Zbl 0871.03007号 [19] Ciabattoni，A.和M.Ferrari，一些中间逻辑家族的Hypertableau和path-Hypertableau calculi，收录于R.Dyckhoff，（编辑），TABLEAUX 2000，计算机科学讲义论文集，第1847卷，Springer，2000，第160-174页·Zbl 0963.03017号 [20] Ciabattoni，A.，和M.Ferrari，一些带有有界Kripke模型的中间逻辑的超序贯计算，逻辑与计算杂志11（2）：283-2942001·Zbl 0989.03026号 ·doi:10.1093/log.com/11.2.283 [21] Ciabattoni，A.、D.M.Gabbay和N.Olivetti，弱排除中间逻辑的无割证明系统，软计算2（4）：147-1561998·doi:10.1007/s005000.50047 [22] Ciabattoni，A.，N.Galatos，and K.Terui，《从公理到非经典逻辑中的分析规则》，摘自第23届IEEE计算机科学逻辑研讨会论文集，2008年，IEEE计算机学会，2008，第229-240页。 [23] Ciabattoni，A.，N.Galatos，and K.Terui，《FL-代数的麦克尼尔完备性》，《代数普遍性》66（4）：405-4202011·Zbl 1259.03086号 ·doi:10.1007/s00012-011-0160-1 [24] Ciabattoni，A.、N.Galatos和K.Terui，《子结构逻辑的代数证明理论：删减与补全》，《纯粹与应用逻辑年鉴》163（3）：266-2902012年·Zbl 1245.03026号 ·doi:10.1016/j.apal.2011.09.003 [25] Ciabattoni，A.、N.Galatos和K.Terui，代数证明理论：超连续和超完备，《纯粹与应用逻辑年鉴》168（3）：693-7372017·Zbl 1422.03038号 ·doi:10.1016/j.apal2016.012 [26] Ciabattoni，A.、P.Maffezioli和L.Spendier，《中间逻辑的超连续和标记演算》，载于D.Galmiche等人[32]，第81-96页·Zbl 1401.03056号 [27] Ciabattoni，A.和R.Ramanayake，结构显示规则的权力和限制，ACM计算逻辑事务17（3）：2016年17月·Zbl 1407.03067号 ·doi:10.1145/2874775 [28] Conradie，W.、V.Goranko和D.Vakarelov，模态逻辑中的算法对应和完备性I.核心算法SQEMA，计算机科学中的逻辑方法2（1），2006年·Zbl 1126.03018号 [29] Corsi，G.，《Dummett的LC量化的无割演算》，Zeitschrift für mathematische Logik und Grundlagen der Mathematik 35:289-3011989年·Zbl 0688.03038号 ·doi:10.1002/malq.19890350402 [30] Dyckhoff，R.和S.Negri，《中间逻辑中的证明分析》，《数学逻辑档案》51（1-2）：71-922012·Zbl 1241.03068号 ·doi:10.1007/s00153-011-0254-7 [31] Galatos，N.、P.Jipsen、T.Kowalski和H.Ono，《剩余格：亚结构逻辑的代数一瞥》，《逻辑与数学基础研究》第151卷，爱思唯尔出版社，阿姆斯特丹，2007年·Zbl 1171.03001号 [32] Galmiche，D.等人，（编辑），TABLEAUX 2013，《计算机科学讲义论文集》，第8123卷，柏林施普林格，2013年·Zbl 1272.68020号 [33] Gehrke，M.和J.Harding，有界晶格展开，代数杂志238:345-3712001·Zbl 0988.06003号 ·doi:10.1006/jabr.2000.8622 [34] Gehrke，M.、J.Harding和Y.Venema，《麦克尼尔完备性和规范扩展》，《美国数学学会学报》358（2）：573-5902006·Zbl 1083.06009号 ·doi:10.1090/S0002-9947-05-03816-X [35] Greco，G.，M.Ma，A.Palmigiano，A.Tzimoulis，Z.Zhao，作为证明理论工具的统一通信，《逻辑与计算杂志》。https://doi.org/10.1093/logcom/exw022。 ·兹比尔1444.03055 [36] 霍奇斯，W.，《模型理论》，《数学及其应用百科全书》第42卷，剑桥大学出版社，英国剑桥，1993年·兹比尔0789.03031 [37] Horn，A.和N.Kimura，《半格的范畴》，代数普遍性1（1）：26-381971·Zbl 0249.06004号 ·doi:10.1007/BF02944952 [38] Hosoi，T.，命题逻辑LQ的Gentzen型表述，Studia Logica 47（1）：41-481988·Zbl 0658.03016号 ·doi:10.1007/BF00374051 [39] Iemhoff，R.，模态逻辑中的均匀插值和序列计算。提交。网址：http://www.phil.uu.nl/iemhoff/papers.html·Zbl 07006132号 [40] Iemhoff，R.，均匀插值和连续计算的存在性。提交。网址：http://www.phil.uu.nl/iemhoff/papers.html·Zbl 07006132号 [41] Jeřábek，E.，规范规则，符号逻辑杂志74（4）：1171-12052009·兹比尔1186.03045 ·doi:10.2178/jsl/1254748686 [42] Lahav，O.，《从框架属性到模态逻辑中的超连续规则》，载于《第28届ACM/IEEE计算机科学逻辑研讨会论文集》，LICS 2013，IEEE计算机学会，2013年，第408-417页·Zbl 1366.03188号 [43] Lellmann，B.，命题模态逻辑的受限上下文超序列规则，理论计算机科学656:76-1052016·Zbl 1402.03076号 ·doi:10.1016/j.tcs.2016.10.004 [44] Lellmann，B.和D.Pattinson，模态希尔伯特公理和序列规则之间的对应及其在S5中的应用，载于D.Galmiche等人[32]，第219-233页·Zbl 1401.03044号 [45] Minc，G.E.，《关于模态逻辑的一些计算》，收录于V.P.Orevkov（编辑），《符号逻辑的演算I》，《Steklov数学研究所学报》第98卷，AMS，1971年，第97-124页·Zbl 0208.01102号 [46] Negri，S.，《几何理论的无收缩序贯计算及其对巴尔定理的应用》，《数理逻辑文献》42（4）：389-4012003·Zbl 1025.03055号 ·doi:10.1007/s001530100124 [47] Pottinger，G.，《T，S4，S5的统一无切割公式》，（摘要），《符号逻辑杂志》48:900，1983年。 [48] Rothenberg，R.，《中级逻辑与几何克里普克语义学的超序列演算和标记序列演算之间的关系》，圣安德鲁斯大学博士论文，2010年。 [49] Simpson，A.K.，《直觉模态逻辑的证明理论和语义学》，博士论文，爱丁堡大学，1994年。 [50] Sonobe，O.，《一些中间逻辑的Gentzen型公式》，《津田学院学报》7:7-141975年。 [51] Wronski，A.，《中间逻辑和析取属性》，《数学逻辑报告》1:39-511973年·Zbl 0308.02027号 [52] Zakharyaschev，M.，超直觉逻辑的语法和语义，代数和逻辑28（4）：262-2821989·Zbl 0708.03011号 ·doi:10.1007/BF01982017 [53] Zakharyaschev，M.，《K4的规范公式》，第二部分：共尾子帧逻辑，《符号逻辑杂志》61（2）：421-4491996·Zbl 0884.03014号 ·doi:10.2307/2275669 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。