蝉蜕、阿加塔;雷文莎·拉马纳亚克 结构显示规则的功能和限制。 （英语） Zbl 1407.03067号 ACM事务处理。计算。日志。 17，第3号，第17条，第39页（2016年）. 引用于9文件 MSC公司： 03财年03 一般证明理论（包括证明理论语义） 05年3月 切割消除和正规形定理 03B20型 经典逻辑子系统（包括直觉逻辑） 03B45号 模态逻辑（包括规范逻辑） 03B44号 时间逻辑 03B47型 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 关键词：证明理论;显示微积分;显示定理;结构规则 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}和\textit{R.Ramanayake}，ACM翻译。计算。日志。17，第3号，第17条，第39页（2016；Zbl 1407.03067） 全文： 内政部 参考文献： [1] J.-M.安德烈奥利。1992年。线性逻辑中重点证明的逻辑编程。逻辑与计算杂志2，3，297–347·Zbl 0764.03020号 ·doi:10.1093/logcom/2.3.297 [2] A.Avron。1987年，《符号逻辑杂志》52、4、939–951·兹伯利0639.03017 ·doi:10.2307/2273828 [3] P.Bahls、J.Cole、N.Galatos、P.Jipsen和C.Tsinakis。2003年。取消剩余格。代数普遍50，83–106·Zbl 1092.06012号 ·文件编号：10.1007/s00012-003-1822-4 [4] 小N.D.贝尔纳普，1982年。显示逻辑。哲学逻辑杂志11，4，375–417·兹比尔0509.03008 ·doi:10.1007/BF00284976 [5] P.Blackburn、M.de Rijke和I.Venema。2001.模态逻辑。剑桥理论计算机科学丛书，第53卷。剑桥大学出版社，英国剑桥·Zbl 0988.03006号 [6] J.布罗瑟斯顿。2012.显示捆绑逻辑。Studia Logica罗技研究所100、6、1223–1254·Zbl 1282.03011号 ·doi:10.1007/s11225-012-9449-0 [7] K.Brü；nnler公司。2006.模态逻辑的深层序列系统。模态逻辑进展。第6卷。伦敦大学出版社，107-119·Zbl 1150.03006号 [8] A.Ciabattoni、N.Galatos和K.Terui。2008年。从非经典逻辑中的公理到分析规则。在LICS 2008中。229–240. ·doi:10.1109/LICS.2008.39 [9] A.Ciabattoni、N.Galatos和K.Terui。2012.代数证明理论I：删减和补全。《纯粹逻辑与应用逻辑年鉴》163、3、266–290·Zbl 1245.03026号 ·doi:10.1016/j.apal.2011.09.003 [10] A.Ciabattoni和R.Ramanayake。2013.显示计算的结构规则扩展：通用配方。2013年WOLLIC。《计算机科学讲义》，第8071卷。柏林施普林格，81-95·Zbl 1394.03069号 [11] A.Ciabattoni、R.Ramanayake和H.Wansing。2014年，以统一的视角对计算进行超连续显示。Studia Logica逻辑研究102、6、1245–1294·Zbl 1344.03043号 ·doi:10.1007/s11225-014-9566-z [12] A.Ciabattoni、L.Strassburger和K.Terui。2009年。拓展系统证明理论领域。2009年计算机科学逻辑。计算机科学讲义，第5771卷。柏林施普林格，163-178·Zbl 1257.03084号 ·doi:10.1007/978-3642-04027-6_14 [13] W.Conradie和A.Palmigiano。2012.分配模态逻辑的算法对应和规范性。《纯粹与应用逻辑年鉴》163、3、338–376·Zbl 1255.03030号 ·doi:10.1016/j.apal.2011.10.004 [14] S.Demri和R.Goré；。2002.表示模态可证明逻辑的割消的保定理映射。逻辑与计算杂志12，5，861–884·Zbl 1006.03036号 ·doi:10.1093/log.com/12.5.861 [15] M.配件。1983年，模态逻辑和直觉逻辑的证明方法。综合图书馆，第169卷。D.Reidel Publishing Co.，荷兰多德雷赫特·Zbl 0523.03013号 ·doi:10.1007/978-94-017-2794-5 [16] G.根岑。1935.Untersuchungenü；ber das logische schließ；英语。Mathematische Zeitschrift数学杂志39、176–210、405–431。英文译自：《美国哲学季刊》第1期（1964年），第288–306页和《美国哲学季刊》第2期（1965年），204–218页，以及：《Gerhard Gentzen论文集》，M.E.Szabo（编辑）。北荷兰阿姆斯特丹（1969），68-131。 [17] S.Ghilardi和G.Meloni。1997.非经典逻辑中的构造规范性。《纯粹与应用逻辑年鉴》86，1，1–32·兹伯利0949.03019 ·doi:10.1016/S0168-0072（96）00048-6 [18] R.Goré；。1998年a。Gaggles、Gentzen和Galois：如何显示您最喜欢的子结构逻辑。IGPL逻辑杂志6、5、669–694·Zbl 0917.03025号 ·doi:10.1093/jigpal/6.5.669文件 [19] R.Goré；。1998年b。显示子结构逻辑。IGPL逻辑杂志6，3，451–504·Zbl 0906.03020号 ·doi:10.1093/jigpal/6.3.451 [20] R.Goré；，L.Post侄女和A.Tiu。2011.关于时态逻辑嵌套序列演算中显示假设和深层推理之间的对应。计算机科学中的逻辑方法7，2，2:8，38·Zbl 1218.03020号 [21] A.古列尔米。2007年，互动和结构体系。计算机逻辑学报8，1·Zbl 1367.03110号 ·数字对象标识代码：10.1145/1182613.1182614 [22] G.E.Hughes和M.J.Cresswell。1996年，模态逻辑新导论。伦敦劳特利奇·Zbl 0855.0302号 ·doi:10.4324/9780203290644 [23] E.杰伊řá贝克。2015年，关于子结构层次结构的说明。《数学逻辑季刊》。DOI:10.1002/铝201500066·Zbl 1357.03057号 ·doi:10.1002/malq.201500066 [24] R.鹿岛。1994.一些时态逻辑的无切割序列计算。Studia Logica逻辑研究53、1、119–135·Zbl 0813.03012号 ·doi:10.1007/BF01053026 [25] 克拉赫特先生。1996.模态显示演算的威力和弱点。模态逻辑证明理论（汉堡，1993）。应用逻辑系列，第2卷。荷兰多德雷赫特Kluwer学术出版社，93–121·Zbl 0864.03014号 ·doi:10.1007/978-94-017-2798-37 [26] O.拉哈夫。2013.从框架属性到模态逻辑中的超序列规则。在IEEE LICS 2013中。408–417. ·Zbl 1366.03188号 ·doi:10.1109/LICS.2013.47 [27] J.兰贝克。从范畴语法到双线性逻辑。在子结构逻辑中，K.Dosen和P.Schrieder Heister（编辑）。牛津大学出版社，纽约，207-237·Zbl 0941.03518号 [28] B.莱尔曼。2014.公理与具有上下文限制的超连续规则：理论与应用。2014年国际JCAR。计算机科学讲义，第8562卷。柏林施普林格，307–321·Zbl 1425.03026号 ·doi:10.1007/978-3-319-08587-6_23 [29] B.Lellmann和D.Pattinson。2013年，模态希尔伯特公理和序列规则之间的对应关系以及对S5的应用。在2013年的表中。计算机科学讲义，第8123卷。柏林施普林格，219-233·Zbl 1401.03044号 ·doi:10.1007/978-3642-40537-2019 [30] S.Marin和L.Straß；汉堡。2014.经典和直觉模态逻辑的无标签模块化系统。模态逻辑进展。第10卷。伦敦大学出版社，387-406·Zbl 1385.03023号 [31] S.Negri，2005年。模态逻辑中的证明分析。哲学逻辑杂志34，5-6，507-544·Zbl 1086.03045号 ·doi:10.1007/s10992-005-2267-3 [32] R.Ramanayake（拉马纳亚克）。2011.Provability Logics的简化和显示逻辑的一些结果。博士论文。澳大利亚国立大学，澳大利亚堪培拉。2016年1月26日检索自http://www.logic.at/home/httpd/html/staff/revanth/theis-rev.pdf。 [33] R.Ramanayake（拉马纳亚克）。2015.在显示演算中嵌入超连续演算。《逻辑与计算杂志》25，3（2015），921-942·Zbl 1348.03054号 ·doi:10.1093/log.com/exu061 [34] G.重述。1998。显示和决定子结构逻辑。一、对置逻辑。《哲学逻辑杂志》27，2，179-216·Zbl 0913.03029号 ·doi:10.1023/A:1017998605966 [35] H.Wansing公司。1998.显示模态逻辑。逻辑趋势。斯普林格·Zbl 0955.03006号 ·数字对象标识代码：10.1007/978-94-017-1280-4 [36] H.Wansing公司。2002.模态逻辑顺序系统。在《哲学逻辑手册》中，D.Gabbay和F.Guenthner（编辑）。第8卷。Kluwer，61-145岁·doi:10.1007/978-94-010-0387-2_2 [37] H.Wansing公司。2008.建设性否定、暗示和共同暗示。应用非经典逻辑杂志18，2–3，341–364·Zbl 1181.03027号 [38] F.沃尔特。1998年。关于逻辑与复合。哲学逻辑杂志27，4，353–387·Zbl 0976.03020号 ·doi:10.1023/A:1004218110879 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。