[CG] Re: Logical Graphs • Formal Development

Logical Graphs • Formal Development 2 • https://inquiryintoinquiry.com/2024/09/13/logical-graphs-formal-development… Axioms — The formal system of logical graphs is defined by a foursome of formal equations, called “initials” when regarded purely formally, in abstraction from potential interpretations, and called “axioms” when interpreted as logical equivalences. There are two “arithmetic initials” and two “algebraic initials”, as shown below. Arithmetic Initials — Axiom I₁ • https://inquiryintoinquiry.files.wordpress.com/2023/09/logical-graph-axiom-… Axiom I₂ • https://inquiryintoinquiry.files.wordpress.com/2023/09/logical-graph-axiom-… Algebraic Initials — Axiom J₁ • https://inquiryintoinquiry.files.wordpress.com/2023/09/logical-graph-axiom-… Axiom J₂ • https://inquiryintoinquiry.files.wordpress.com/2023/09/logical-graph-axiom-… 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/LbXK4D cc: https://mathstodon.xyz/@Inquiry/113129787112676868