home.social

#rootedtrees — Public Fediverse posts

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

fetched live
  1. Jon Awbrey @[email protected] ·

    #LogicalGraphs • 12
    • oeis.org/w/index.php?title=Log

    #Duality • Logical and Topological

    Once we make the connection between one of #Peirce's #AlphaGraphs and its character string expression it's not too big a leap to see how the character string codes up the structure of the topological #DualGraph in the space of #RootedTrees.

    #Logic #Peirce #SpencerBrown #LawsOfForm
    #PropositionalCalculus #BooleanFunctions
    #GraphTheory #ModelTheory #ProofTheory

    #prooftheory #modeltheory #graphtheory #booleanfunctions #propositionalcalculus #lawsofform
  2. Jon Awbrey @[email protected] ·

    #LogicalGraphs • 12
    • oeis.org/w/index.php?title=Log

    #Duality • Logical and Topological

    Once we make the connection between one of #Peirce's #AlphaGraphs and its character string expression it's not too big a leap to see how the character string codes up the structure of the topological #DualGraph in the space of #RootedTrees.

    #Logic #Peirce #SpencerBrown #LawsOfForm
    #PropositionalCalculus #BooleanFunctions
    #GraphTheory #ModelTheory #ProofTheory

    #prooftheory #modeltheory #graphtheory #booleanfunctions #propositionalcalculus #lawsofform
  3. Jon Awbrey @[email protected] ·

    #LogicalGraphs • 12
    • oeis.org/w/index.php?title=Log

    #Duality • Logical and Topological

    Once we make the connection between one of #Peirce's #AlphaGraphs and its character string expression it's not too big a leap to see how the character string codes up the structure of the topological #DualGraph in the space of #RootedTrees.

    #Logic #Peirce #SpencerBrown #LawsOfForm
    #PropositionalCalculus #BooleanFunctions
    #GraphTheory #ModelTheory #ProofTheory

    #logicalgraphs #duality #peirce #alphagraphs #dualgraph #rootedtrees
  4. Jon Awbrey @[email protected] ·

    #LogicalGraphs • 12
    • oeis.org/w/index.php?title=Log

    #Duality • Logical and Topological

    Once we make the connection between one of #Peirce's #AlphaGraphs and its character string expression it's not too big a leap to see how the character string codes up the structure of the topological #DualGraph in the space of #RootedTrees.

    #Logic #Peirce #SpencerBrown #LawsOfForm
    #PropositionalCalculus #BooleanFunctions
    #GraphTheory #ModelTheory #ProofTheory

    #prooftheory #modeltheory #graphtheory #booleanfunctions #propositionalcalculus #lawsofform