[CG] Re: Logical Graphs • Formal Development

Logical Graphs • Formal Development 8 • https://inquiryintoinquiry.com/2024/09/16/logical-graphs-formal-development… Exemplary Proofs — Using no more than the axioms and theorems recorded so far, it is possible to prove a multitude of much more complex theorems. A number of all‑time favorites are linked below. Peirce's Law • https://inquiryintoinquiry.com/2023/10/18/peirces-law-a/ Blog Series 1. https://inquiryintoinquiry.com/2023/10/19/peirces-law-1/ 2. https://inquiryintoinquiry.com/2023/10/20/peirces-law-2/ 3. https://inquiryintoinquiry.com/2023/10/21/peirces-law-3/ 4. https://inquiryintoinquiry.com/2023/10/22/peirces-law-4/ 5. https://inquiryintoinquiry.com/2023/10/23/peirces-law-5/ 6. https://inquiryintoinquiry.com/2023/10/24/peirces-law-6/ 7. https://inquiryintoinquiry.com/2023/10/25/peirces-law-7/ Praeclarum Theorema • https://inquiryintoinquiry.com/2023/10/05/praeclarum-theorema-a/ Blog Series 1. https://inquiryintoinquiry.com/2023/10/13/praeclarum-theorema-1/ 2. https://inquiryintoinquiry.com/2023/10/14/praeclarum-theorema-2/ 3. https://inquiryintoinquiry.com/2023/10/15/praeclarum-theorema-3/ Proof Animations • https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations Resources — Survey of Animated Logical Graphs • https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs… Regards, Jon cc: https://www.academia.edu/community/543dbD cc: https://mathstodon.xyz/@Inquiry/113129787112676868