Abstract
The notion of bipolar fuzzy implicative ideals of a BCK-algebra is introduced, and several properties are investigated. The relation between a bipolar fuzzy ideal and a bipolar fuzzy implicative ideal is studied. Characterizations of a bipolar fuzzy implicative ideal are given. Conditions for a bipolar fuzzy set to be a bipolar fuzzy implicative ideal are provided. Extension property for a bipolar fuzzy implicative ideal is stated.