Cf: Survey of Animated Logical Graphs • 4 http://inquiryintoinquiry.com/2021/05/01/survey-of-animated-logical-graphs-4/
All, I've updated my Survey of resources related to Logical Graphs. Please see the blog post linked above for the complete list — I'll give just the headings and a selection of links below. Beginnings ========== Logical Graphs • Introduction https://inquiryintoinquiry.com/2008/07/29/logical-graphs-1/ Logical Graphs • Formal Development https://inquiryintoinquiry.com/2008/09/19/logical-graphs-2/ Elements ======== • Logic Syllabus • Logical Graphs • Minimal Negation Operators • Propositional Equation Reasoning Systems Examples ========= • Peirce’s Law https://inquiryintoinquiry.com/2008/10/06/peirces-law/ • Praeclarum Theorema https://inquiryintoinquiry.com/2008/10/05/praeclarum-theorema/ • Proof Animations https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations Excursions ========== • Cactus Language • 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/2020/08/28/survey-of-theme-one-program-3/ Blog Dialogs ============ • Animated Logical Graphs (1) ••• (74) Anamnesis ========= • CSP, GSB, & Me (1) ••• (15) Regards, Jon
_ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected] with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
