#TraversalString

2022-12-12

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

#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

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst