Jon Awbrey · @Inquiry
27 followers · 90 posts · Server mathstodon.xyz#DifferentialPropositionalCalculus • 3
• https://inquiryintoinquiry.com/2020/02/24/differential-propositional-calculus-3/
Formal Development —
The preceding discussion outlined the ideas leading to the #DifferentialExtension of #PropositionalLogic. The next task is to lay out the concepts and terminology needed to describe various orders of differential propositional calculi.
Related Subjects —
#Peirce #Semiotics #BooleanFunctions
#Logic #LogicalGraphs #DifferentialLogic
#GraphTheory #CactusGraphs #CactusLanguage
#MinimalNegationOperators
#MinimalNegationOperators #CactusLanguage #CactusGraphs #graphtheory #DifferentialLogic #LogicalGraphs #logic #BooleanFunctions #semiotics #Peirce #PropositionalLogic #differentialextension #DifferentialPropositionalCalculus