Roberto L. O. Cignoli

Algebraic Foundations of Many-Valued Reasoning