In this paper, we give an axiom system of implicative BCI-algebras, investigate some properties of the branches of an implicative BCI-algebra, which are similar to those of implicative BCK-algebras, and show that for every initial section of an implicative BCI-algebra, it with respect to the BCI-ordering forms a Boolean algebra.