α-generalized resolution principle based on the lattice-valued first-order logic system