×
戴维·卡塔;安东尼奥·阿拉戈纳广场

场地游戏。 （英语） Zbl 07598442号

Oliveri，Gianluigi（编辑）等人，《对象、结构和逻辑》。FilMat研究数学哲学。查姆：斯普林格。波士顿Stud.Philos。历史。科学。339, 259-286 (2022).
小结：在本文中，我们建议将普拉维茨的理由理论与吉拉德的卢迪克斯联系起来。此连接在两个级别上进行。在一个更具哲学意义的问题上，我们强调了普拉维茨和吉拉德方法之间的一些差异，但我们也认为他们在证明和演绎方面有一些共同的基本思想。在一个更正式的例子中，我们将Prawitz的理论依据描述为Girard的Ludics，它与命题直觉主义逻辑的隐含片段有关。这可能允许对话的阅读Prawitz的基础理论方法。此外，可以为地面指示科佐介绍。
关于整个系列，请参见[兹比尔1483.00027]。

MSC公司：

03年XX月 数学逻辑和基础
00A30型 数学哲学

关键词：

接地;游戏;对话;证明;假接地
PDF格式BibTeX公司 XML格式引用
\textit{D.Catta}和\textit{A.Piccolomini D'Aragona}，波士顿Stud.Philos。历史。科学。339259-286（2022；Zbl 07598442）
全文： 内政部

参考文献：

[1] 安德烈奥利，J-M，《线性逻辑中聚焦证明的逻辑编程》，《逻辑与计算杂志》，2，3，297-347（1992）·兹比尔0764.03020 ·doi:10.1093/logcom/2.3.297
[2] Cozzo，C.1994年。Teoria del意指丝状线虫。CLUEB公司。
[3] Cozzo，C.2015年。思考的必要性。《达格·普拉维茨关于证据和意义》，H.Wansing主编。旋转器·兹比尔1429.03018
[4] 达米特，M.，《语言的海洋》（1993），牛津大学出版社·Zbl 0875.03033号
[5] Faggian，C。；Basaldella，M.，Ludics，重复。指数交互类型和完备度，计算机科学中的逻辑方法，7，1-85（2011）·Zbl 1218.03025号 ·doi:10.2168/LMCS-7（2:13）2011年
[6] 弗勒里，MR；Quatrin，M.，《逻辑的一阶，计算机科学中的数学结构》，14，2，189-213（2004）·Zbl 1047.03023号 ·doi:10.1017/S0960129503004134
[7] Francez，N.，《证明理论语义学》，《逻辑研究》（2015）第57卷，：大学出版社·Zbl 1433.03001号
[8] Gentzen，G.，1934年。Untersuchungenüber das logische Schließen I.Mathematische Zeitschrift 39:176-210。《法兰西·德·R·费斯与J》（1955），《拉德雷：回归的逻辑》，法国新闻大学，巴黎，拉德雷
[9] Girard，J-Y，Locus solum，《计算机科学中的数学结构》，11，3，301-506（2001）·Zbl 1051.03045号 ·doi:10.1017/S096012950100336X
[10] 华盛顿州霍华德，《公式作为类型的构造概念》，致H.B.库里：关于组合逻辑、λ-微积分和形式主义的论文，479-490（1980），：学术出版社
[11] Laurent，O.，《逻辑极化练习曲》（2002年），《博士学位：爱克斯马赛第二大学博士学位》
[12] Martin-Löf，P.1984。直觉主义类型理论。那不勒斯：图书馆。（G.Sambin的课堂讲稿）·Zbl 0571.03030号
[13] Martin-Löf，P.1986年。关于逻辑常数的含义和逻辑定律的正当性。在《逻辑材料》第2卷中。
[14] Naibo，A.、M.Petrolo和T.Seiller。2016.关于公理的计算意义。在认识论中，知识与相互作用的影响，《逻辑、认识论与科学的统一》第38卷，141-184。斯普林格·Zbl 1439.03097号
[15] Petrolo，M.和P.Pistone。2018年，关于规范形式的悖论。Topoi 38·Zbl 1428.03073号
[16] Piccolomini d'Aragona，A.2017年。Dag prawitz关于证据、操作和接地。托波伊·Zbl 1428.03071号
[17] Piccolomini d'Aragona，A.，《达格·普拉维茨的理由理论和可判定性问题的部分演算》，《科学哲学》。欧洲科学哲学研究，223-244（2018），：斯普林格
[18] Piccolomini d‘Aragona，A.2019。达格·普拉维茨的理由理论。Aix-Marseille大学、罗马“La Sapienza”大学博士论文。
[19] Pistone，P.，《多态性与二阶逻辑的顽固循环：受害者的故事》，《符号逻辑公报》，24，1，1-52（2018）·Zbl 1496.03023号 ·doi:10.1017/bsl.2017.43
[20] Prawitz，D.，《自然演绎，一项实证理论研究》，《斯德哥尔摩大学学报-斯德哥尔摩亚哲学研究》第三卷（1965年），斯德哥尔曼：阿尔姆奎斯特和维克塞尔出版社，斯德哥尔摩·Zbl 0173.00205号
[21] Prawitz，D.1973年。走向一般证明理论的基础。逻辑与数学基础研究74。
[22] Prawitz，D.，《意义与证明：论古典逻辑与直觉主义逻辑的冲突》，《理论》，43，2-40（1977）·Zbl 0361.0208号 ·doi:10.1111/j.1755-2567.1977.tb00776.x
[23] Prawitz，D.2009年。推理和知识。2008年《逻辑学年鉴》，M.Pelis主编。学院出版物·Zbl 1275.03047号
[24] Prawitz，D.，有效推理的认知意义，综合，187,3887-898（2012）·Zbl 1275.03048号 ·doi:10.1007/s11229-011-9907-7
[25] Prawitz，D.2015年。解释演绎推理。《达格·普拉维茨关于证据和意义》，H.Wansing主编，65-100页。旋转器·兹比尔1429.03044
[26] Schroeder-Heister，P.2006年。证明理论语义学中的有效性概念。合成·Zbl 1101.03036号
[27] 施罗德·海斯特，P.2009。顺序演算和双向自然演绎：在证明理论语义的适当基础上。2008年《逻辑学年鉴》，M.Pelis主编。学院出版物·Zbl 1275.03053号
[28] Sironi，E.，《荒唐学中的类型理论》（2014）
[29] Sironi，E.，Ludics中的类型（2014），博士论文：Aix-Marseille大学，博士论文
[30] Sundholm，G.1998年。作为行为的证据和作为对象的证据。理论。
[31] 坦南特，N.1982。证明与悖论。辩证法·Zbl 0495.03036号
[32] Tennant，N.，《论没有自我参照的悖论》，《分析》，55，3，199-207（1995）·Zbl 0943.03573号 ·doi:10.1093/分析/55.3.199
[33] Terui，K.，《计算逻辑》，《理论计算机科学》，4122048-2071（2011）·Zbl 1222.03032号 ·doi:10.1016/j.tcs.2010.12.026
[34] Tranchini，L.2014年a。达格·普拉维茨。APhEX 9。
[35] Tranchini，L.2014年b。证明理论语义学、悖论以及意义和外延之间的区别。逻辑与计算杂志26·Zbl 1403.03115号
[36] Tranchini，L.，《证明、意义和悖论：一些评论》，Topoi，38，1-13（2018）
[37] Troelsta，A。；Van-Dalen，D.，《数学中的建构主义》第一卷（1988年），公司：Nort-Holland Publishing，Company·Zbl 0661.03047号
[38] Usberti，G.2015年。经验性陈述的c-justify概念。在《达格·普拉维茨论证据与意义》中，H.Wansing主编，415-450。旋转器·Zbl 1429.03049号
[39] Usberti，G.2017年。推理和认知透明度。托波伊1-14·Zbl 1428.03036号
[40] Zeilberger，N.，《论二元性的统一》，《纯粹逻辑与应用逻辑年鉴》，15366-96（2008）·Zbl 1134.03019号 ·doi:10.1016/j.apal.2008.01.01
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。