Lattice valued model theory and its forcing | IEEE Conference Publication | IEEE Xplore