Non-Clausal multi-ary α-generalized resolution principle for a lattice-valued propositional logic