I just wrote the following in a footnote about how to argue that ternary logic is more fundamental than binary: The "Law of Excluded Middle" is equal in strength to the assertion that there is "true" and "false." This means there are three elements required for binary […]