#propositionalcalculi — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #propositionalcalculi, aggregated by home.social.
-
#DifferentialPropositionalCalculus • Overview 🧵
• https://inquiryintoinquiry.com/2020/02/16/differential-propositional-calculus-overview/By way of introduction to #DifferentialLogic, here begins a chapter on #DifferentialPropositionalCalculi, which augment #PropositionalCalculi with terms for describing aspects of change and difference, for example, processes taking place in a #UniverseOfDiscourse or #LogicalTransformations mapping a #SourceUniverse to a #TargetUniverse.
#Logic #LogicalGraphs #DifferentialLogic
#DiscreteDynamics #QualitativeDynamics -
#DifferentialPropositionalCalculus • #Overview
• https://inquiryintoinquiry.com/2020/02/16/differential-propositional-calculus-overview/
By way of introduction to #DifferentialLogic, here begins a chapter on #DifferentialPropositionalCalculi, which augment #PropositionalCalculi with terms for describing aspects of change and difference, for example, processes taking place in a #UniverseOfDiscourse or #LogicalTransformations mapping a #SourceUniverse to a #TargetUniverse.
Applications —
#Cybernetics #SystemsTheory
#QualitativeDynamics
#DiscreteDynamics