#LogicalGraphs • 14
• https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no#Duality
#Duality • Logical and Topological
The procedure just described is called “traversing” the tree and the string read off is called the “#TraversalString” of the tree. The reverse operation of going from the string to the tree is called “parsing” the string and the tree constructed is called the “#ParseGraph” of the string.
#Logic #Peirce #SpencerBrown #LawsOfForm
#PropositionalCalculus #BooleanFunctions
#GraphTheory #ModelTheory #ProofTheory