many-valued_logic