Stav dette: Many-valued logics