Cf: Category Theory • Jon Awbrey

As far as the “animated” part goes, I lost my klutz-friendly animation app in my last platform change and then got immersed in other things, so it may be a while before I get back to that, but here’s two examples of animated proofs in a CSP∫GSB-style propositional calculus just to give a hint of how things might develop.

• Peirce’s Law

• Praeclarum Theorema

Resources

• Logical Graphs
• Logical Graphs • Introduction
• Logical Graphs • Development
• Logic Syllabus • Zeroth Order Logic
• Survey of Animated Logical Graphs

cc: Peirce List (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15) (16) (17)
cc: Category Theory • Cybernetics (1) (2) • Ontolog Forum (1) (2)
cc: Structural Modeling (1) (2) • Systems Science (1) (2)
cc: FB | Logical Graphs • Laws of Form