Title: Many-Valued Logics 1