Jon Awbrey<p>Logic Syllabus • 5<br />• <a href="https://inquiryintoinquiry.com/logic-syllabus/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/logic-s</span><span class="invisible">yllabus/</span></a></p><p>Related Articles<br />• <a href="https://oeis.org/wiki/Logic_Syllabus#Related_articles" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Logic_Syllabus#R</span><span class="invisible">elated_articles</span></a></p><p>Cactus Language • <a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Overview" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Cactus_Language_</span><span class="invisible">%E2%80%A2_Overview</span></a><br />Futures Of Logical Graphs • <a href="https://oeis.org/wiki/Futures_Of_Logical_Graphs" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Futures_Of_Logic</span><span class="invisible">al_Graphs</span></a><br />Differential Propositional Calculus • <a href="https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Overview" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Pro</span><span class="invisible">positional_Calculus_%E2%80%A2_Overview</span></a><br />Differential Logic • <a href="https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Overview" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Log</span><span class="invisible">ic_%E2%80%A2_Overview</span></a><br />Differential Logic and Dynamic Systems • <a href="https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_Log</span><span class="invisible">ic_and_Dynamic_Systems_%E2%80%A2_Overview</span></a><br />Propositions As Types Analogy • <a href="https://oeis.org/wiki/Propositions_As_Types_Analogy" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Propositions_As_</span><span class="invisible">Types_Analogy</span></a><br />Propositional Equation Reasoning Systems • <a href="https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Propositional_Eq</span><span class="invisible">uation_Reasoning_Systems</span></a><br />Prospects for Inquiry Driven Systems • <a href="https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/User:Jon_Awbrey/</span><span class="invisible">Prospects_for_Inquiry_Driven_Systems</span></a><br />Introduction to Inquiry Driven Systems • <a href="https://oeis.org/wiki/Introduction_to_Inquiry_Driven_Systems" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Introduction_to_</span><span class="invisible">Inquiry_Driven_Systems</span></a><br />Inquiry Driven Systems • Inquiry Into Inquiry • <a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Inquiry_Driven_S</span><span class="invisible">ystems_%E2%80%A2_Overview</span></a></p><p><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicSyllabus" class="mention hashtag" rel="tag">#<span>LogicSyllabus</span></a> <a href="https://mathstodon.xyz/tags/CactusLanguage" class="mention hashtag" rel="tag">#<span>CactusLanguage</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="tag">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="tag">#<span>DifferentialLogic</span></a><br /><a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="tag">#<span>DifferentialPropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogicAndDynamicSystems" class="mention hashtag" rel="tag">#<span>DifferentialLogicAndDynamicSystems</span></a><br /><a href="https://mathstodon.xyz/tags/PropositionsAsTypesAnalogy" class="mention hashtag" rel="tag">#<span>PropositionsAsTypesAnalogy</span></a> <a href="https://mathstodon.xyz/tags/PropositionalEquationReasoningSystems" class="mention hashtag" rel="tag">#<span>PropositionalEquationReasoningSystems</span></a><br /><a href="https://mathstodon.xyz/tags/Inquiry" class="mention hashtag" rel="tag">#<span>Inquiry</span></a> <a href="https://mathstodon.xyz/tags/InquiryDrivenSystems" class="mention hashtag" rel="tag">#<span>InquiryDrivenSystems</span></a> <a href="https://mathstodon.xyz/tags/InquiryIntoInquiry" class="mention hashtag" rel="tag">#<span>InquiryIntoInquiry</span></a> <a href="https://mathstodon.xyz/tags/DynamicalSystems" class="mention hashtag" rel="tag">#<span>DynamicalSystems</span></a></p>