#turingautomata — Public Fediverse posts on home.social

Survey of Animated Logical Graphs • 7
• https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs-7/

This is a Survey 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.

Please follow the above link for the full set of resources.
Articles and blog series on the core ideas are linked below.

Beginnings —

Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2023/08/24/logical-graphs-first-impressions/

Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2023/09/01/logical-graphs-formal-development-a/

Elements —

Logic Syllabus
• https://oeis.org/wiki/Logic_Syllabus

Logical Graphs
• https://oeis.org/wiki/Logical_Graphs

Minimal Negation Operators
• https://oeis.org/wiki/Minimal_negation_operator

Propositional Equation Reasoning Systems
• https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems

Examples —

Peirce's Law
• https://inquiryintoinquiry.com/2023/10/18/peirces-law-a/
• https://oeis.org/wiki/Peirce%27s_law

Praeclarum Theorema
• https://inquiryintoinquiry.com/2023/10/05/praeclarum-theorema-a/
• https://oeis.org/wiki/Logical_Graphs#Praeclarum_theorema