Cf: Survey of Animated Logical Graphs • 3 http://inquiryintoinquiry.com/2020/08/23/survey-of-animated-logical-graphs-3/
All, I just updated my Survey of blog and wiki posts relating to Animated Logical Graphs. A great many links went missing when my old worksite, the InterSciWiki, went offline so I've been repairing those as I run across them. 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 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 * This Blog https://inquiryintoinquiry.com/2008/10/06/peirce-s-law/ * OEIS Wiki https://oeis.org/wiki/Peirce%27s_law Praeclarum Theorema * This Blog https://inquiryintoinquiry.com/2008/10/05/praeclarum-theorema/ * OEIS Wiki 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 Datahttp://web.archive.org/web/20180828161616/http://intersci.ss.uci.edu/wiki/index.php/Exploratory_Qualitative_Analysis_of_Sequential_Observation_Data
Differential Analytic Turing Automata https://oeis.org/wiki/Differential_Analytic_Turing_Automata Survey of Theme One Program https://inquiryintoinquiry.com/2018/02/25/survey-of-theme-one-program-2/ Blog Dialogs ============ Animated Logical Graphs https://inquiryintoinquiry.com/2015/01/08/animated-logical-graphs-1/ https://inquiryintoinquiry.com/2015/01/14/animated-logical-graphs-2/ https://inquiryintoinquiry.com/2015/01/26/animated-logical-graphs-3/ ... https://inquiryintoinquiry.com/2020/08/11/animated-logical-graphs-34/ https://inquiryintoinquiry.com/2020/08/19/animated-logical-graphs-35/ https://inquiryintoinquiry.com/2020/08/21/animated-logical-graphs-36/ https://inquiryintoinquiry.com/2020/08/22/animated-logical-graphs-37/ 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 peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with no subject, and with the sole line "UNSubscribe PEIRCE-L" in the BODY of the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.