Algebraic Foundations of Many-Valued Reasoning