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