×
西蒙·马提尼;安德烈亚·马西尼;玛格丽塔·佐齐

切除延长的连续结石。 （英语） Zbl 07811422号

牛。第节。日志。，大学后勤部。 52，第4期，459-495（2023）.

理学硕士：

03B22号 抽象演绎系统
03B45号 模态逻辑（包括规范逻辑）
05年3月 切割消除和正规形定理

关键词：

证明理论;矢列演算;切割消除;模态逻辑;2个序列
PDF格式BibTeX公司 XML格式引用
\textit{S.Martini}等人，公牛。第节。日志。，大学后勤部。52，编号4，459-495（2023；Zbl 07811422）
全文： 内政部

参考文献：

[1] A.Avron，《命题非经典逻辑证明理论中的超序列方法》，[in:]W.Hodges，M.Hyland，C.Steinhorn，J.Truss（eds.），《逻辑：从基础到应用》，牛津科学出版社，克拉伦登出版社，纽约（1996），第1-32页。
内政部：·Zbl 0861.03043号
[2] J.L.Bell，M.Machover，数学逻辑课程，荷兰北部，阿姆斯特丹（1977年）·Zbl 0359.02001
[3] S.Burns，R.Zach，《模态逻辑K、T和D的模超连续计算的无切割完备性》，《符号逻辑评论》，第14卷（4）（2021），第910-929页，DOI：
内政部：·Zbl 1486.03040号 ·doi:10.1017/s1755020320000180
[4] C.Cerrato，正态模态逻辑的无割模态序列，《圣母院形式逻辑杂志》，第34卷（4）（1993），第564-582页，DOI:
内政部：·Zbl 0795.03023号 ·数字对象标识代码：10.1305/ndjfl/1093633906
[5] C.Cerrator，模态树序列，《数学逻辑季刊》，第42卷（2）（1996），第197-210页，DOI：
内政部：·Zbl 0882.03013号 ·doi:10.1002/malq.19960420117
[6] A.Ciabattoni，R.Ramanayake，H.Wansing，Hypersequent and display calculi-A unified perspective，Studia Logica，第102卷（6）（2014），第1245-1294页，DOI:
内政部：·Zbl 1344.03043号 ·doi:10.1007/s11225-014-9566-z
[7] M.Fitting，模态逻辑的表au证明方法，《圣母院形式逻辑杂志》，第13卷（2）（1972），第237-247页，DOI：
内政部：·Zbl 0184.28102号 ·doi:10.1305/ndjfl/1093894722
[8] M.Fitting，模态逻辑和直觉逻辑的证明方法，Springer-Verlag（1983）。
内政部：·Zbl 0523.03013号
[9] M.Fitting，前缀表和嵌套序列，《纯粹和应用逻辑年鉴》，第163（3）卷（2012），第291-313页，DOI：
内政部：·Zbl 1241.03021号 ·doi:10.1016/j.apal.2011.09.004
[10] D.M.Gabbay，R.J.G.B.de Queiroz，将Curry-Howard解释扩展到线性、相关和其他资源逻辑，《符号逻辑杂志》，第57卷（4）（1992），第1319-1365页，DOI:
内政部：·Zbl 0765.03005号 ·doi:10.2307/2275370
[11] J.-Y.Girard，《证明理论与逻辑复杂性》，第1卷，那不勒斯图书馆（1987年）·Zbl 0635.03052号
[12] S.Guerrini，S.Martini，A.Masini，基于扩展序列的（线性）指数分析，IGPL逻辑杂志，第6卷（5）（1998），第735-753页，DOI:
内政部：·兹比尔0934.03077 ·doi:10.1093/jigpal/6.5.735
[13] B.Lellmann，线性嵌套序列、2-序列和超序列，[in:]H.de Nivelle（编辑），《分析表和相关方法的自动推理》，Tableaux 2015，计算机科学讲义第9323卷，施普林格（2015），第135-150页，内政部：
内政部：·Zbl 1471.03080号 ·doi:10.1007/978-3-319-24312-2-10
[14] B.Lellmann，D.Pattinson，基于经典或直觉主义逻辑构建具有上下文限制的无切割序列系统，[in:]K.Lodaya（ed.），逻辑及其应用，第五届印度会议，ICLA 2013，计算机科学讲稿第7750卷，Springer（2013），第148-160页，DOI:
内政部：·Zbl 1303.03052号 ·doi:10.1007/978-3-642-36039-8_14
[15] B.Lellmann，E.Pimentel，正常和非正常模式的序列计算模块化，ACM计算逻辑汇刊，第20卷（2）（2019），第7:1-7:46页，DOI:
DOI（操作界面）：·Zbl 1433.03131号 ·数字对象标识代码：10.1145/3288757
[16] S.Martini，A.Masini，《关于指数规则的精细结构》，[in:]J.-Y.Girard，Y.Lafont，L.Regnier（eds.），《线性逻辑进展》，剑桥大学出版社（1993），第197-210页。
内政部：·Zbl 0835.03020号
[17] S.Martini，A.Masini，《模态证明的计算解释》，[in:]H.Wansing（ed.），模态逻辑的证明理论，Kluwer（1994），第213-241页。
内政部：·Zbl 0867.03016号
[18] S.Martini，A.Masini，M.Zorzi，《从2-序列和线性嵌套序列到正规模态逻辑的自然推导》，《ACM计算逻辑学报》，第22卷（3）（2021），第19:1-19:29页，DOI:
内政部：·Zbl 1505.03054号 ·数字对象标识代码：10.1145/3461661
[19] A.Masini，《2-序列演算：模态的证明理论》，《纯粹与应用逻辑年鉴》，第58卷（3）（1992），第229-246页，DOI：
内政部：·Zbl 0819.03045号 ·doi:10.1016/0168-0072（92）90029-Y
[20] A.Masini，《2-序列演算：直觉主义和自然演绎》，《逻辑与计算杂志》，第3卷（5）（1993），第533-562页，DOI:
内政部：·Zbl 0793.03013号 ·doi:10.1093/logcom/3.5.533
[21] A.Masini，L.Vigan'o，M.Volpe，捆绑分支时序逻辑的标记自然演绎，《逻辑与计算杂志》，第21卷（6）（2011），第1093-1163页，DOI:
内政部：·Zbl 1252.03038号 ·doi:10.1093/log.com/exq028
[22] G.Mints，序列索引系统和删减，《哲学逻辑杂志》，第26卷（6）（1997），第671-696页，DOI:
内政部：·兹伯利0885.03043 ·doi:10.1023/A:1017948105274
[23] S.Negri，模态逻辑的证明理论，哲学指南针，第6卷（8）（2011），第523-538页，内政部：
内政部：·doi:10.1111/j.1747-9991.2011.00418.x
[24] A.Simpson，《直觉模态逻辑的证明理论和语义》，英国爱丁堡大学博士论文（1993）。
[25] G.Takeuti，《证明理论》，第二版，《逻辑和数学基础研究》第81卷，北荷兰特出版公司，阿姆斯特丹（1987）·Zbl 0609.03019号
[26] L.Vigan'o，标签非经典逻辑，Kluwer学术出版社，Dordrecht（2000）。
内政部：·Zbl 1003.03001号
[27] H.Wansing，正规模态命题逻辑的序贯计算，《逻辑与计算杂志》，第4卷（2）（1994年），第125-142页，DOI：
DOI（操作界面）：·Zbl 0799.03014号 ·doi:10.1093/logcom/4.2.125
[28] H.Wansing，《显示的谓词逻辑》，《逻辑研究》，第62卷（1）（1999），第49-75页，DOI：
内政部：·Zbl 0922.03016号 ·doi:10.1023/A:1005125717300
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。