[AstralStorm]

None of the logics mentions even touch the idea of quantifiers. Which is the way most math proofs are written nowadays. It is strictly more powerful than any multivalued logic.