摘要
Avron，A.1984年。 关于具有算术解释的模态系统。 J.塞姆。 逻辑49，3，935--942。 谷歌学者 
交叉引用 
Avron，A.1993年。 Gentzen型系统、分辨率和表格。 J.汽车。 原因。 10, 2, 265--281. 谷歌学者 交叉引用 Avron，A.2007年。 亚一致逻辑族的非确定性语义。 在《超一致性手册》中，J.Y.Beziau、W.A.Carnielli和D.M.Gabbay编辑，《逻辑系列研究》，第9卷，学院出版物，285-320。 谷歌学者 Avron，A.和Lahav，O.，2010年。 关于结构连接词和系统。 逻辑方法计算。 科学。 6, 4. 谷歌学者 交叉引用 Avron，A.和Lahav，O，2011年。 基本序列系统的克里普克语义。 20年会议记录 第个 使用分析表和相关方法进行自动推理国际会议（Tableaux’11）。 斯普林格，43-57。 谷歌学者 数字图书馆 
Avron，A.和Lev，I.2005年。 非确定性多值结构。 J.逻辑计算。 15, 3, 241--261. 谷歌学者 数字图书馆 Avron，A.和Zamansky，A.，2011年。 逻辑系统的非确定性语义。 在《哲学逻辑手册》中，D.M.Gabbay和F.Guenthner编辑，《哲学逻辑系列手册》，第16卷，Springer，227-304。 谷歌学者 交叉引用 Beklemishev，L.和Gurevich，Y.，2012年。 带析取的命题原逻辑。 http://www.mi.ras.ru/&sim ； bekl/Papers/primlog.pdf。 谷歌学者 Carnielli，W.A.、Coniglio，M.E.和Marcos，J.，2007年。 形式不一致的逻辑。 《哲学逻辑手册》，第14卷。 D.M.Gabbay和F.Guenthner，Eds.，Springer，15-107。 谷歌学者 Chagrov，A.和Zakharyaschev，M.，1997年。 模态逻辑。 牛津逻辑指南。 牛津大学出版社。 谷歌学者 Ciabattoni，A.和Ferrari，M.，2001年。 具有有界kripke模型的一些中间逻辑的超序列计算。 J.逻辑计算。 11, 2, 283--294. 谷歌学者 交叉引用 Ciabattoni，A.和Terui，K.，2006年。 走向删减的语义表征。 逻辑研究82，95-119。 谷歌学者 交叉引用 Dyckhoff，R.1992年。 直觉逻辑的无收缩序列计算。 J.符号逻辑57，3，795--807。 谷歌学者 交叉引用 Gentzen，G.1964年。 对逻辑推理的调查。 阿默尔。 菲洛斯。 夸脱。 1, 4, 288--306. 谷歌学者 Girard，J.1987年。 证明理论与逻辑复杂性。 证明理论研究。 图书馆。 谷歌学者 Gore，R.和Postniece，L.，2010年。 在双推论逻辑中，为了实现无割完备性，将推导和反驳结合起来。 J.逻辑计算。 20, 1, 233--260. 谷歌学者 数字图书馆 Hosli，B.和Jager，G.1994年。 关于否定的一些对称性。 J.符号逻辑59，2473-485。 谷歌学者 数字图书馆 Ishigaki，R.和Kashima，R.2008年。 一些严格蕴涵逻辑的序贯计算。 逻辑J.IGPL 16，2，155--174。 谷歌学者 交叉引用 Lavendhome，R.和Lucas，T.2000。 弱模态系统的序贯计算和决策程序。 Studia Logica逻辑研究66，121--145。 谷歌学者 交叉引用 Leivant，D.1981年。 关于模态逻辑的算术可证性证明理论。 J.符号逻辑46，3，531--538。 谷歌学者 交叉引用 小野，H.1977。 关于一些直觉模态逻辑。 出版研究所数学。 科学。 13, 3, 687--722. 谷歌学者 交叉引用 Pinto，L.和Uustalu，T.，2009年。 带标记序列的双直觉命题逻辑的证明搜索和反模型构造。 《使用分析表和相关方法进行自动推理》，M.Giese和A.Waaler主编，《计算机科学讲义》，第5607卷，Springer，295-309。 谷歌学者 数字图书馆 Poggiolesi，F.2010年。 模态命题逻辑的Gentzen演算：逻辑趋势。 Studia Logica图书馆，施普林格。 谷歌学者 Sambin，G.和Valentini，S.1982年。 可证明的模态逻辑。 顺序方法。 J.菲洛斯。 逻辑11，3，311--342。 谷歌学者 交叉引用 Schutte，K.，1960年。 简单类型理论的句法和语义特性。 J.符号逻辑25，4，305-326。 谷歌学者 交叉引用 Takeuti，G.1975年。 证明理论。 逻辑和数学基础研究。 North-Holland出版公司。 谷歌学者 Troelstra，A.S.和Schwichtenberg，H.1996年。 基本证明理论。 剑桥大学出版社。 谷歌学者 数字图书馆 Verbrugge，R.L.，2010年。 Provability逻辑。 《斯坦福大学哲学百科全书》，温特版，E.N.Zalta版，斯坦福大学。 http://plato.stanford.edu/archives/win2010/entries/logic-provability。 谷歌学者 Wansing，H.2002年。 模态逻辑的顺序系统。 《哲学逻辑手册》，2 第 D.M.Gabbay和F.Guenthner编辑，施普林格，61-145。 谷歌学者
建议
纯序贯演算：分析与决策程序 分析性，也称为子公式属性，通常保证命题序列计算中可导性的可判定性。 为了利用这一事实，必须解决两个实质性的差距：（i）是什么使顺序微积分具有分析性？ 和（ii）。。。 可证明逻辑中序列计算形式化的一般方法 LPAR’10：第17届编程、人工智能和推理逻辑国际会议论文集 我们描述了基于多集的序列演算的一般推理方法，它允许我们根据需要组合浅嵌入和深嵌入。 我们的方法是模块化的，允许明确的结构规则，并广泛适用于许多后续系统，。。。
