1-minimal resolution principle based on lattice-valued propositional logic LP(X).

Hairui Jia, Yang Xu, Yi Liu, Huicong He

Browse the full ICMLC paper archive.