α-Paramodulation method for a lattice-valued logic LnF(X) with equality