Finite-valued reductions of infinite-valued logics