Jon Awbrey · @Inquiry
25 followers · 69 posts · Server mathstodon.xyz#DifferentialPropositionalCalculus • 2
https://inquiryintoinquiry.com/2020/02/22/differential-propositional-calculus-2/
Table 6 introduces a #Syntax for #PropositionalCalculus based on 2 families of #Multigrade #LogicalConnectives.
Table 6. #Syntax and #Semantics of a Calculus for #PropositionalLogic
https://inquiryintoinquiry.files.wordpress.com/2020/02/syntax-and-semantics-of-a-calculus-for-propositional-logic.png
Related Subjects —
#Peirce #Semiotics #BooleanFunctions
#Logic #LogicalGraphs #DifferentialLogic
#GraphTheory #CactusGraphs #CactusLanguage
#MinimalNegationOperators #PaintedAndRootedCacti
#PaintedAndRootedCacti #MinimalNegationOperators #CactusLanguage #CactusGraphs #graphtheory #DifferentialLogic #LogicalGraphs #logic #BooleanFunctions #semiotics #Peirce #PropositionalLogic #semantics #LogicalConnectives #multigrade #PropositionalCalculus #syntax #CactusCalculus #DifferentialPropositionalCalculus