In this work, using the identification between implication operators and aggregation functions, we study the implication operators that are recovered from overlap functions. In particular, we focus in which properties of implication operators are preserved. We also study how negations can be defined in terms of overlap functions.