Cf: Animated Logical Graphs • 33 At: http://inquiryintoinquiry.com/2020/06/18/animated-logical-graphs-%e2%80%a2-33/
A reader's request for more examples of animated logical graphs prompted me to look again at the User Guide for my Theme One Program, whose exposition develops a series of logical graphs increasing in complexity from extremely simple to more complex and interesting than any I've posted online so far. • Theme One Program • User Guide https://www.academia.edu/5211369/Theme_One_Program_User_Guide I'm thinking now it may be worthwhile to look at those examples again and see if they're suitable for recycling as a series of blog posts. Resources ========= • Logical Graphs https://oeis.org/wiki/Logical_Graphs • Proof Animations https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations • Survey of Theme One Program https://inquiryintoinquiry.com/2018/02/25/survey-of-theme-one-program-%e2%80%a2-2/ • Survey of Animated Logical Graphs https://inquiryintoinquiry.com/2019/05/22/survey-of-animated-logical-graphs-%e2%80%a2-2/ • Propositional Equation Reasoning Systems https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems 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 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.
