Jon Awbrey<p><a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicalGraphs</span></a> • 14<br>• <a href="https://oeis.org/w/index.php?title=Logical_Graphs&amp;stable=0&amp;redirect=no#Duality" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/w/index.php?title=Log</span><span class="invisible">ical_Graphs&amp;stable=0&amp;redirect=no#Duality</span></a></p><p><a href="https://mathstodon.xyz/tags/Duality" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Duality</span></a> • Logical and Topological</p><p>The procedure just described is called “traversing” the tree and the string read off is called the “<a href="https://mathstodon.xyz/tags/TraversalString" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TraversalString</span></a>” 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 “<a href="https://mathstodon.xyz/tags/ParseGraph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ParseGraph</span></a>” of the string.</p><p><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/SpencerBrown" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SpencerBrown</span></a> <a href="https://mathstodon.xyz/tags/LawsOfForm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LawsOfForm</span></a><br><a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BooleanFunctions</span></a><br><a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GraphTheory</span></a> <a href="https://mathstodon.xyz/tags/ModelTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ModelTheory</span></a> <a href="https://mathstodon.xyz/tags/ProofTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProofTheory</span></a></p>