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
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
Jon Awbrey · @Inquiry
22 followers · 51 posts · Server mathstodon.xyzHere's a few links by way of #Introduction to the work I've been doing on C.S. #Peirce 's #LogicalGraphs, #BooleanFunctions, and #PropositionalLogic or #PropositionalCalculus for the last umpteen years.
• https://oeis.org/wiki/Logical_Graphs
• https://inquiryintoinquiry.com/2008/07/29/logical-graphs-1/
• https://inquiryintoinquiry.com/2008/09/19/logical-graphs-2/
#PropositionalCalculus #PropositionalLogic #BooleanFunctions #LogicalGraphs #Peirce #introduction
Jon Awbrey · @Inquiry
6 followers · 11 posts · Server mathstodon.xyzHere's a few links by way of #Iintroduction to the work I've been doing on C.S. #Peirce 's #LogicalGraphs, #BooleanFunctions, and #PropositionalLogic or #PropositionalCalculus for the last umpteen years.
• https://oeis.org/wiki/Logical_Graphs
• https://inquiryintoinquiry.com/2008/07/29/logical-graphs-1/
• https://inquiryintoinquiry.com/2008/09/19/logical-graphs-2/
#PropositionalCalculus #PropositionalLogic #BooleanFunctions #LogicalGraphs #Peirce #Iintroduction