Jon Awbrey · @Inquiry
38 followers · 134 posts · Server mathstodon.xyzSurvey of #DifferentialLogic
• https://inquiryintoinquiry.com/2022/11/20/survey-of-differential-logic-4/
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
#QualitativeDynamics
#PropositionalCalculus
#LogicalTransformations
#MinimalNegationOperators
#DiscreteDynamicalSystems
#TransformationsOfDiscourse
#DifferentialPropositionalCalculus
#DifferentialAnalyticTuringAutomata
#DifferentialAnalyticTuringAutomata #DifferentialPropositionalCalculus #transformationsofdiscourse #DiscreteDynamicalSystems #MinimalNegationOperators #LogicalTransformations #PropositionalCalculus #QualitativeDynamics #CactusLanguage #LogicalGraphs #logic #DifferentialLogic
Jon Awbrey · @Inquiry
22 followers · 51 posts · Server mathstodon.xyz• 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
#DifferentialAnalyticTuringAutomata #DifferentialPropositionalCalculus #DiscreteDynamicalSystems #MinimalNegationOperators #PropositionalCalculus #CactusLanguage #LogicalGraphs #logic #DifferentialLogic #survey