Algebraic foundations of many-valued reasoning - Cignoli, Roberto (Kluwer Academic Publishers, 2000)