Advances in Fuzzy Implication Functions