Model theory and closure operators of lattice-valued propositional logic LP(X) | IEEE Conference Publication | IEEE Xplore