Survey of Animated Logical Graphs • 1

This is one of several Survey posts I’ll be drafting from time to time, starting with minimal stubs and collecting links to the better variations on persistent themes I’ve worked on over the years.  After that I’ll look to organizing and revising the assembled material with an eye toward developing more polished articles.

Elements

• Logical Graphs
• Proof Animations
• Propositional Equation Reasoning Systems

Excursions

• Cactus Language
• Futures Of Logical Graphs

Applications

• Constraint Satisfaction Problems

Blog Dialogs

• Animated Logical Graphs • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9)