Inquiry Into Inquiry<p><strong>Survey of Animated Logical Graphs • 8</strong></p><p>This is a <a href="https://inquiryintoinquiry.com/surveys/" rel="nofollow noopener noreferrer" target="_blank">Survey</a> of blog and wiki posts on Logical Graphs, encompassing several families of graph‑theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.</p><p><strong>Beginnings</strong></p><ul><li><a href="https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/" rel="nofollow noopener noreferrer" target="_blank">Logical Graphs • First Impressions</a></li><ul><li>Blog Series • <a href="https://inquiryintoinquiry.com/2024/08/30/logical-graphs-first-impressions-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2024/08/31/logical-graphs-first-impressions-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2024/09/01/logical-graphs-first-impressions-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2024/09/03/logical-graphs-first-impressions-4/" rel="nofollow noopener noreferrer" target="_blank">(4)</a> • <a href="https://inquiryintoinquiry.com/2024/09/04/logical-graphs-first-impressions-5/" rel="nofollow noopener noreferrer" target="_blank">(5)</a> • <a href="https://inquiryintoinquiry.com/2024/09/05/logical-graphs-first-impressions-6/" rel="nofollow noopener noreferrer" target="_blank">(6)</a> • <a href="https://inquiryintoinquiry.com/2024/09/06/logical-graphs-first-impressions-7/" rel="nofollow noopener noreferrer" target="_blank">(7)</a> • <a href="https://inquiryintoinquiry.com/2024/09/06/logical-graphs-first-impressions-8/" rel="nofollow noopener noreferrer" target="_blank">(8)</a> • <a href="https://inquiryintoinquiry.com/2024/09/08/logical-graphs-first-impressions-9/" rel="nofollow noopener noreferrer" target="_blank">(9)</a> • <a href="https://inquiryintoinquiry.com/2024/09/08/logical-graphs-first-impressions-10/" rel="nofollow noopener noreferrer" target="_blank">(10)</a> • <a href="https://inquiryintoinquiry.com/2024/09/09/logical-graphs-first-impressions-11/" rel="nofollow noopener noreferrer" target="_blank">(11)</a> • <a href="https://inquiryintoinquiry.com/2024/09/10/logical-graphs-first-impressions-12/" rel="nofollow noopener noreferrer" target="_blank">(12)</a> • <a href="https://inquiryintoinquiry.com/2024/09/11/logical-graphs-first-impressions-13/" rel="nofollow noopener noreferrer" target="_blank">(13)</a> • <a href="https://inquiryintoinquiry.com/2024/09/12/logical-graphs-first-impressions-14/" rel="nofollow noopener noreferrer" target="_blank">(14)</a></li></ul><li><a href="https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-b/" rel="nofollow noopener noreferrer" target="_blank">Logical Graphs • Formal Development</a></li><ul><li>Blog Series • <a href="https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-1-a/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2024/09/13/logical-graphs-formal-development-2-a/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2024/09/14/logical-graphs-formal-development-3-a/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2024/09/14/logical-graphs-formal-development-4-a/" rel="nofollow noopener noreferrer" target="_blank">(4)</a> • <a href="https://inquiryintoinquiry.com/2024/09/14/logical-graphs-formal-development-5-a/" rel="nofollow noopener noreferrer" target="_blank">(5)</a> • <a href="https://inquiryintoinquiry.com/2024/09/15/logical-graphs-formal-development-6-a/" rel="nofollow noopener noreferrer" target="_blank">(6)</a> • <a href="https://inquiryintoinquiry.com/2024/09/15/logical-graphs-formal-development-7-a/" rel="nofollow noopener noreferrer" target="_blank">(7)</a> • <a href="https://inquiryintoinquiry.com/2024/09/16/logical-graphs-formal-development-8-a/" rel="nofollow noopener noreferrer" target="_blank">(8)</a></li></ul></ul><p><strong>Elements</strong></p><ul><li><a href="https://oeis.org/wiki/Logic_Syllabus" rel="nofollow noopener noreferrer" target="_blank">Logic Syllabus</a></li><li><a href="https://oeis.org/wiki/Logical_Graphs" rel="nofollow noopener noreferrer" target="_blank">Logical Graphs</a></li><li><a href="https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Overview" rel="nofollow noopener noreferrer" target="_blank">Cactus Language</a></li><li><a href="https://oeis.org/wiki/Minimal_negation_operator" rel="nofollow noopener noreferrer" target="_blank">Minimal Negation Operators</a></li><li><a href="https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems" rel="nofollow noopener noreferrer" target="_blank">Propositional Equation Reasoning Systems</a></li></ul><p><strong>Examples</strong></p><ul><li>Double Negation • <a href="https://inquiryintoinquiry.com/2021/02/14/double-negation-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2021/02/18/double-negation-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2021/02/19/double-negation-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a></li></ul><ul><li>Peirce’s Law</li><ul><li><a href="https://inquiryintoinquiry.com/2023/10/18/peirces-law-a/" rel="nofollow noopener noreferrer" target="_blank">This Blog</a> • <a href="https://oeis.org/wiki/Peirce%27s_law" rel="nofollow noopener noreferrer" target="_blank">OEIS Wiki</a></li><li>Blog Series • <a href="https://inquiryintoinquiry.com/2023/10/19/peirces-law-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2023/10/20/peirces-law-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2023/10/21/peirces-law-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2023/10/22/peirces-law-4/" rel="nofollow noopener noreferrer" target="_blank">(4)</a> • <a href="https://inquiryintoinquiry.com/2023/10/23/peirces-law-5/" rel="nofollow noopener noreferrer" target="_blank">(5)</a> • <a href="https://inquiryintoinquiry.com/2023/10/24/peirces-law-6/" rel="nofollow noopener noreferrer" target="_blank">(6)</a> • <a href="https://inquiryintoinquiry.com/2023/10/25/peirces-law-7/" rel="nofollow noopener noreferrer" target="_blank">(7)</a></li></ul><li>Praeclarum Theorema</li><ul><li><a href="https://inquiryintoinquiry.com/2023/10/05/praeclarum-theorema-a/" rel="nofollow noopener noreferrer" target="_blank">This Blog</a> • <a href="https://oeis.org/wiki/Logical_Graphs#Praeclarum_theorema" rel="nofollow noopener noreferrer" target="_blank">OEIS Wiki</a></li><li>Blog Series • <a href="https://inquiryintoinquiry.com/2023/10/13/praeclarum-theorema-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2023/10/14/praeclarum-theorema-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2023/10/15/praeclarum-theorema-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a></li></ul><li><a href="https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations" rel="nofollow noopener noreferrer" target="_blank">Proof Animations</a></li></ul><p><strong>Blog Series</strong></p><ul><li>Animated Logical Graphs • <a href="https://inquiryintoinquiry.com/2015/01/08/animated-logical-graphs-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2015/01/14/animated-logical-graphs-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2015/01/26/animated-logical-graphs-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2015/01/27/animated-logical-graphs-4/" rel="nofollow noopener noreferrer" target="_blank">(4)</a> • <a href="https://inquiryintoinquiry.com/2015/01/28/animated-logical-graphs-5/" rel="nofollow noopener noreferrer" target="_blank">(5)</a> • <a href="https://inquiryintoinquiry.com/2015/03/13/animated-logical-graphs-6/" rel="nofollow noopener noreferrer" target="_blank">(6)</a> • <a href="https://inquiryintoinquiry.com/2015/05/22/animated-logical-graphs-7/" rel="nofollow noopener noreferrer" target="_blank">(7)</a> • <a href="https://inquiryintoinquiry.com/2015/05/23/animated-logical-graphs-8/" rel="nofollow noopener noreferrer" target="_blank">(8)</a> • <a href="https://inquiryintoinquiry.com/2015/05/24/animated-logical-graphs-9/" rel="nofollow noopener noreferrer" target="_blank">(9)</a> • <a href="https://inquiryintoinquiry.com/2017/03/03/animated-logical-graphs-10/" rel="nofollow noopener noreferrer" target="_blank">(10)</a> • <a href="https://inquiryintoinquiry.com/2018/01/30/animated-logical-graphs-11/" rel="nofollow noopener noreferrer" target="_blank">(11)</a> • <a href="https://inquiryintoinquiry.com/2018/01/31/animated-logical-graphs-12/" rel="nofollow noopener noreferrer" target="_blank">(12)</a> • <a href="https://inquiryintoinquiry.com/2019/05/24/animated-logical-graphs-13/" rel="nofollow noopener noreferrer" target="_blank">(13)</a> • <a href="https://inquiryintoinquiry.com/2019/05/28/animated-logical-graphs-14/" rel="nofollow noopener noreferrer" target="_blank">(14)</a> • <a href="https://inquiryintoinquiry.com/2019/06/30/animated-logical-graphs-15/" rel="nofollow noopener noreferrer" target="_blank">(15)</a> • <a href="https://inquiryintoinquiry.com/2019/07/07/animated-logical-graphs-16/" rel="nofollow noopener noreferrer" target="_blank">(16)</a> • <a href="https://inquiryintoinquiry.com/2019/07/09/animated-logical-graphs-17/" rel="nofollow noopener noreferrer" target="_blank">(17)</a> • <a href="https://inquiryintoinquiry.com/2019/07/10/animated-logical-graphs-18/" rel="nofollow noopener noreferrer" target="_blank">(18)</a> • <a href="https://inquiryintoinquiry.com/2019/07/11/animated-logical-graphs-19/" rel="nofollow noopener noreferrer" target="_blank">(19)</a> • <a href="https://inquiryintoinquiry.com/2019/07/11/animated-logical-graphs-20/" rel="nofollow noopener noreferrer" target="_blank">(20)</a> • <a href="https://inquiryintoinquiry.com/2019/07/12/animated-logical-graphs-21/" rel="nofollow noopener noreferrer" target="_blank">(21)</a> • <a href="https://inquiryintoinquiry.com/2019/07/22/animated-logical-graphs-22/" rel="nofollow noopener noreferrer" target="_blank">(22)</a> • <a href="https://inquiryintoinquiry.com/2019/07/23/animated-logical-graphs-23/" rel="nofollow noopener noreferrer" target="_blank">(23)</a> • <a href="https://inquiryintoinquiry.com/2019/07/26/animated-logical-graphs-24/" rel="nofollow noopener noreferrer" target="_blank">(24)</a> • <a href="https://inquiryintoinquiry.com/2019/07/26/animated-logical-graphs-25/" rel="nofollow noopener noreferrer" target="_blank">(25)</a> • <a href="https://inquiryintoinquiry.com/2019/07/28/animated-logical-graphs-26/" rel="nofollow noopener noreferrer" target="_blank">(26)</a> • <a href="https://inquiryintoinquiry.com/2019/07/31/animated-logical-graphs-27/" rel="nofollow noopener noreferrer" target="_blank">(27)</a> • <a href="https://inquiryintoinquiry.com/2019/08/03/animated-logical-graphs-28/" rel="nofollow noopener noreferrer" target="_blank">(28)</a> • <a href="https://inquiryintoinquiry.com/2019/08/11/animated-logical-graphs-29/" rel="nofollow noopener noreferrer" target="_blank">(29)</a> • <a href="https://inquiryintoinquiry.com/2019/08/25/animated-logical-graphs-30/" rel="nofollow noopener noreferrer" target="_blank">(30)</a> • <a href="https://inquiryintoinquiry.com/2019/09/01/animated-logical-graphs-31/" rel="nofollow noopener noreferrer" target="_blank">(31)</a> • <a href="https://inquiryintoinquiry.com/2020/06/14/animated-logical-graphs-32/" rel="nofollow noopener noreferrer" target="_blank">(32)</a> • <a href="https://inquiryintoinquiry.com/2020/06/18/animated-logical-graphs-33/" rel="nofollow noopener noreferrer" target="_blank">(33)</a> • <a href="https://inquiryintoinquiry.com/2020/08/11/animated-logical-graphs-34/" rel="nofollow noopener noreferrer" target="_blank">(34)</a> • <a href="https://inquiryintoinquiry.com/2020/08/19/animated-logical-graphs-35/" rel="nofollow noopener noreferrer" target="_blank">(35)</a> • <a href="https://inquiryintoinquiry.com/2020/08/21/animated-logical-graphs-36/" rel="nofollow noopener noreferrer" target="_blank">(36)</a> • <a href="https://inquiryintoinquiry.com/2020/08/22/animated-logical-graphs-37/" rel="nofollow noopener noreferrer" target="_blank">(37)</a> • <a href="https://inquiryintoinquiry.com/2020/08/25/animated-logical-graphs-38/" rel="nofollow noopener noreferrer" target="_blank">(38)</a> • <a href="https://inquiryintoinquiry.com/2020/09/10/animated-logical-graphs-39/" rel="nofollow noopener noreferrer" target="_blank">(39)</a> • <a href="https://inquiryintoinquiry.com/2020/09/26/animated-logical-graphs-40/" rel="nofollow noopener noreferrer" target="_blank">(40)</a> • <a href="https://inquiryintoinquiry.com/2020/09/29/animated-logical-graphs-41/" rel="nofollow noopener noreferrer" target="_blank">(41)</a> • <a href="https://inquiryintoinquiry.com/2020/10/03/animated-logical-graphs-42/" rel="nofollow noopener noreferrer" target="_blank">(42)</a> • <a href="https://inquiryintoinquiry.com/2020/10/05/animated-logical-graphs-43/" rel="nofollow noopener noreferrer" target="_blank">(43)</a> • <a href="https://inquiryintoinquiry.com/2020/10/06/animated-logical-graphs-44/" rel="nofollow noopener noreferrer" target="_blank">(44)</a> • <a href="https://inquiryintoinquiry.com/2020/11/12/animated-logical-graphs-45/" rel="nofollow noopener noreferrer" target="_blank">(45)</a> • <a href="https://inquiryintoinquiry.com/2020/11/15/animated-logical-graphs-46/" rel="nofollow noopener noreferrer" target="_blank">(46)</a> • <a href="https://inquiryintoinquiry.com/2020/11/27/animated-logical-graphs-47/" rel="nofollow noopener noreferrer" target="_blank">(47)</a> • <a href="https://inquiryintoinquiry.com/2020/11/30/animated-logical-graphs-48/" rel="nofollow noopener noreferrer" target="_blank">(48)</a> • <a href="https://inquiryintoinquiry.com/2020/12/03/animated-logical-graphs-49/" rel="nofollow noopener noreferrer" target="_blank">(49)</a> • <a href="https://inquiryintoinquiry.com/2020/12/05/animated-logical-graphs-50/" rel="nofollow noopener noreferrer" target="_blank">(50)</a> • <a href="https://inquiryintoinquiry.com/2020/12/20/animated-logical-graphs-51/" rel="nofollow noopener noreferrer" target="_blank">(51)</a> • <a href="https://inquiryintoinquiry.com/2020/12/21/animated-logical-graphs-52/" rel="nofollow noopener noreferrer" target="_blank">(52)</a> • <a href="https://inquiryintoinquiry.com/2021/01/22/animated-logical-graphs-53/" rel="nofollow noopener noreferrer" target="_blank">(53)</a> • <a href="https://inquiryintoinquiry.com/2021/01/27/animated-logical-graphs-54/" rel="nofollow noopener noreferrer" target="_blank">(54)</a> • <a href="https://inquiryintoinquiry.com/2021/01/30/animated-logical-graphs-55/" rel="nofollow noopener noreferrer" target="_blank">(55)</a> • <a href="https://inquiryintoinquiry.com/2021/02/06/animated-logical-graphs-56/" rel="nofollow noopener noreferrer" target="_blank">(56)</a> • <a href="https://inquiryintoinquiry.com/2021/02/11/animated-logical-graphs-57/" rel="nofollow noopener noreferrer" target="_blank">(57)</a> • <a href="https://inquiryintoinquiry.com/2021/02/11/animated-logical-graphs-58/" rel="nofollow noopener noreferrer" target="_blank">(58)</a> • <a href="https://inquiryintoinquiry.com/2021/02/21/animated-logical-graphs-59/" rel="nofollow noopener noreferrer" target="_blank">(59)</a> • <a href="https://inquiryintoinquiry.com/2021/02/21/animated-logical-graphs-60/" rel="nofollow noopener noreferrer" target="_blank">(60)</a> • <a href="https://inquiryintoinquiry.com/2021/02/26/animated-logical-graphs-61/" rel="nofollow noopener noreferrer" target="_blank">(61)</a> • <a href="https://inquiryintoinquiry.com/2021/02/28/animated-logical-graphs-62/" rel="nofollow noopener noreferrer" target="_blank">(62)</a> • <a href="https://inquiryintoinquiry.com/2021/03/02/animated-logical-graphs-63/" rel="nofollow noopener noreferrer" target="_blank">(63)</a> • <a href="https://inquiryintoinquiry.com/2021/03/04/animated-logical-graphs-64/" rel="nofollow noopener noreferrer" target="_blank">(64)</a> • <a href="https://inquiryintoinquiry.com/2021/03/04/animated-logical-graphs-65/" rel="nofollow noopener noreferrer" target="_blank">(65)</a> • <a href="https://inquiryintoinquiry.com/2021/03/09/animated-logical-graphs-66/" rel="nofollow noopener noreferrer" target="_blank">(66)</a> • <a href="https://inquiryintoinquiry.com/2021/03/27/animated-logical-graphs-67/" rel="nofollow noopener noreferrer" target="_blank">(67)</a> • <a href="https://inquiryintoinquiry.com/2021/03/29/animated-logical-graphs-68/" rel="nofollow noopener noreferrer" target="_blank">(68)</a> • <a href="https://inquiryintoinquiry.com/2021/03/30/animated-logical-graphs-69/" rel="nofollow noopener noreferrer" target="_blank">(69)</a> • <a href="https://inquiryintoinquiry.com/2021/04/07/animated-logical-graphs-70/" rel="nofollow noopener noreferrer" target="_blank">(70)</a> • <a href="https://inquiryintoinquiry.com/2021/04/18/animated-logical-graphs-71/" rel="nofollow noopener noreferrer" target="_blank">(71)</a> • <a href="https://inquiryintoinquiry.com/2021/04/22/animated-logical-graphs-72/" rel="nofollow noopener noreferrer" target="_blank">(72)</a> • <a href="https://inquiryintoinquiry.com/2021/04/24/animated-logical-graphs-73/" rel="nofollow noopener noreferrer" target="_blank">(73)</a> • <a href="https://inquiryintoinquiry.com/2021/04/30/animated-logical-graphs-74/" rel="nofollow noopener noreferrer" target="_blank">(74)</a> • <a href="https://inquiryintoinquiry.com/2021/05/10/animated-logical-graphs-75/" rel="nofollow noopener noreferrer" target="_blank">(75)</a> • <a href="https://inquiryintoinquiry.com/2021/06/06/animated-logical-graphs-76/" rel="nofollow noopener noreferrer" target="_blank">(76)</a> • <a href="https://inquiryintoinquiry.com/2021/07/03/animated-logical-graphs-77/" rel="nofollow noopener noreferrer" target="_blank">(77)</a> • <a href="https://inquiryintoinquiry.com/2021/07/04/animated-logical-graphs-78/" rel="nofollow noopener noreferrer" target="_blank">(78)</a> • <a href="https://inquiryintoinquiry.com/2021/07/05/animated-logical-graphs-79/" rel="nofollow noopener noreferrer" target="_blank">(79)</a> • <a href="https://inquiryintoinquiry.com/2021/07/09/animated-logical-graphs-80/" rel="nofollow noopener noreferrer" target="_blank">(80)</a> • <a href="https://inquiryintoinquiry.com/2021/08/26/animated-logical-graphs-81/" rel="nofollow noopener noreferrer" target="_blank">(81)</a></li></ul><ul><li>Cactus Language</li><ul><li>Overview • <a href="https://inquiryintoinquiry.com/2025/03/01/cactus-language-overview-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2025/03/06/cactus-language-overview-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2025/03/07/cactus-language-overview-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2025/03/12/cactus-language-overview-4/" rel="nofollow noopener noreferrer" target="_blank">(4)</a></li><li>Preliminaries • <a href="https://inquiryintoinquiry.com/2025/03/30/cactus-language-preliminaries-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2025/04/05/cactus-language-preliminaries-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2025/04/09/cactus-language-preliminaries-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2025/04/11/cactus-language-preliminaries-4/" rel="nofollow noopener noreferrer" target="_blank">(4)</a> • <a href="https://inquiryintoinquiry.com/2025/04/13/cactus-language-preliminaries-5/" rel="nofollow noopener noreferrer" target="_blank">(5)</a> • <a href="https://inquiryintoinquiry.com/2025/04/16/cactus-language-preliminaries-6/" rel="nofollow noopener noreferrer" target="_blank">(6)</a> • <a href="https://inquiryintoinquiry.com/2025/04/19/cactus-language-preliminaries-7/" rel="nofollow noopener noreferrer" target="_blank">(7)</a> • <a href="https://inquiryintoinquiry.com/2025/04/22/cactus-language-preliminaries-8/" rel="nofollow noopener noreferrer" target="_blank">(8)</a> • <a href="https://inquiryintoinquiry.com/2025/04/25/cactus-language-preliminaries-9/" rel="nofollow noopener noreferrer" target="_blank">(9)</a></li></ul></ul><ul><li><a href="https://inquiryintoinquiry.com/logic-syllabus/" rel="nofollow noopener noreferrer" target="_blank">Logic Syllabus</a></li><ul><li>Discussions • <a href="https://inquiryintoinquiry.com/2023/06/02/logic-syllabus-discussion-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2023/06/04/logic-syllabus-discussion-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a></li></ul></ul><ul><li>Logical Graphs</li><ul><li>Discussions • <a href="https://inquiryintoinquiry.com/2021/07/28/logical-graphs-discussion-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2021/07/29/logical-graphs-discussion-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2021/07/31/logical-graphs-discussion-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2021/08/01/logical-graphs-discussion-4/" rel="nofollow noopener noreferrer" target="_blank">(4)</a> • <a href="https://inquiryintoinquiry.com/2023/08/28/logical-graphs-discussion-5/" rel="nofollow noopener noreferrer" target="_blank">(5)</a> • <a href="https://inquiryintoinquiry.com/2023/08/29/logical-graphs-discussion-6/" rel="nofollow noopener noreferrer" target="_blank">(6)</a> • <a href="https://inquiryintoinquiry.com/2023/10/01/logical-graphs-discussion-7/" rel="nofollow noopener noreferrer" target="_blank">(7)</a> • <a href="https://inquiryintoinquiry.com/2023/10/02/logical-graphs-discussion-8/" rel="nofollow noopener noreferrer" target="_blank">(8)</a> • <a href="https://inquiryintoinquiry.com/2023/10/12/logical-graphs-discussion-9/" rel="nofollow noopener noreferrer" target="_blank">(9)</a> • <a href="https://inquiryintoinquiry.com/2024/09/18/logical-graphs-discussion-10/" rel="nofollow noopener noreferrer" target="_blank">(10)</a> • <a href="https://inquiryintoinquiry.com/2024/09/19/logical-graphs-discussion-11/" rel="nofollow noopener noreferrer" target="_blank">(11)</a></li></ul></ul><ul><li>Logical Graphs • Interpretive Duality • <a href="https://inquiryintoinquiry.com/2023/10/26/logical-graphs-interpretive-duality-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2023/10/29/logical-graphs-interpretive-duality-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2023/11/01/logical-graphs-interpretive-duality-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2023/11/08/logical-graphs-interpretive-duality-4/" rel="nofollow noopener noreferrer" target="_blank">(4)</a></li></ul><ul><li>Logical Graphs, Iconicity, Interpretation • <a href="https://inquiryintoinquiry.com/2021/10/03/logical-graphs-iconicity-interpretation-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2021/10/04/logical-graphs-iconicity-interpretation-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a></li></ul><ul><li>Logical Graphs, Truth Tables, Venn Diagrams • <a href="https://inquiryintoinquiry.com/2021/04/21/logical-graphs-truth-tables-venn-diagrams-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2021/05/29/logical-graphs-truth-tables-venn-diagrams-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2021/05/30/logical-graphs-truth-tables-venn-diagrams-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2021/05/30/logical-graphs-truth-tables-venn-diagrams-4/" rel="nofollow noopener noreferrer" target="_blank">(4)</a> • <a href="https://inquiryintoinquiry.com/2021/06/01/logical-graphs-truth-tables-venn-diagrams-5/" rel="nofollow noopener noreferrer" target="_blank">(5)</a> • <a href="https://inquiryintoinquiry.com/2021/06/02/logical-graphs-truth-tables-venn-diagrams-6/" rel="nofollow noopener noreferrer" target="_blank">(6)</a> • <a href="https://inquiryintoinquiry.com/2021/06/04/logical-graphs-truth-tables-venn-diagrams-7/" rel="nofollow noopener noreferrer" target="_blank">(7)</a> • <a href="https://inquiryintoinquiry.com/2021/06/08/logical-graphs-truth-tables-venn-diagrams-8/" rel="nofollow noopener noreferrer" target="_blank">(8)</a> • <a href="https://inquiryintoinquiry.com/2021/06/12/logical-graphs-truth-tables-venn-diagrams-9/" rel="nofollow noopener noreferrer" target="_blank">(9)</a></li></ul><ul><li>Minimal Negation Operators • <a href="https://inquiryintoinquiry.com/2017/08/27/minimal-negation-operators-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2017/08/30/minimal-negation-operators-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2017/08/30/minimal-negation-operators-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2017/09/01/minimal-negation-operators-4/" rel="nofollow noopener noreferrer" target="_blank">(4)</a></li><ul><li>Discussions • <a href="https://inquiryintoinquiry.com/2021/09/30/minimal-negation-operators-discussion-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2021/10/02/minimal-negation-operators-discussion-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a></li></ul></ul><ul><li>Genus, Species, Pie Charts, Radio Buttons • <a href="https://inquiryintoinquiry.com/2021/11/10/genus-species-pie-charts-radio-buttons-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a></li><ul><li>Discussions • <a href="https://inquiryintoinquiry.com/2021/11/18/genus-species-pie-charts-radio-buttons-discussion-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2021/11/19/genus-species-pie-charts-radio-buttons-discussion-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2021/11/21/genus-species-pie-charts-radio-buttons-discussion-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2021/11/23/genus-species-pie-charts-radio-buttons-discussion-4/" rel="nofollow noopener noreferrer" target="_blank">(4)</a> • <a href="https://inquiryintoinquiry.com/2021/11/25/genus-species-pie-charts-radio-buttons-discussion-5/" rel="nofollow noopener noreferrer" target="_blank">(5)</a></li></ul></ul><p><strong>Excursions</strong></p><ul><li><a href="https://oeis.org/wiki/Futures_Of_Logical_Graphs" rel="nofollow noopener noreferrer" target="_blank">Futures Of Logical Graphs</a></li><li>Operator Variables in Logical Graphs • <a href="https://inquiryintoinquiry.com/2024/04/06/operator-variables-in-logical-graphs-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2024/04/07/operator-variables-in-logical-graphs-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2024/04/10/operator-variables-in-logical-graphs-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2024/04/11/operator-variables-in-logical-graphs-4/" rel="nofollow noopener noreferrer" target="_blank">(4)</a> • <a href="https://inquiryintoinquiry.com/2024/04/12/operator-variables-in-logical-graphs-5/" rel="nofollow noopener noreferrer" target="_blank">(5)</a> • <a href="https://inquiryintoinquiry.com/2024/04/14/operator-variables-in-logical-graphs-6/" rel="nofollow noopener noreferrer" target="_blank">(6)</a> • <a href="https://inquiryintoinquiry.com/2024/04/15/operator-variables-in-logical-graphs-7/" rel="nofollow noopener noreferrer" target="_blank">(7)</a> • <a href="https://inquiryintoinquiry.com/2024/04/16/operator-variables-in-logical-graphs-8/" rel="nofollow noopener noreferrer" target="_blank">(8)</a> • <a href="https://inquiryintoinquiry.com/2024/04/17/operator-variables-in-logical-graphs-9/" rel="nofollow noopener noreferrer" target="_blank">(9)</a> • <a href="https://inquiryintoinquiry.com/2024/04/18/operator-variables-in-logical-graphs-10/" rel="nofollow noopener noreferrer" target="_blank">(10)</a> • <a href="https://inquiryintoinquiry.com/2024/04/20/operator-variables-in-logical-graphs-11/" rel="nofollow noopener noreferrer" target="_blank">(11)</a> • <a href="https://inquiryintoinquiry.com/2024/04/21/operator-variables-in-logical-graphs-12/" rel="nofollow noopener noreferrer" target="_blank">(12)</a></li><ul><li>Discussions • <a href="https://inquiryintoinquiry.com/2024/04/08/operator-variables-in-logical-graphs-discussion-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2024/04/09/operator-variables-in-logical-graphs-discussion-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a></li></ul><li>Interpretive Duality in Logical Graphs • <a href="https://inquiryintoinquiry.com/2024/04/22/interpretive-duality-in-logical-graphs-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2024/04/23/interpretive-duality-in-logical-graphs-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2024/04/24/interpretive-duality-in-logical-graphs-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2024/04/25/interpretive-duality-in-logical-graphs-4/" rel="nofollow noopener noreferrer" target="_blank">(4)</a> • <a href="https://inquiryintoinquiry.com/2024/04/26/interpretive-duality-in-logical-graphs-5/" rel="nofollow noopener noreferrer" target="_blank">(5)</a> • <a href="https://inquiryintoinquiry.com/2024/04/29/interpretive-duality-in-logical-graphs-6/" rel="nofollow noopener noreferrer" target="_blank">(6)</a> • <a href="https://inquiryintoinquiry.com/2024/04/30/interpretive-duality-in-logical-graphs-7/" rel="nofollow noopener noreferrer" target="_blank">(7)</a> • <a href="https://inquiryintoinquiry.com/2024/05/01/interpretive-duality-in-logical-graphs-8/" rel="nofollow noopener noreferrer" target="_blank">(8)</a></li><li>Mathematical Duality in Logical Graphs • <a href="https://inquiryintoinquiry.com/2024/05/03/mathematical-duality-in-logical-graphs-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a></li><ul><li>Discussions • <a href="https://inquiryintoinquiry.com/2024/05/04/mathematical-duality-in-logical-graphs-discussion-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2024/05/04/mathematical-duality-in-logical-graphs-discussion-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a></li></ul><li>Transformations of Logical Graphs • <a href="https://inquiryintoinquiry.com/2024/05/05/transformations-of-logical-graphs-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2024/05/06/transformations-of-logical-graphs-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2024/05/07/transformations-of-logical-graphs-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2024/05/08/transformations-of-logical-graphs-4/" rel="nofollow noopener noreferrer" target="_blank">(4)</a> • <a href="https://inquiryintoinquiry.com/2024/05/09/transformations-of-logical-graphs-5/" rel="nofollow noopener noreferrer" target="_blank">(5)</a> • <a href="https://inquiryintoinquiry.com/2024/05/10/transformations-of-logical-graphs-6/" rel="nofollow noopener noreferrer" target="_blank">(6)</a> • <a href="https://inquiryintoinquiry.com/2024/05/11/transformations-of-logical-graphs-7/" rel="nofollow noopener noreferrer" target="_blank">(7)</a> • <a href="https://inquiryintoinquiry.com/2024/05/12/transformations-of-logical-graphs-8/" rel="nofollow noopener noreferrer" target="_blank">(8)</a> • <a href="https://inquiryintoinquiry.com/2024/05/13/transformations-of-logical-graphs-9/" rel="nofollow noopener noreferrer" target="_blank">(9)</a> • <a href="https://inquiryintoinquiry.com/2024/05/14/transformations-of-logical-graphs-10/" rel="nofollow noopener noreferrer" target="_blank">(10)</a> • <a href="https://inquiryintoinquiry.com/2024/05/15/transformations-of-logical-graphs-11/" rel="nofollow noopener noreferrer" target="_blank">(11)</a> • <a href="https://inquiryintoinquiry.com/2024/05/16/transformations-of-logical-graphs-12/" rel="nofollow noopener noreferrer" target="_blank">(12)</a> • <a href="https://inquiryintoinquiry.com/2024/05/18/transformations-of-logical-graphs-13/" rel="nofollow noopener noreferrer" target="_blank">(13)</a> • <a href="https://inquiryintoinquiry.com/2024/05/21/transformations-of-logical-graphs-14/" rel="nofollow noopener noreferrer" target="_blank">(14)</a></li><ul><li>Discussions • <a href="https://inquiryintoinquiry.com/2024/05/22/transformations-of-logical-graphs-discussion-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a></li></ul></ul><p><strong>Applications</strong></p><ul><li><a href="https://www.academia.edu/4727842/Applications_of_a_Propositional_Calculator_Constraint_Satisfaction_Problems" rel="nofollow noopener noreferrer" target="_blank">Applications of a Propositional Calculator • Constraint Satisfaction Problems</a></li><li><a href="https://oeis.org/wiki/User:Jon_Awbrey/Exploratory_Qualitative_Analysis_of_Sequential_Observation_Data" rel="nofollow noopener noreferrer" target="_blank">Exploratory Qualitative Analysis of Sequential Observation Data</a></li><li><a href="https://oeis.org/wiki/Differential_Analytic_Turing_Automata_%E2%80%A2_Overview" rel="nofollow noopener noreferrer" target="_blank">Differential Analytic Turing Automata</a></li><li><a href="https://inquiryintoinquiry.com/2024/02/26/survey-of-theme-one-program-6/" rel="nofollow noopener noreferrer" target="_blank">Survey of Theme One Program</a></li></ul><p><strong>Anamnesis</strong></p><ul><li><a href="https://inquiryintoinquiry.com/2017/07/19/charles-sanders-peirce-george-spencer-brown-and-me/" rel="nofollow noopener noreferrer" target="_blank">CSP, GSB, & Me</a> • <a href="https://inquiryintoinquiry.com/2017/07/20/charles-sanders-peirce-george-spencer-brown-and-me-1/" rel="nofollow noopener noreferrer" target="_blank">(1)</a> • <a href="https://inquiryintoinquiry.com/2017/07/21/charles-sanders-peirce-george-spencer-brown-and-me-2/" rel="nofollow noopener noreferrer" target="_blank">(2)</a> • <a href="https://inquiryintoinquiry.com/2017/07/31/charles-sanders-peirce-george-spencer-brown-and-me-3/" rel="nofollow noopener noreferrer" target="_blank">(3)</a> • <a href="https://inquiryintoinquiry.com/2017/08/06/charles-sanders-peirce-george-spencer-brown-and-me-4/" rel="nofollow noopener noreferrer" target="_blank">(4)</a> • <a href="https://inquiryintoinquiry.com/2017/08/12/charles-sanders-peirce-george-spencer-brown-and-me-5/" rel="nofollow noopener noreferrer" target="_blank">(5)</a> • <a href="https://inquiryintoinquiry.com/2017/08/18/charles-sanders-peirce-george-spencer-brown-and-me-6/" rel="nofollow noopener noreferrer" target="_blank">(6)</a> • <a href="https://inquiryintoinquiry.com/2017/08/21/charles-sanders-peirce-george-spencer-brown-and-me-7/" rel="nofollow noopener noreferrer" target="_blank">(7)</a> • <a href="https://inquiryintoinquiry.com/2017/08/22/charles-sanders-peirce-george-spencer-brown-and-me-8/" rel="nofollow noopener noreferrer" target="_blank">(8)</a> • <a href="https://inquiryintoinquiry.com/2017/08/22/charles-sanders-peirce-george-spencer-brown-and-me-9/" rel="nofollow noopener noreferrer" target="_blank">(9)</a> • <a href="https://inquiryintoinquiry.com/2017/08/25/charles-sanders-peirce-george-spencer-brown-and-me-10/" rel="nofollow noopener noreferrer" target="_blank">(10)</a> • <a href="https://inquiryintoinquiry.com/2021/01/18/charles-sanders-peirce-george-spencer-brown-and-me-11/" rel="nofollow noopener noreferrer" target="_blank">(11)</a> • <a href="https://inquiryintoinquiry.com/2021/01/25/charles-sanders-peirce-george-spencer-brown-and-me-12/" rel="nofollow noopener noreferrer" target="_blank">(12)</a> • <a href="https://inquiryintoinquiry.com/2021/01/26/charles-sanders-peirce-george-spencer-brown-and-me-13/" rel="nofollow noopener noreferrer" target="_blank">(13)</a> • <a href="https://inquiryintoinquiry.com/2021/01/31/charles-sanders-peirce-george-spencer-brown-and-me-14/" rel="nofollow noopener noreferrer" target="_blank">(14)</a> • <a href="https://inquiryintoinquiry.com/2021/02/05/charles-sanders-peirce-george-spencer-brown-and-me-15/" rel="nofollow noopener noreferrer" target="_blank">(15)</a> • <a href="https://inquiryintoinquiry.com/2022/01/15/charles-sanders-peirce-george-spencer-brown-and-me-16/" rel="nofollow noopener noreferrer" target="_blank">(16)</a></li></ul><p>cc: <a href="https://www.facebook.com/LogicalGraphs/" rel="nofollow noopener noreferrer" target="_blank">FB | Logical Graphs</a> • <a href="https://groups.io/g/lawsofform/topic/survey_of_animated_logical/105354327" rel="nofollow noopener noreferrer" target="_blank">Laws of Form</a> • <a href="https://mathstodon.xyz/@Inquiry/112219679796101870" rel="nofollow noopener noreferrer" target="_blank">Mathstodon</a> • <a href="https://groups.google.com/g/ontolog-forum/c/wF03K5KG1vQ/" rel="nofollow noopener noreferrer" target="_blank">Ontolog</a> • <a href="https://www.academia.edu/community/5M7EPn" rel="nofollow noopener noreferrer" target="_blank">Academia.edu</a><br>cc: <a href="https://lists.cs.uni-kassel.de/hyperkitty/list/cg@lists.iccs-conference.org/thread/FCV6F2UQDLMTNEME45VX6AO7MHQGJKIL/" rel="nofollow noopener noreferrer" target="_blank">Conceptual Graphs</a> • <a href="https://groups.google.com/g/cybcom/c/aQyqReM8BT8" rel="nofollow noopener noreferrer" target="_blank">Cybernetics</a> • <a href="https://groups.google.com/g/structural-modeling/c/iJ71RVX1_5E" rel="nofollow noopener noreferrer" target="_blank">Structural Modeling</a> • <a href="https://groups.google.com/g/syssciwg/c/jcjAwlOqwLk" rel="nofollow noopener noreferrer" target="_blank">Systems Science</a></p><p><a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/amphecks/" target="_blank">#Amphecks</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/animata/" target="_blank">#Animata</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/boolean-algebra/" target="_blank">#BooleanAlgebra</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/boolean-functions/" target="_blank">#BooleanFunctions</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/c-s-peirce/" target="_blank">#CSPeirce</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/cactus-graphs/" target="_blank">#CactusGraphs</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/computational-complexity/" target="_blank">#ComputationalComplexity</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/constraint-satisfaction-problems/" target="_blank">#ConstraintSatisfactionProblems</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/differential-logic/" target="_blank">#DifferentialLogic</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/equational-inference/" target="_blank">#EquationalInference</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/graph-theory/" target="_blank">#GraphTheory</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/laws-of-form/" target="_blank">#LawsOfForm</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/logic/" target="_blank">#Logic</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/logical-graphs/" target="_blank">#LogicalGraphs</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/mathematics/" target="_blank">#Mathematics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/minimal-negation-operators/" target="_blank">#MinimalNegationOperators</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/model-theory/" target="_blank">#ModelTheory</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/painted-cacti/" target="_blank">#PaintedCacti</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/peirce/" target="_blank">#Peirce</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/proof-theory/" target="_blank">#ProofTheory</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/propositional-calculus/" target="_blank">#PropositionalCalculus</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/propositional-equation-reasoning-systems/" target="_blank">#PropositionalEquationReasoningSystems</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/spencer-brown/" target="_blank">#SpencerBrown</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/theorem-proving/" target="_blank">#TheoremProving</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/visualization/" target="_blank">#Visualization</a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!
Administered by:
Server stats:
2.7Kactive users
mathstodon.xyz: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.7
#TheoremProving
1 post · 1 participant · 0 posts today
Winbuzzer<p>DeepSeek Releases Massive 671B Prover V2 Model For Mathematical Theorem Proving Ahead of R2 Release</p><p><a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mastodon.social/tags/ChinaAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ChinaAI</span></a> <a href="https://mastodon.social/tags/DeepSeek" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DeepSeek</span></a> <a href="https://mastodon.social/tags/OpenSourceAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenSourceAI</span></a> <a href="https://mastodon.social/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mastodon.social/tags/TheoremProving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TheoremProving</span></a> <a href="https://mastodon.social/tags/Lean4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lean4</span></a> <a href="https://mastodon.social/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MachineLearning</span></a> <a href="https://mastodon.social/tags/DeepLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DeepLearning</span></a> <a href="https://mastodon.social/tags/MathAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MathAI</span></a></p><p><a href="https://winbuzzer.com/2025/04/30/deepseek-releases-massive-671b-prover-v2-model-for-mathematical-theorem-proving-ahead-of-r2-release-xcxwbn/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">winbuzzer.com/2025/04/30/deeps</span><span class="invisible">eek-releases-massive-671b-prover-v2-model-for-mathematical-theorem-proving-ahead-of-r2-release-xcxwbn/</span></a></p>
Tom de Jong<p>Call for Papers<br />16th International Conference on Interactive Theorem Proving — ITP'25</p><p>Reykjavik, Iceland<br />27 September – 3 October 2025</p><p><a href="https://icetcs.github.io/frocos-itp-tableaux25/itp/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">icetcs.github.io/frocos-itp-ta</span><span class="invisible">bleaux25/itp/</span></a></p><p>ITP is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics.</p><p>- Abstract submission deadline: 12 March 2025<br />- Paper submission deadline: 19 March 2025<br />- Author notification: 23 May 2025<br />- Camera-ready copy due: 27 June 2025</p><p><a href="https://mathstodon.xyz/tags/formalization" class="mention hashtag" rel="tag">#<span>formalization</span></a> <a href="https://mathstodon.xyz/tags/theoremproving" class="mention hashtag" rel="tag">#<span>theoremproving</span></a> <a href="https://mathstodon.xyz/tags/proofassistants" class="mention hashtag" rel="tag">#<span>proofassistants</span></a> <a href="https://mathstodon.xyz/tags/verification" class="mention hashtag" rel="tag">#<span>verification</span></a> <a href="https://mathstodon.xyz/tags/CfP" class="mention hashtag" rel="tag">#<span>CfP</span></a></p>
Colin the Mathmo<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@wren_h" class="u-url mention">@<span>wren_h</span></a></span> Hi !!</p><p>It's great to have you here, and pleased that you're not some sort of robot. Not sure where you got the message that you should make such a post, but it's definitely a good idea to start interacting. There are no algorithms here to fill your timeline(s) with posts that other things think you should be interested in.</p><p>It's worth putting hashtags on posts to make them findable. Things like:</p><p><a href="https://mathstodon.xyz/tags/DependentTypes" class="mention hashtag" rel="tag">#<span>DependentTypes</span></a> or <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="tag">#<span>TypeTheory</span></a> or <a href="https://mathstodon.xyz/tags/TheoremProving" class="mention hashtag" rel="tag">#<span>TheoremProving</span></a> or <a href="https://mathstodon.xyz/tags/DesignOfProgrammingLanguages" class="mention hashtag" rel="tag">#<span>DesignOfProgrammingLanguages</span></a> or similar. Then when you've done that, have a look at your own post and click on the hashtags to see who else is talking about them.</p><p>Good luck!</p>
Jesper Agdakx 🔸<p>The pre-print for the <a class="hashtag" href="https://agda.club/tag/icpc" rel="nofollow noopener noreferrer" target="_blank">#ICPC</a> paper “Pinpointing the Learning Obstacles of an Interactive Theorem Prover” by <span class="h-card"><a class="u-url mention" href="https://mastodon.social/@sarantja" rel="nofollow noopener noreferrer" target="_blank">@<span>sarantja</span></a></span> <span class="h-card"><a class="u-url mention" href="https://mastodon.social/@azaidman" rel="nofollow noopener noreferrer" target="_blank">@<span>azaidman</span></a></span> and yt is now available at <a href="https://sarajuhosova.com/assets/files/2025-icpc.pdf" rel="nofollow noopener noreferrer" target="_blank">https://sarajuhosova.com/assets/files/2025-icpc.pdf</a></p><p>I very much hope this will inspire more research on the usability and accessibility of the languages we build going forward!</p><p>Abstract:</p><blockquote><p>Interactive theorem provers (ITPs) are programming languages which allow users to reason about and verify their programs. Although they promise strong correctness guarantees and expressive type annotations which can act as code summaries, they tend to have a steep learning curve and poor usability. Unfortunately, there is only a vague understanding of the underlying causes for these problems within the research community. To pinpoint the exact usability bottlenecks of ITPs, we conducted an online survey among 41 computer science bachelor students, asking them to reflect on the experience of learning to use the Agda ITP and to list the obstacles they faced during the process. Qualitative analysis of the responses revealed confusion among the participants about the role of ITPs within software development processes as well as design choices and tool deficiencies which do not provide an adequate level of support to ITP users. To make ITPs more accessible to new users, we recommend that ITP designers look beyond the language itself and also consider its wider contexts of tooling, developer environments, and larger software development processes. </p></blockquote><p><a class="hashtag" href="https://agda.club/tag/agda" rel="nofollow noopener noreferrer" target="_blank">#Agda</a> <a class="hashtag" href="https://agda.club/tag/theoremproving" rel="nofollow noopener noreferrer" target="_blank">#TheoremProving</a> <a class="hashtag" href="https://agda.club/tag/dependenttypes" rel="nofollow noopener noreferrer" target="_blank">#DependentTypes</a> <a class="hashtag" href="https://agda.club/tag/usability" rel="nofollow noopener noreferrer" target="_blank">#Usability</a> <a class="hashtag" href="https://agda.club/tag/accessibility" rel="nofollow noopener noreferrer" target="_blank">#Accessibility</a> <a class="hashtag" href="https://agda.club/tag/icpc25" rel="nofollow noopener noreferrer" target="_blank">#ICPC25</a></p>
Kiran 🏳️⚧️<p>I stayedd at the lab wayyyyy late to finish this off, but I'm pretty proud of this!!! I've been playing with macros in Lean4 <a href="https://transfem.social/tags/Lean4" rel="nofollow noopener noreferrer" target="_blank">#Lean4</a><span> recently, and they make me really exciteddd!!! <br><br>I've implemented a DSL in lean that uses the grammar of the constraint logic programming language Clingo, and solves queries through the FFI.<br><br>Honestly really blown away by the macro support in Lean. The way they combine extensible syntax and type system support is just mindblowing, it's honestly the best macro system I've ever used so far, and I can't even believe that I'm writing all this in a dependently typed language to boot. <br><br>You can check it out here: </span><a href="https://github.com/kiranandcode/cleango" rel="nofollow noopener noreferrer" target="_blank">https://github.com/kiranandcode/cleango</a><span><br><br></span><a href="https://functional.cafe/@leanprover" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@leanprover@functional.cafe</a><span> <br></span><a href="https://transfem.social/tags/ProgrammingLanguages" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a> <a href="https://transfem.social/tags/Macros" rel="nofollow noopener noreferrer" target="_blank">#Macros</a> <a href="https://transfem.social/tags/Lean4" rel="nofollow noopener noreferrer" target="_blank">#Lean4</a> <a href="https://transfem.social/tags/TheoremProving" rel="nofollow noopener noreferrer" target="_blank">#TheoremProving</a></p>
jnkrtech<p>I'm trying to use Z3 to solve a logic puzzle, mostly as a chance to learn more about Z3. I'm stuck on a couple of things out of the gate:</p><p>How do people usually interact with Z3 in practice? Manually writing smtlib doesn't seem like it would scale. Do people use the Z3 bindings to Python, Java, etc. or are people using libraries to generate smtlib syntax which then gets fed in?</p><p>I'm looking at the TypeScript bindings. There's a "high level" set of bindings which seems incomplete (no support for datatype declarations, for example) and a "low level" set of bindings that seems more featureful. I get the vibe that the high level bindings aren't getting a lot of usage or maintenance. Can anyone confirm or give background here? Is TS simply the wrong language to use, or am I still likely to be writing Z3 in a modern-ish way by using the low level bindings?</p><p><a href="https://social.treehouse.systems/tags/z3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>z3</span></a> <a href="https://social.treehouse.systems/tags/smt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>smt</span></a> <a href="https://social.treehouse.systems/tags/smtlib" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>smtlib</span></a> <a href="https://social.treehouse.systems/tags/TheoremProvers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TheoremProvers</span></a> <a href="https://social.treehouse.systems/tags/TheoremProving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TheoremProving</span></a></p>
Marco 🌳 Zocca<p>proving some theorems</p><p><a href="https://sigmoid.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://sigmoid.social/tags/smt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>smt</span></a> <a href="https://sigmoid.social/tags/theoremproving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theoremproving</span></a> <a href="https://sigmoid.social/tags/formalmethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalmethods</span></a></p>
Yutaka<p>📢 Excited to announce I'll be giving a lecture on "Interactive Theorem Proving in Isabelle/HOL & Its AI-Driven Automation Efforts" at the EuroProofNet Summer School on AI for Reasoning & Processing of Mathematics! 🧠🖥️</p><p>Join us at Kutaisi International University, Georgia, from June 24th-28th, 2024. Learn more & register here: <a href="https://europroofnet.github.io/Kutaisi24/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">europroofnet.github.io/Kutaisi</span><span class="invisible">24/</span></a></p><p><a href="https://mastodon.social/tags/EuroProofNet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EuroProofNet</span></a> <a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mastodon.social/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a> <a href="https://mastodon.social/tags/TheoremProving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TheoremProving</span></a></p>
Philip Zucker<p>[New Blog Post] Termination Checkers: Playing with AProVE <a href="https://www.philipzucker.com/termination_checker/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">philipzucker.com/termination_c</span><span class="invisible">hecker/</span></a> <a href="https://types.pl/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://types.pl/tags/theoremproving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theoremproving</span></a> <a href="https://types.pl/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a></p>
Volker Stolz<p>*sigh* Apparently every other year when I pick up Coq to do some light theorem proving I need to learn again the hard lesson that you never do `intros.`, but only `intros <exactly this> <exactly that>.`</p><p><a href="https://mastodon.social/tags/coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>coq</span></a> <a href="https://mastodon.social/tags/theoremproving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theoremproving</span></a> <a href="https://mastodon.social/tags/formalmethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalmethods</span></a></p>
Sage<p>A new <a href="https://mathstodon.xyz/tags/formalmethods" class="mention hashtag" rel="tag">#<span>formalmethods</span></a> community was just created on the Lemmy instance programming.dev: <a href="https://programming.dev/c/formal_methods@programming.dev" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">programming.dev/c/formal_metho</span><span class="invisible">ds@programming.dev</span></a></p><p>I’ve seen lots of interesting discussion on Mathstodon about <a href="https://mathstodon.xyz/tags/FormalMathematics" class="mention hashtag" rel="tag">#<span>FormalMathematics</span></a>, <a href="https://mathstodon.xyz/tags/TheoremProving" class="mention hashtag" rel="tag">#<span>TheoremProving</span></a>, and <a href="https://mathstodon.xyz/tags/ProofAssistants" class="mention hashtag" rel="tag">#<span>ProofAssistants</span></a> such as <a href="https://mathstodon.xyz/tags/Lean4" class="mention hashtag" rel="tag">#<span>Lean4</span></a>, <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="tag">#<span>Coq</span></a>, <a href="https://mathstodon.xyz/tags/agda" class="mention hashtag" rel="tag">#<span>agda</span></a>, <a href="https://mathstodon.xyz/tags/isabelle" class="mention hashtag" rel="tag">#<span>isabelle</span></a>, and others. In addition to the fascinating discussion here on Mathstodon, I would love to see an active home on Lemmy for aggregating resources on formal methods and formal mathematics!</p><p><a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="tag">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="tag">#<span>TypeTheory</span></a> <a href="https://mathstodon.xyz/tags/ComputerScience" class="mention hashtag" rel="tag">#<span>ComputerScience</span></a></p>
Jesper Agdakx ♾️<p>Listening to the Type Theory Forall podcast with Kevin Buzzard (<span class="h-card"><a href="https://mathstodon.xyz/@xenaproject" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>xenaproject</span></a></span>). Really interesting view on how theorem provers are viewed in mathematics and where formal mathematics is heading. It's making me think about what the Agda community could learn from this. Strongly recommended you give it a listen!</p><p><a href="https://www.typetheoryforall.com/2023/01/16/26-Kevin-Buzzard.html#07a08a85" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">typetheoryforall.com/2023/01/1</span><span class="invisible">6/26-Kevin-Buzzard.html#07a08a85</span></a></p><p><a href="https://types.pl/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://types.pl/tags/TheoremProving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TheoremProving</span></a> <a href="https://types.pl/tags/Lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lean</span></a> <a href="https://types.pl/tags/Agda" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Agda</span></a></p>
popitter_net ☃️<p>Weekend project: replacing ⇀ with ⇒.<br><a href="https://mastodon.social/tags/theoremproving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theoremproving</span></a> in <a href="https://mastodon.social/tags/isabelle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>isabelle</span></a> can be tedious. But it's worth it.<br>>totally< 🥁</p><p>(joke explainer: ⇀ basically denotes a partial function, while ⇒ denotes a total function)</p>
SearchLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload