Approximations and refinements of certain answers via many-valued logics