Multiple-valued logic