Deakstadieđáhus: Many-valued logics