The Role of Structural Reasoning in the Genesis of Graph Theory
From MaRDI portal
Publication:5208125
DOI10.1080/01445340.2019.1608493zbMath1427.03001OpenAlexW2958296810WikidataQ127527028 ScholiaQ127527028MaRDI QIDQ5208125
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
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