Algebraic foundations of many-valued reasoning - Cignoli, Roberto L.O. (Trends in logic, 2000)