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 pseudocomplemented semigroup to become a kernel ideal are obtained. The lattice structure of strong ideals is discussed.