A proof of an omitting types theorem in lattice valued model theory | IEEE Conference Publication | IEEE Xplore