Implicative ideals of BCK-algebras based on MBJ-neutrosophic sets

The MBJ-neutrosophic set is applied to the implicative ideal of BCK-algebra to introduce the concept of implicative MBJ-neutrosophic ideal. Several properties are investigated. The relationship between implicative MBJ-neutrosophic ideal and each MBJ-neutrosophic subalgebra, (positive implicative, commutative) MBJ-neutrosophic ideal is established. Conditions for MBJ-neutrosophic subalgebra (resp., MBJ-neutrosophic ideal, positive implicative MBJ-neutrosophic ideal and commutative MBJ-neutrosophic ideal) to be implicative MBJ-neutrosophic ideal are provided. Characterizations of implicative MBJ-neutrosophic ideal are discussed.