[CG] Differential Logic

Cf: Survey of Differential Logic • 3 https://inquiryintoinquiry.com/2021/05/15/survey-of-differential-logic-3/ All, Linked above is a Survey of blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account. Note. One effect of the pandemic has been been to blot out my memory of much work I blogged over the year and many group discussions I have in mind as “recent” and “I’ll get back to it” actually occurred several months ago. Thinking it will serve memory to recycle the more eddifying currents of water under the bridge, here’s an update of my Survey page on Differential Logic. There's a lot of links, so I'll leave Readers on their own recognizance to follow what they will from the linked blog post. Regards, Jon