The consistency of rule-bases in lattice-valued first-order logic LF(X) | IEEE Conference Publication | IEEE Xplore