The Role of Structural Reasoning in the Genesis of Graph Theory

DOI10.1080/01445340.2019.1608493zbMath1427.03001OpenAlexW2958296810WikidataQ127527028 ScholiaQ127527028MaRDI QIDQ5208125

Michael Arndt

Publication date: 15 January 2020

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2019.1608493

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) History of combinatorics (05-03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• The undecidability of \(k\)-provability
• The life and scientific work of Denes König (1884-1944)
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Vom Wesen des Logischen, insbesondere der Bedeutung des modus barbara
• Directed hypergraphs and applications
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schliessen. II
• Proofs without syntax
• Gentzen's Proof Systems: Byproducts in a Work of Genius
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• Explicit substitutions
• Natural deduction via graphs: formal definition and computation rules
• An Algorithm for Finding a Minimum Equivalent Graph of a Digraph
• The Transitive Reduction of a Directed Graph
• Solution to a problem of Ono and Komori