A reader’s request for more examples of animated logical graphs prompted me to look again at the User Guide for my Theme One Program, whose exposition develops a series of logical graphs increasing in complexity from extremely simple to more substantial than any I’ve posted so far.

• Theme One Program • User Guide

I’m thinking now it may be worthwhile to look at those examples again and see if they’re suitable for recycling as a series of blog posts.

Resources

• Logical Graphs
• Proof Animations
• Survey of Theme One Program
• Survey of Animated Logical Graphs
• Propositional Equation Reasoning Systems

cc: Cybernetics • Ontolog • Peirce List (1) (2) (3) • Structural Modeling • Systems Science