On -satisfiability and its -lock resolution in a finite lattice-valued propositional logic | Publicación