Animated Logical Graphs • 13

Cf: Survey of Animated Logical Graphs

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 GraphsLaws of Form

This entry was posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.