The blog post linked above updates my Survey of Resources for Animated Logical Graphs. It contains links to basic expositions and extended discussions of the graphs themselves, deriving from the Alpha Graphs C.S. Peirce used for propositional logic, more recently revived and augmented by G. Spencer Brown in his Laws of Form. What I contributed to their development was an extension from tree-like forms to what graph theorists know as cacti, and thereby hangs many a tale yet to be told. I hope to add more proof animations as time goes on.
cc: Cybernetics (1) (2) • Peirce (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14)
cc: Ontolog Forum (1) (2) • Structural Modeling (1) (2) • Systems Science (1) (2)
cc: FB | Logical Graphs • Laws of Form