摘要
J.-M.安德烈奥利。 1992年。线性逻辑中重点证明的逻辑编程。 逻辑与计算杂志2，3，297--347。 谷歌学者 
交叉引用 
A.Avron。 1987年，《符号逻辑杂志》52，4，939--951。 谷歌学者 交叉引用 P.Bahls、J.Cole、N.Galatos、P.Jipsen和C.Tsinakis。 2003年。取消剩余格。 代数普遍性50，83--106。 谷歌学者 交叉引用 N.D.Belnap，Jr.1982年。 显示逻辑。 哲学逻辑杂志11，4，375--417。 谷歌学者 交叉引用 P.Blackburn、M.de Rijke和I.Venema。 2001.模态逻辑。 剑桥理论计算机科学丛书，第53卷。 剑桥大学出版社，英国剑桥。 谷歌学者 数字图书馆 
J.布罗瑟斯顿。 2012年。显示了分组逻辑。 Studia Logica逻辑研究100，6，1223--1254。 谷歌学者 数字图书馆 K.布伦勒。 2006.模态逻辑的深层序列系统。 模态逻辑进展。 第6卷。 伦敦大学出版社，107-119。 谷歌学者 A.Ciabattoni、N.Galatos和K.Terui。 2008年。从非经典逻辑中的公理到分析规则。 在LICS 2008中。 229--240. 谷歌学者 数字图书馆 A.Ciabattoni、N.Galatos和K.Terui。 2012.代数证明理论I：删减和补全。 《纯粹逻辑与应用逻辑年鉴》163，3，266--290。 谷歌学者 交叉引用 A.Ciabattoni和R.Ramanayake。 2013.显示结石的结构规则扩展：一个通用的配方。 2013年WOLLIC。 计算机科学讲义，第8071卷。 柏林施普林格，81-95。 谷歌学者 A.Ciabattoni、R.Ramanayake和H.Wansing。 2014年。超层序和显示结石的统一视角。 Studia Logica逻辑研究102、6、1245--1294。 谷歌学者 数字图书馆 A.Ciabattoni、L.Strassburger和K.Terui。 2009年。拓展系统证明理论领域。 2009年计算机科学逻辑。 计算机科学讲义，第5771卷。 柏林施普林格，163-178。 谷歌学者 数字图书馆 W.Conradie和A.Palmigiano。 2012.分配模态逻辑的算法对应和规范性。 《纯粹逻辑与应用逻辑年鉴》163，3，338--376。 谷歌学者 交叉引用 S.Demri和R.Goré。 2002.表示模态可证明逻辑的割消的保定理映射。 逻辑与计算杂志12，5，861--884。 谷歌学者 交叉引用 M.配件。 1983年，模态逻辑和直觉逻辑的证明方法。 综合图书馆，第169卷。 D.Reidel Publishing Co.，荷兰多德雷赫特。 谷歌学者 G.根岑。 1935年，《后勤保障法》。 Mathematische Zeitschrift数学杂志39、176-210、405-431。 英文译自：《美国哲学季刊》第1期（1964年）第288--306页和《美国哲学季刊》第2期（1965年）第204-218页，以及：《Gerhard Gentzen论文集》，M.E.Szabo（编辑）。 阿姆斯特丹，北荷兰（1969），68-131。 谷歌学者 交叉引用 S.Ghilardi和G.Meloni。 1997.非经典逻辑中的构造规范性。 《纯粹逻辑与应用逻辑年鉴》86，1，1--32。 谷歌学者 交叉引用 R.Goré。 1998年a。 Gaggles、Gentzen和Galois：如何显示您最喜欢的子结构逻辑。 IGPL逻辑杂志6，5，669--694。 谷歌学者 交叉引用 R.Goré。 1998年b。 显示子结构逻辑。 IGPL的逻辑杂志6，3，451--504。 谷歌学者 交叉引用 R.Goré、L.Post侄女和A.Tiu。 2011.关于时态逻辑嵌套序列演算中显示假设和深层推理之间的对应。 计算机科学中的逻辑方法7，2，2:8，38。 谷歌学者 A.古列尔米。 2007年，互动和结构体系。 ACM计算机逻辑汇刊8，1。 谷歌学者 数字图书馆 G.E.Hughes和M.J.Cresswell。 1996年，模态逻辑新导论。 伦敦劳特利奇。 谷歌学者 E.Jeřábek。 2015年，关于子结构层次结构的说明。 《数学逻辑季刊》。 DOI:10.1002/铝201500066 谷歌学者 R.鹿岛。 1994.一些时态逻辑的无切割序列计算。 Studia Logica逻辑研究53，1，119--135。 谷歌学者 交叉引用 M.Kracht先生。 1996.模态显示演算的威力和弱点。 模态逻辑证明理论（汉堡，1993）。 应用逻辑系列，第2卷。 荷兰多德雷赫特Kluwer学术出版社，93-121。 谷歌学者 O.拉哈夫。 2013.从框架属性到模态逻辑中的超连续规则。 在IEEE LICS 2013中。 408--417. 谷歌学者 数字图书馆 J.兰贝克。 从范畴语法到双线性逻辑。 在《亚结构逻辑》中，K.Dosen和P.Schrieder-Heister（编辑）。 牛津大学出版社，纽约，207-237。 谷歌学者 B.莱尔曼。 2014.公理与具有上下文限制的超连续规则：理论与应用。 2014年国际JCAR。 计算机科学讲义，第8562卷。 柏林施普林格，307--321。 谷歌学者 交叉引用 B.Lellmann和D.Pattinson。 2013年，模态希尔伯特公理和序列规则之间的对应关系以及对S5的应用。 在2013年的表中。 计算机科学讲义，第8123卷。 施普林格，柏林，219-233。 谷歌学者 S.Marin和L.Stra汉堡。 2014.经典和直觉模态逻辑的无标签模块化系统。 模态逻辑进展。 第10卷。 伦敦大学出版社，387-406。 谷歌学者 S.Negri，2005年。 模态逻辑中的证明分析。 《哲学逻辑杂志》34，5-6，507-544。 谷歌学者 交叉引用 R.Ramanayake（拉马纳亚克）。 2011.Provability Logics的简化和显示逻辑的一些结果。 博士论文。 澳大利亚国立大学，澳大利亚堪培拉。 2016年1月26日检索自 http://www.logic.at/home/httpd/html/staff/revantha/thesis-rev.pdf。 谷歌学者 R.Ramanayake（拉马纳亚克）。 2015.在显示演算中嵌入超连续演算。 《逻辑与计算杂志》25，3（2015），921--942。 谷歌学者 交叉引用 G.重述。 1998.显示和决定子结构逻辑。 一、对置逻辑。 哲学逻辑杂志27，2，179-216。 谷歌学者 交叉引用 H.Wansing公司。 1998年，显示模态逻辑。 逻辑趋势。 斯普林格。 谷歌学者 数字图书馆 H.Wansing公司。 2002.模态逻辑顺序系统。 在《哲学逻辑手册》中，D.Gabbay和F.Guenthner（编辑）。 第8卷。 Kluwer，61-145岁。 谷歌学者 H.Wansing公司。 2008.建设性否定、暗示和共同暗示。 应用非经典逻辑杂志18，2--3，341--364。 谷歌学者 交叉引用 F.沃尔特。 1998年。关于逻辑与复合。 哲学逻辑杂志27，4，353--387。 谷歌学者 交叉引用
