Algebraic Foundations of Many-Valued Reasoning | AMiner