Title: Many-valued Logics for Computer Science Applications - Final Report