Reasoning with the finitely many-valued إ