Multi-valued_logic