1-minimal resolution principle based on lattice-valued propositional logic LP(X). - Hairui Jia; Yang Xu 001; Yi Liu 005; Huicong He (ICMLC, 2013)