home.social
Sign in Create account

#multigradelogicalconnectives — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #multigradelogicalconnectives, aggregated by home.social.

  1. Jon Awbrey @[email protected] ·

    #DifferentialPropositionalCalculus • 2
    inquiryintoinquiry.com/2020/02

    #CactusCalculus —

    Table 6 introduces a #Syntax for #PropositionalCalculus based on 2 families of #MultigradeLogicalConnectives.

    Table 6. #Syntax and #Semantics of a Calculus for #PropositionalLogic
    inquiryintoinquiry.files.wordp

    Related Subjects —
    #Peirce #Semiotics #BooleanFunctions
    #Logic #LogicalGraphs #DifferentialLogic
    #GraphTheory #CactusGraphs #CactusLanguage
    #MinimalNegationOperators #PaintedAndRootedCacti

    #multigradelogicalconnectives #paintedandrootedcacti #minimalnegationoperators #cactuslanguage #cactusgraphs #graphtheory