Models for Lattice-Valued First-Order Logic LF(X) | IEEE Conference Publication | IEEE Xplore