Eris

Interactive Proof Environment

Explorations in creating an direct manipulation logic tool

@prabros

Map of Influences

Here is a graph of who influenced who in the evolution of formalisms for natural deduction.

Graph showing the map of influences of Natural Deduction System with the author's image and an image of the paper/book alongside with the title and year. The graph shows Jaśkowsi Indented Lists in The Rules of Supposition in Formal Logic (1934) influencing Quine Lists in Method of Logic (1950) and Suppes Dependency Set in Introduction to Logic (1957) and Jaśkowsi Boxes in The Rules of Supposition in Formal Logic (1934) influencing Fitch Diagrams in Symbolic Logic (1952) and Copi Bent Arrows in Symbolic Logic (1954). Gentzen Trees in Untersuchungen über das logische Schließen I (1934) is also shown as an isolated node for completion.