α-Satisfiability and α-Lock Resolution for a Lattice-Valued Logic LP(X) | Publicación