Complete many-valued lattices | IEEE Conference Publication | IEEE Xplore