Jon Awbrey<p><a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicalGraphs</span></a> • 12<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>Once we make the connection between one of <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Peirce</span></a>'s <a href="https://mathstodon.xyz/tags/AlphaGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaGraphs</span></a> 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 <a href="https://mathstodon.xyz/tags/DualGraph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DualGraph</span></a> in the space of <a href="https://mathstodon.xyz/tags/RootedTrees" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RootedTrees</span></a>.</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>