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 
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
cc: Category Theory • Cybernetics • Ontolog • Structural Modeling • Systems Science
cc: FB | Differential Logic • Laws of Form
Inquiry Into Inquiry 