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 Logic • Part 1 • Part 2 • Part 3
• Differential Propositional Calculus • Part 1 • Part 2

Blog Series

• Differential Logic • Comments • (1) • (2) • (3) • (4) • (5)
• Differential Logic and Dynamic Systems • Overview

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

Blog Dialogs

• The Present Is Big With The Future • Leibniz • (1) • (2)
• All Process, No Paradox • (1) • (2) • (3) • (4) • (5) • (6) • (7)
• Time, Topology, Differential Logic • (1) • (2) • (3) • (4) • (5) • (6)
• Differential Logic, Dynamic Systems, Tangent Functors • (1)
  • Discussions • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8)

Explorations

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