×
Borisavljević，米尔贾纳

Gentzen的规则分析。 （英语） Zbl 1506.03119号

版本符号。日志。 11，第2号，347-370（2018）.
摘要：Gentzen演算（mathbf{NJ}）和（mathbf{LJ}J.祖克[数学与逻辑年鉴7,1-11213155156（1974；Zbl 0298.02023号)]以及C.城市[Trends Log.Stud.Log.Libr.39，31–50（2014；Zbl 1339.03051号)]，将给出。

引用于2文件

MSC公司：

05年3月 切割消除和正规形定理

关键词：

顺序系统；自然扣除制度

引文：

Zbl 0298.02023号；Zbl 1339.03051号

软件：

佩斯卡
PDF格式BibTeX公司 XML格式引用
\textit{M.Borisavljević}，版本：Symb。日志。11，第2号，347--370（2018；Zbl 1506.03119）
全文： 内政部

参考文献：

[1] Borisavljević，M.（1997）
[2] Borisavljević，M.，从序列系统转换的扩展自然演绎图像，《逻辑与计算杂志》，14，6，769-799，（2004）·Zbl 1070.03037号 ·doi:10.1093/logcom/14.6.769
[3] Borisavljević，M.，切割消除和归一化之间的联系，数学逻辑档案，45，2，113-148，（2006）·Zbl 1089.03046号 ·doi:10.1007/s00153-005-0295-x
[4] Dyckhoff，R。；Wansing，H.，Dag Prawitz，《证明和意义，削减消除，替代和正常化》，163-187，（2015），瑞士查姆：瑞士查姆施普林格·Zbl 1429.03198号
[5] Gentzen，G。；Szabo，M.，Gerhard Gentzen的论文集，Untersuchungenüber das logische Schließen。数学期刊，176-210，（1935），阿姆斯特丹：荷兰北部
[6] 克雷塞尔，G。；Fenstad，J.，第二届斯堪的纳维亚逻辑研讨会论文集，证据理论综述II。，109-170，（1971），阿姆斯特丹：荷兰北部·Zbl 0219.02001号
[7] Kreisel，G.，评论：Szabo，M.E.（编辑），Gerhard Gentzen的论文集（North-Holland，1969），《哲学杂志》，68，8，238-265，（1971）·兹比尔0209.30001 ·doi:10.2307/2025206
[8] Minc，G.E。；Odifreddi，P.，Kreiseliana:关于和围绕Georg Kreisel，序列推导的正规形式，469-492，（1996），马萨诸塞州韦尔斯利：A.K.Peters，马萨诸塞诸塞州威尔斯利·Zbl 0897.03053号
[9] 内格里，S。；冯·柏拉图，J.，《结构证明理论》，（2001），剑桥：剑桥大学出版社，剑桥·Zbl 1113.03051号
[10] 冯·柏拉图，J.，《带一般消去规则的自然演绎》，《数理逻辑档案》，40/1，541-567，（2001）·Zbl 1021.03050号
[11] 冯·柏拉图，J.，《从自然演绎到序贯演算的转换》，《数学逻辑季刊》，第49期，第435-443页，（2003年）·Zbl 1040.03042号 ·doi:10.1002/malq.200310047
[12] 冯·柏拉图，J.，Gentzen对自然演绎规范化的证明，《符号逻辑公报》，14/2，240-257，（2008）·Zbl 1145.03003号
[13] 冯·柏拉图，J.，《与根岑自然演绎同构的序列演算》，《符号逻辑评论》，4/1，43-53，（2011）·Zbl 1239.03034号
[14] Pottinger，G.，作为切割消除同态图像的归一化，《纯粹与应用逻辑年鉴》，第12卷，第323-357页，（1977年）·Zbl 0378.02017号
[15] Prawitz，D.，《自然演绎》（1965），阿尔奎斯特和威克塞尔：阿尔奎斯特与威克塞尔，斯德哥尔摩
[16] Prawitz，D。；Fenstad，J.E.，《证明理论的思想和结果》，《第二届斯堪的纳维亚逻辑研讨会论文集》，235-307，（1971），阿姆斯特丹：荷兰北部·Zbl 0226.02031
[17] Schrdeder-Heister，P.，《自然演绎的自然延伸》，《符号逻辑杂志》，49/41284-1300，（1984）·Zbl 0574.03045号
[18] Troelstra，A.S。；Schwichtenberg，H.，《基本证明理论》，（2000年），剑桥：剑桥大学出版社，剑桥·Zbl 0957.03053号
[19] 城市，C。；佩雷拉，L.C。；爱德华·E·H。；De Paiva，V.，《自然演绎的进展，达格·普拉维茨作品的庆祝》，重温扎克关于删减和正常化之间的对应关系的作品，31-50，（2014），多德雷赫特：施普林格，多德雷赫特·Zbl 1339.03051号
[20] Zucker，J.，割消去和归一化之间的对应关系，《纯粹与应用逻辑年鉴》，7，1-112，（1974）·Zbl 0298.02023号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。