Lattice-valued logic, intelligent mathematics and their applications | IEEE Conference Publication | IEEE Xplore