1-minimal resolution principle based on lattice-valued propositional logic LP(X) | IEEE Conference Publication | IEEE Xplore