Many-Valued logics and translations - D'Ottaviano, Ítala M. Loffredo [UNESP] (1999)