Algebraic foundations of many-valued reasoning - Cignoli, Roberto; D'Ottaviano, Itala M. L.; Mundici, Daniele (Trends in logic : studia logica library, 2000)