Many-valued Logics door