Recent searches
Search options
Survey of #DifferentialLogic
• https://inquiryintoinquiry.com/2021/05/15/survey-of-differential-logic-3/
This is a Survey of blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account.
#Logic
#LogicalGraphs
#CactusLanguage
#PropositionalCalculus
#MinimalNegationOperators
#DiscreteDynamicalSystems
#DifferentialPropositionalCalculus
#DifferentialAnalyticTuringAutomata
Inquiry Into InquirySurvey of Differential Logic • 3