In this paper the concepts of ∗-ideals, strong ideals, ∗- congruences and kernel ideals are introduced in a pseudo-complemented semigroup and discussed certain properties of these. Some equivalent conditions for an ideal of a pseudo-complemented semigroup to become a kernel ideal are obtained. The lattice structure of strong ideals is discussed.