Fuzzifying topological groups based on completely distributive residuated lattice-valued logic. I | IEEE Conference Publication | IEEE Xplore