Re: John Baez • Cyclic Identity for Partial Derivatives • Maxwell’s Relations (1) (2) (3)

Much fun can be had by trying to do differentials and partial differentials over the boolean domain instead of the reals

I took a first whack at it in the following project report.

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

Resources

• Survey of Differential Logic

cc: Category Theory • Cybernetics • Ontolog • Structural Modeling • Systems Science
cc: FB | Differential Logic • Laws of Form