×
苏珊娜·博布赞

斯多葛顺序逻辑和证明理论。 （英语） Zbl 1427.03061号

历史。菲洛斯。日志。 40，第3期，234-265（2019）.
小结：本文认为斯多葛逻辑（即斯多葛分析）值得当代逻辑学家更多的关注。它阐述了与当代命题演算相比，斯多葛分析如何最接近于Gentzen启发的子结构序列逻辑的后向证明搜索方法，因为它们是在逻辑编程和结构证明理论中发展起来的，并以树的形式生成其证明搜索演算。它显示了与Gentzen序列系统的多重相似性如何与有趣的不同性结合在一起，从而丰富了当代的讨论。斯多葛逻辑的大部分看起来令人惊讶地现代：一种递归公式化的语法，带有一些真值函数命题运算符；切割规则、公理图式和Gentzen否定引入规则的类比；隐含的可变共享原则，刻意拒绝细化和避免隐含悖论。后一种特征将该系统标记为关联逻辑，其左侧和正确的引入规则使其接近于麦考尔的连接逻辑。在方法论上，选择精心制定的元逻辑规则代替公理和推理图式吸收了一些结构规则，形成了一个经济、精确和优雅的系统，该系统重视可判定性而非完整性。

引用于1文件

MSC公司：

03财年03 一般证明理论（包括证明理论语义）
03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑）
03-03 数学逻辑和基础的历史
01A20号 希腊和罗马数学史

软件：

佩斯卡;普赛克
PDF格式BibTeX公司 XML格式引用
\textit{S.Bobzien}，历史。菲洛斯。日志。40，第3号，234--265（2019；Zbl 1427.03061）
全文： 内政部 链接

参考文献：

[1] 参考文献（古代）
[2] 氨；Wallies，M。；Wallies，M.，《亚里士多德分析纲要》（In Aristotelis Analyticorum Priorum librum I commentarium）（1899年），柏林：G.Reimer，柏林
[3] 亚历山大·阿弗罗迪西亚斯。；Wallies，M.，在《亚里士多德分析纲要》《第一辑评论》中，《亚里斯多德·格雷卡评论》（1883年），柏林：G.Reimer（CAG II.1），柏林
[4] 阿普利厄斯；Moreschini，C.，Peri Hermeneias等人。《自由哲学》（1991），斯图加特：图布纳
[5] 西塞罗，M.Tullius。；Plasberg，O.，后学院，前学院（宗教学院暨卢库洛学院）（1922年），莱比锡
[6] 西塞罗，M.Tullius。；Ax，W.，《预言——德法托·蒂马乌斯》（De divisatione-De fato-Timaeus，1938），莱比锡：特伯纳
[7] 经验，六。；Mutschmann，I.H。；Mau，J.，Adversus Dogmaticos libri quinque，歌剧，II（1914），斯图加特：B.G.Teubner，斯图加
[8] 经验，六。；Mutschmann，I.H。；Mau，J.，《Pyrrhoneion Phypotyposeon libri tres》，歌剧，I（1958年），斯图加特：图布纳
[9] 加伦；Diels，H.，《哲学史》，葛雷西，615.5-6:371（18791965），柏林：德格鲁伊特，柏林
[10] 盖伦，逻辑研究所（1896年），莱比锡：莱比锡，特伯纳
[11] 加伦；De Lacy，P.H.，De Placitis Hippocratis et Platonis，《Graecorum Medicorum V.4.1.2，3》（197880），柏林：Akademie Verlag出版社，柏林
[12] 莱尔蒂乌斯（Laertius），第欧根尼（Diogenes）。；Marcovich，M.，《哲学家的生活》，2（1999），斯图加特和莱比锡：特乌布纳，斯图加特和莱比锡
[13] Origen；Marcovich，M.，Contra Celsum（2001），莱顿：Brill，Leiden
[14] 简洁；海伯格，J.L.，《亚里士多德·德·卡勒评论》，《亚里士多德评论》，第七卷（1894年），柏林：G.雷默，柏林
[15] 参考文献（当代）·Zbl 0572.73042号
[16] Becker，O.，Zwei Untersuchungen zur antiken Logik（=Klassisch-philologische Studien 17）（1957），威斯巴登：威斯巴登哈拉索维茨
[17] Bernays，P.，评论：Oiva Ketonen，Untersuchungen zum Pradikatenkalkul，《符号逻辑杂志》，10，4，127-30（1945）·doi:10.2307/2269018
[18] Bobzien，S.，《斯多葛三段论》，《牛津古代哲学研究》，第14期，第133-92页（1996年）
[19] Bobzien，S。；Algra，K。；巴恩斯，J。；曼斯菲尔德，J。；斯科菲尔德，M.，《斯多葛逻辑》，《剑桥希腊哲学史》，92-157（1999），剑桥：剑桥大学出版社，剑桥
[20] Bobzien，S.，《斯多葛连词的组合学》，《牛津古代哲学研究》，第40期，第157-88页（2011年）
[21] Bobzien，S。；Dyckhoff，R.，Studia Logica（2018年）·Zbl 1494.03089号 ·doi:10.1007/s11225-018-9797-5
[22] 科尔科兰，J。；Corcoran，J.，《关于斯多葛演绎的评论》，《古代逻辑及其现代解释》，169-74（1974），多德雷赫特（荷兰：Reidel出版公司），多德雷赫特（荷兰·Zbl 0278.02005号
[23] Dyckhoff，R。；Negri，S.，中间逻辑的证明分析，数理逻辑档案，51，71-92（2012）·Zbl 1241.03068号 ·doi:10.1007/s00153-011-0254-7
[24] 美国埃格利。；巴乌尔，R。；施瓦泽，C。；冯·斯特肖，A.，《斯多葛学派的论据、意义、使用和语言解释理论》，79-96（1983），柏林：沃尔特·德格鲁伊特，柏林
[25] Fitting，M.，一阶逻辑和自动定理证明（1996），纽约：Springer，纽约·Zbl 0848.68101号
[26] Frede，M.，Dies stoische Logik（1974），哥廷根：范登霍克和鲁普雷希特
[27] Frege，G.，Begriffsschrift:eine der arithmetischen nachgebildete Formelsprache des reinen Denkens（1879），哈雷：内伯特，哈雷
[28] Gabbay，D.M。；伍兹，J.，《逻辑史手册》。第1卷，希腊、印度和阿拉伯逻辑（2004），阿姆斯特丹：爱思唯尔·Zbl 1061.01003号
[29] Gentzen，G.，Use ber die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen，《数学年鉴》，第107期，第329-50页（1933年）·Zbl 0005.33803号 ·doi:10.1007/BF014448897
[30] Gentzen，G.，Untersuchungenüber das logische Schließen。一、 Mathematische Zeitschrift，39、2、176-210（1934）
[31] Gentzen，G.，Untersuchungenüber das logische Schließen。二、 Mathematische Zeitschrift，39，3，405-31（1935）·兹比尔0010.14601 ·doi:10.1007/BF01201363
[32] Graham-Lengrand，S。；Galmiche，D。；Larchey-Wendling，D.，Psyche:一个基于连续演算的证明搜索引擎，具有LCF风格的体系结构，《使用分析表和相关方法的自动推理》，8123149-56（2013），柏林，海德堡：斯普林格，柏林，海德堡·Zbl 1401.68277号
[33] 古尔德，J。；科尔科兰，J.，《斯多葛逻辑中的演绎，古代逻辑及其现代解释》，151-68（1974），多德雷赫特（荷兰：雷德尔出版公司，多德雷赫特（霍兰德）·Zbl 0278.0204号
[34] Hilbert，D.，Neubegründung der Mathematik。Erste Mitteilung，汉堡大学Abhandlungen aus dem研讨会，1157-77（1922）·doi:10.1007/BF02940589
[35] Hilbert，D.，Die logischen Grundlagen der Mathematik，《数学年鉴》，88，151-65（1923）·doi:10.1007/BF01448445
[36] 希区柯克，D。；欧文，A.D。；皮科克，K.A.，《坚忍逻辑的特殊性》，《理性的错误：约翰·伍兹的荣誉随笔》，224-42（2006），多伦多：多伦多大学出版社，多伦多
[37] 劳埃德·亨伯斯通。，康涅狄格州（2011），马萨诸塞州剑桥：麻省理工学院出版社，马萨诸塞诸塞州坎布里奇·兹比尔1242.03002
[38] Ierodiakonou，K.1990年。《斯多葛逻辑分析》，伦敦：博士论文·Zbl 1386.03003号
[39] Jaskowski，S。；Łukasiewicz，J.，《关于形式逻辑中的假设规则》，Studia Logica。Wydawnictow PoswieconeŁogice i jej Historii，5-32（1934），牛津：克拉伦登出版社，牛津·Zbl 0011.09702号
[40] Jennings，R.E.，《分离谱系》：（1994），牛津：牛津大学出版社，牛津
[41] Ketonen，O.，Untersuchungen zum Prädikatenkalkül（1944），赫尔辛基：赫尔辛基科学院年鉴
[42] Kleene，S.C.，《元数学导论》（1952），阿姆斯特丹：荷兰出版公司·Zbl 0047.00703号
[43] W.Kneale。；Kneale，M.，《逻辑的发展》（1962），牛津：牛津大学出版社，牛津·Zbl 0100.00807号
[44] 林肯，P。；Girard，J。；拉丰，Y。；Regnier，L.，《判定线性逻辑公式的可证明性》，线性逻辑进展研讨会论文集，109-22（1995），纽约：剑桥大学出版社，纽约·Zbl 0823.03004号
[45] Lukasiewicz，J.，Zur Gefchichte der Ausfagenlogik，Erkenntnis，5111-31（1935年）·doi:10.1007/BF00172288
[46] Mates，B.，《斯多葛逻辑》（1962），伯克利：加州大学出版社，伯克利
[47] Mccall，S.，连接含义，符号逻辑杂志，31451-33（1966）·Zbl 0161.00405号
[48] 米格努奇（Mignucci，M.）。；Doering，K。；埃伯特，Th.，《斯多葛主题曲》，217-38（1993），斯图加特：弗兰兹·施泰纳，斯图加
[49] Milne，P.，《论非哲学家斯多葛逻辑的完整性》，《逻辑的历史与哲学》，第16卷，第39-64页（1995年）·Zbl 0832.03005号 ·doi:10.1080/01445349508837239
[50] Milne，P.2012。斯多葛逻辑的完备性定理，未出版手稿。
[51] 穆勒，I.，《斯多葛命题逻辑的完备性》，《圣母院形式逻辑杂志》，第20期，201-15页（1979年）·Zbl 0314.02003号 ·doi:10.1305/ndjfl/1093882418
[52] 穆尼奥斯·托里兹（Muñoz Toriz，J.P.）、鲁伊斯·马丁内斯（Ruiz Martinez，I.）和拉米雷兹·阿拉佐拉（Ramirez-Arrazola，J.R.E.2014）。”关于用ML’自动证明定理，第13届墨西哥人工智能国际会议（特别会议）论文集。
[53] Negri，S。；冯·柏拉图，J.，《结构证明理论》（2001），剑桥：剑桥大学出版社，剑桥·兹比尔1113.03051
[54] Restall，G.，《亚结构逻辑导论》（2000），伦敦：劳特利奇出版社，伦敦·Zbl 1028.03018号
[55] Smullyan，R.M.，《一阶逻辑》（1968），柏林：施普林格，柏林：施普林格，柏林，纽约：多佛出版社，柏林：施普林格，柏林：施普林格，柏林，纽约·Zbl 0172.28901号
[56] Troelstra，A.S。；Schwichtenberg，H.，《基本证明理论》，剑桥理论计算机科学丛书（1996），剑桥：剑桥大学出版社，剑桥·Zbl 0868.03024号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。