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
• Minimal Negation Operators
• Propositional Equation Reasoning Systems

Excursions

• Cactus Language
• Futures Of Logical Graphs

Applications

• Applications of a Propositional Calculator • Constraint Satisfaction Problems
• Exploratory Qualitative Analysis of Sequential Observation Data
• Differential Analytic Turing Automata
• Survey of Theme One Program

Blog Dialogs

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