On the Graphical Representation of Proofs as Trees

2026/08/03 by Moritz Bodner

paper · doi:10.1080/01445340.2026.2696138

Citations

• The Role of Structural Reasoning in the Genesis of Graph Theory
• On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs
• Cut as Consequence
• The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
• Die Widerspruchsfreiheit der reinen Zahlentheorie
• Untersuchungen �ber das logische Schlie�en. I