Pātuhitia tēnei: Many-valued logics