Intuitionistic Fuzzy Sets (IFS) are defined as pairs of mutually orthogonal fuzzy sets. We discuss this approach from an algebraic point of view. As a result we characterize two implication operators on the collection of IFS, which on a particular subset of IFS behave as a Lukasiewicz and a G¨odel implication.