[CG] Re: Logical Graphs • Formal Development

Logical Graphs • Formal Development 7 • https://inquiryintoinquiry.com/2023/09/29/logical-graphs-formal-development… Frequently Used Theorems (concl.) — C₃. Dominant Form Theorem — The third of the frequently used theorems of service to this survey is one Spencer Brown annotates as Consequence 3 (C₃) or Integration. A better mnemonic might be “dominance and recession theorem” (DART), but perhaps the brevity of “dominant form theorem” (DFT) is sufficient reminder of its double‑edged role in proofs. Dominant Form Theorem • https://inquiryintoinquiry.files.wordpress.com/2010/04/logicalgraphfigure29… Here is a proof of the Dominant Form Theorem. Dominant Form Theorem • Proof • https://inquiryintoinquiry.files.wordpress.com/2010/04/logicalgraphfigure30… Regards, Jon cc: https://www.academia.edu/community/VXaQzL cc: https://mathstodon.xyz/@Inquiry/111070230310739613