The notion of tip-extended pair of intuitionistic fuzzy filters is introduced by which it is proved that the set of all intuitionistic fuzzy filters in a residuated lattice forms a bounded distributive lattice.
"The Lattice of Intuitionistic Fuzzy Filters in Residuated Lattices." J. Appl. Math. 2014 1 - 6, 2014. https://doi.org/10.1155/2014/798670