Mastodon

Jon Awbrey<a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicalGraphs</a> • 14 • <a href="https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no#Duality" rel="nofollow noopener noreferrer" target="_blank">https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no#Duality</a><a href="https://mathstodon.xyz/tags/Duality" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Duality</a> • Logical and TopologicalThe 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">#TraversalString</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">#ParseGraph</a>” of the string.<a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Peirce</a> <a href="https://mathstodon.xyz/tags/SpencerBrown" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SpencerBrown</a> <a href="https://mathstodon.xyz/tags/LawsOfForm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LawsOfForm</a> <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PropositionalCalculus</a> <a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BooleanFunctions</a> <a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GraphTheory</a> <a href="https://mathstodon.xyz/tags/ModelTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ModelTheory</a> <a href="https://mathstodon.xyz/tags/ProofTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProofTheory</a>

Jon Awbrey<a href="https://mathstodon.xyz/tags/ThemeOneProgram" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ThemeOneProgram</a> • <a href="https://mathstodon.xyz/tags/JetsAndSharks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JetsAndSharks</a> 1.4 • <a href="https://inquiryintoinquiry.com/2022/08/25/theme-one-program-jets-and-sharks-1/" rel="nofollow noopener noreferrer" target="_blank">https://inquiryintoinquiry.com/2022/08/25/theme-one-program-jets-and-sharks-1/</a>Displayed below is the text expression of a <a href="https://mathstodon.xyz/tags/TraversalString" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TraversalString</a> which Theme One parses into a <a href="https://mathstodon.xyz/tags/CactusGraph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CactusGraph</a> <a href="https://mathstodon.xyz/tags/DataStructure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DataStructure</a> in computer memory. The cactus graph represents a single <a href="https://mathstodon.xyz/tags/LogicalFormula" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicalFormula</a> in <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PropositionalCalculus</a> which embodies all the <a href="https://mathstodon.xyz/tags/LogicalConstraints" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicalConstraints</a> defining the Jets & Sharks <a href="https://mathstodon.xyz/tags/DataBase" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DataBase</a>.Log File • <a href="https://inquiryintoinquiry.files.wordpress.com/2022/08/theme-one-guide-e280a2-jets-and-sharks-e280a2-log-file.png" rel="nofollow noopener noreferrer" target="_blank">https://inquiryintoinquiry.files.wordpress.com/2022/08/theme-one-guide-e280a2-jets-and-sharks-e280a2-log-file.png</a><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicalGraphs</a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Peirce</a> <a href="https://mathstodon.xyz/tags/CactusSyntax" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CactusSyntax</a> <a href="https://mathstodon.xyz/tags/LogicalCacti" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicalCacti</a> <a href="https://mathstodon.xyz/tags/MinimalNegationOperators" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MinimalNegationOperators</a>

Recent searches

Search options

Administered by:

Server stats:

#traversalstring