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 Propositional Calculus
• Part 1 • Part 2 • Appendices • References

• Differential Logic • Part 1 • Part 2 • Part 3

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

Blog Series

• Differential Propositional Calculus • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8)
• Discussions • (1) • (2) • (3) • (4) • (5) • (6)

• Differential Logic • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11)
• Comments • (1) • (2) • (3) • (4) • (5) • (6) • (7)
• Discussions • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16)

• Differential Logic and Dynamic Systems
• Discussions • (1) • (2) • (3) • (4) • (5) • (6) • (7)

• Differential Logic, Dynamic Systems, Tangent Functors • (1)
• Comments • (1) • (2)
• Discussions • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9)

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) • (8) • (9)
• Time, Topology, Differential Logic • (1) • (2) • (3) • (4) • (5) • (6)

Explorations

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

cc: Conceptual Graphs • Cybernetics • Ontolog • Structural Modeling • Systems Science
cc: FB | Differential Logic • Mathstodon | Differential Logic • Laws of Form (1) (2)