Survey of Animated Logical Graphs

[Jon Awbrey]

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

All,

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

Proof Animations
• https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations

Excursions —

Cactus Language
• https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Overview

Futures Of Logical Graphs
• https://oeis.org/wiki/Futures_Of_Logical_Graphs

Applications —

Applications of a Propositional Calculator • Constraint Satisfaction Problems
• https://www.academia.edu/4727842/Applications_of_a_Propositional_Calculator_Constraint_Satisfaction_Problems

Exploratory Qualitative Analysis of Sequential Observation Data
• https://oeis.org/wiki/User:Jon_Awbrey/Exploratory_Qualitative_Analysis_of_Sequential_Observation_Data

Differential Analytic Turing Automata
• https://oeis.org/wiki/Differential_Analytic_Turing_Automata_%E2%80%A2_Overview

Survey of Theme One Program
• https://inquiryintoinquiry.com/2024/02/26/survey-of-theme-one-program-6/

Regards,

Jon

cc: https://www.academia.edu/community/5M7EPn
cc: https://mathstodon.xyz/@Inquiry/112219679796101870