This is a Survey of blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account.

Elements

• Differential Logic • Introduction
• Differential Propositional Calculus • Part 1 • Part 2
• Differential Logic • Part 1 • Part 2 • Part 3

Architectonics

• Minimal Negation Operator
• Cactus Language • Part 1 • Part 2 • Part 3

Applications

• Differential Logic and Dynamic Systems
  • Part 1 • Part 2 • Part 3 • Part 4 • Part 5
  • Appendices • References
• Differential Analytic Turing Automata

Explorations

• Frankl Conjecture • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12)