迈克尔·阿恩特 结构推理在图论起源中的作用。 （英语） Zbl 1427.03001号 历史。菲洛斯。日志。 40，第3期，266-297（2019）. 摘要：德内斯·科尼格（Dénes Kőnig）于1936年出版的关于图论的开创性著作收集了汉密尔顿、凯利、西尔维斯特（Sylvester）等十九世纪中后期先驱作品的概念和结果。更重要的是，Kőnig自己贡献了他在20多年来致力于这一主题的过程中取得的许多成果。值得注意的是，他所说的基本原理定向的图表几乎是取自保罗·赫兹1922年关于（a到b）形式句子的结构推理的文章。尽管科尼在他的书中充分承认这一点，但这在逻辑界并非众所周知。鉴于近几十年来通过图来描述和解释逻辑问题的众多趋势，赫兹的结构推理基础首先为图论的基本概念提供了信息，这一事实非常重要。本文的主要目标是总结赫兹的文章，并演示Kőnig如何将书中提出的概念和结果结合起来。接下来是对赫兹的结果是如何以及何时根据图论被重新发明的阐述。对赫兹和Kőnig表达的观点进行了批判性讨论，认为赫兹在1923年的一篇配套文章中引入的更一般的形式（（A_1，dots，A_n）to b）的句子不能用图表来解释。 MSC公司： 03-03 数学逻辑和基础的历史 05-03 组合学历史 01A60型 20世纪数学史 PDF格式BibTeX公司 XML格式引用 \textit{M.Arndt}，历史。菲洛斯。日志。40，第3号，266--297（2019；Zbl 1427.03001） 全文： 内政部 参考文献： [1] M.阿巴迪。；Cardelli，L。；居里，P.-L。；Lévy，J.-J.，显式替换，函数编程杂志，1375-416（1991）·Zbl 0941.68542号 ·doi:10.1017/S0956796800000186 [2] Abrusci，V.M.1983年。”保罗·赫兹（Paul Hertz）的《逻辑著作：内容与相关性》（logical works:Contents and relative），载于V.M.Abrusci、E.Casari和M.Mugnai，Atti del Converogo Internazionale di Storia della Logica公司, 369-374. 博洛尼亚：博洛尼亚大学图书馆合作社。 [3] Aho，A。；Garey，M。；Ullman，J.，有向图的传递约简，SIAM计算杂志，131-7（1972）·Zbl 0247.05128号 ·数字对象标识代码：10.1137/021008 [4] Alves，S.、Fernández，M.和Mackie，I.，2011年。”一种新的图解证明法理论计算机科学中的电子论文集，第144卷，共EPTCS系统, 69-84. ·Zbl 1469.03156号 [5] Ariola，Z.M.和Klop，J.W.，1994年。”循环lambda图重写'，inIEEE第九届计算机科学逻辑年会论文集, 416-425. [6] Berge，C.，《图论及其应用》（1962），纽约：John Wiley&Sons出版社，纽约·Zbl 0097.38903号 [7] 伯奈斯，P.1965。”Betrachtungen zum Sequencezen Kalkül'，在A.-T.T.Tymieniecka，为纪念J.M.Bochennski对逻辑和方法学的贡献, 1-44. 北阿姆斯特丹：荷兰·Zbl 0192.02901号 [8] 伯奈斯，P.1969。”保罗·赫兹（Paul Hertz）《德国新纪事》第8卷, 711-712. 慕尼黑：Bayerische Akademie der Wissenschaften。 [9] Buss，S.R.，《k可证明性的不可判定性》，《纯粹逻辑与应用逻辑年鉴》，53，75-102（1991）·Zbl 0749.03039号 ·doi:10.1016/0168-0072（91）90059-U [10] 多森，K。；Schroeder-Heister，P.，《亚结构逻辑》（1993），牛津：克拉伦登出版社，牛津 [11] Gallai，T.，Dénes König（1884-1944）的生活和科学工作，线性代数及其应用，21189-205（1978）·Zbl 0381.01008号 ·doi:10.1016/0024-3795（78）90082-4 [12] 加洛，G。；朗戈，G。；帕洛蒂诺，S。；Nguyen，S.，有向超图和应用，离散应用数学，42177-201（1993）·Zbl 0771.05074号 ·doi:10.1016/0166-218X（93）90045-P [13] Gentzen，G.，Use ber die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen，《数学年鉴》，第107期，第329-50页（1933年）·Zbl 0005.33803号 ·doi:10.1007/BF01448897 [14] Gentzen，G.，Untersuchungenüber das logische Schließen。一、 Mathematische Zeitschrift，39，176-210（1935）·Zbl 0010.14501号 ·doi:10.1007/BF01201353 [15] Gentzen，G.，Untersuchungenüber das logische Schließen。二、 Mathematische Zeitschrift，39，405-31（1935）·Zbl 0010.14601号 ·doi:10.1007/BF01201363 [16] 盖弗斯，H。；Loeb，I.，《通过图的自然演绎：形式定义和计算规则》，《计算机科学中的数学结构》，第17期，第485-526页（2007年）·Zbl 1159.03040号 ·doi:10.1017/S096012907006123 [17] Girard，J.-Y.，线性逻辑，理论计算机科学，50，1-102（1987）·Zbl 0625.03037号 ·doi:10.1016/0304-3975（87）90045-4 [18] Girard，J.-Y。；泰勒，P。；Lafont，Y.，《校对与类型》（1989），剑桥：剑桥大学出版社，剑桥·Zbl 0671.68002号 [19] Harary，F.，图论（1969），波士顿：Addison-Wesley，波士顿·兹比尔0182.57702 [20] Harary，F。；诺曼，R.Z。；Cartwright，D.，《结构模型：有向图理论导论》（1965），纽约：John Wiley&Sons出版社，纽约·兹伯利0139.41503 [21] Hertz，P.，《理想元素体系的最小化》（Minimalzahl von Axiomen für ein System von Sätzen und den Begriff des idealen Elementes），德国数学研究所，第30期，第98页（1921年）·JFM 48.0056.05号 [22] Hertz，P.，u ber Axiomensysteme für beliebige Satzsysteme。I.泰尔。Sätze ersten Grades，Mathematische Annalen，87，246-69（1922）·肯尼迪48.1117.05 ·doi:10.1007/BF01459067 [23] Hertz，P.，《理想元素的Axiomensysteme kleinster Satzzahl für ein System von Sätzen und den Begriff des idealen Elementes》，德国数学研究所，31，154-7（1922）·JFM 48.1119.01标准 [24] Hertz，P.，u ber Axiomensysteme für beliebige Satzsysteme。二、。泰尔。Sätze höheren Grades，Mathematische Annalen，89，76-100（1923）·JFM 49.0683.01号 ·doi:10.1007/BF01448090 [25] Hertz，P.，Reichen dieüblichen三段论Regeln für das Schließen in der positiven Logik elementarer Sätze aus？，《哲学年鉴》，7272-7（1928）·JFM 54.0065.13号文件 [26] 赫兹，P.，《哲学年鉴》，第8期，178-204页（1929年）·JFM 55.0033.04标准 [27] Hertz，P.，Us ber Axiomensysteme für beliebige Satzsysteme，《数学年鉴》，101，457-514（1929）·JFM 55.0627.01号 ·doi:10.1007/BF01454856 [28] Hertz，P.，U-ber Axiomensysteme von Satzsystemen，德国数学协会，38，45-46（1929）·JFM 55.0039.03号文件 [29] Hertz，P.，《Makroskopischen的Ku ber den Kausalbegriff》，《Erkentnis的卡拉西恩·菲西克的敌手》，1211-27（1930）·JFM 56.0054.03号 ·doi:10.1007/BF00208617 [30] Hertz，P.、Vom Wesen des Logischen、insbesondere der Bedetung des modus barbara、Erkentnis、2369-92（1931）·Zbl 0004.14504号 ·doi:10.1007/BF02028170 [31] Hertz，P.，《Wesen der Logik und der logischen Urteilsformen，Abhandlungen der Fries的chen Schule》，第6227-72页（1935年） [32] Hertz，P.，Sprache und Logik，Erkentnis，7309-24（1939） [33] 赫兹，P.2012关于任意句子系统的公理系统，J.-Y.Béziau，通用逻辑：选集。从Paul Hertz到Dov Gabbay, 11-29. 巴塞尔：Birkhäuser·Zbl 1288.03009号 [34] Hughes，D.J.，《无语法校对》，《数学年鉴》，1641065-76（2006）·Zbl 1130.03009号 ·doi:10.4007/annals.2006.164.1065 [35] König，D.，Mathematikai mulatságok，第1卷（1902年），布达佩斯：布达佩斯兰佩尔 [36] König，D.，A térképszínezésről，Matematikaiés Fizikai Lapok，14193-200（1905） [37] König，D.，Mathematikai mulatságok，第2卷（1905年），布达佩斯：布达佩斯兰佩尔 [38] König，D.，Vonalrendszerekétoldalúfelületeken，Matematikais Természettudományi Ertesít，29，112-7（1911） [39] König，D.，A vonalrendszerek nemszámáról，Matematikais Természettudományi Ertesítő，29，345-50（1911）·JFM 42.0656.03号 [40] König，D.，Vonalrendszerekés determinánsok，Matematikaiés Természettudományi Ertesít，33，221-9（1915）·JFM 45.1240.03标准 [41] König，D.，Graphokés alkalmazásuk a determinánsokés halmazok elméletére，Matematikaiés Természettudományi Ertesítő，34，104-19（1916）·JFM 46.1451.03标准 [42] König，D.，Us ber Graphen und ihre Anwendungen auf Determinantesheorie und Mengenlehre，Mathematische Annalen，77，453-65（1916）·JFM 46.0146.03号 ·doi:10.1007/BF01456961 [43] König，D.，《综合多声部对应》，《数学基础》，第8期，第114-34页（1926年）·JFM 52.0195.02号 ·doi:10.4064/fm-8-1-114-134 [44] König，D.，U.ber eine Schlussweise aus dem Endlichen ins Unendliche，Acta literatrum ac scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae。Sectio scientiaarum mathematicarum，3121-30（1927）·JFM 53.0170.04标准 [45] König，D.，Graphokés matrixok，Matematikaiés Fizikai Lapok，38，116-9（1931）·JFM 57.1340.4（联合部队司令部） [46] König，D.，U ber trennende Knotenpunkte in Graphen，Acta literatrum ac scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae。Sectio scientiaarum mathematicarum，6155-77（1933）·JFM 59.1232.05号 [47] König，D.，Theorye der endlichen und unendlichen-Graphen（1936），莱比锡：Akademische Verlagsgesellschaft，Leipzig·JFM 62.0654.05号 [48] König，D.，有限和无限图理论（1990），波士顿：Birkhäuser，波士顿·Zbl 0695.05015号 [49] 科尼格，D。；瓦尔科，I.，Halmazok többértelm By leképezéseirül，Mathematikais Természettudományi Ertesít，42，173-7（1925）·JFM 52.0197.01号 [50] 科尼格，D。；瓦尔科，I.，Us ber mehrdeutige Abbildungen von Mengen，《数学年鉴》，95，135-8（1926）·JFM 51.0165.01号文件 ·doi:10.1007/BF0120606601 [51] Lafont，Y.1990年。”交互网络'，in第17届ACM程序设计语言原理研讨会论文集, 95-108. 纽约：计算机协会。 [52] Legris，J.2012年。”保罗·赫兹和结构推理的起源，在J.-Y.Béziau，通用逻辑：选集。从Paul Hertz到Dov Gabbay, 3-10. 巴塞尔：Birkhäuser·Zbl 1291.03005号 [53] Mizuno，M.W.2010。Kőnig Dénes（1884-1944）在数学娱乐领域的作品以及他在图论作品中对娱乐问题的处理巴黎大学论文，狄德罗（巴黎7），巴黎。 [54] Moyles，D.M。；汤普森，G.L.，求有向图最小等价图的算法，计算机协会杂志，16，455-60（1969）·Zbl 0184.49403号 ·数字对象标识代码：10.1145/321526.321534 [55] Newbery，F.J.1989年。”边集中：有向图聚类的一种方法第二届软件配置管理国际研讨会论文集, 76-85. 纽约：计算机协会。 [56] Quispe-Cruz，M.、Haeusler，E.H.和Gordeev，L.，2013年。”最小关联逻辑的粒度证明”，in第九届国际计算模型发展研讨会论文集，第144卷，共EPTCS系统, 16-29. ·Zbl 1464.03088号 [57] Schroeder-Heister，P.，《解析与结构推理的起源：赫兹和根岑的早期证明理论思想》，《符号逻辑公报》，8246-65（2002）·Zbl 1005.03004号 ·doi:10.2178/bsl/1182353872 [58] 斯莱尼，J.，《小野和小森问题的解决方案》，《哲学逻辑杂志》，第18期，第103-11页（1989年）·Zbl 0671.03036号 ·doi:10.1007/BF00296176 [59] 冯·柏拉图，J.，《Gentzen的证明系统：天才作品中的副产品》，《符号逻辑公报》，第18期，第313-67页（2012年）·Zbl 1258.03002号 ·doi:10.2178/bsl/1344861886 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。