Title: Many-valued logics