Implicative 풩-ideals of BCK-algebras based on neutrosophic 풩-structures

In the present paper, we introduce the concept of neutrosophic implicative [Formula: see text]-ideal in [Formula: see text]-algebras, and investigate several properties. Also, we provide characterizations of the neutrosophic implicative [Formula: see text]-ideal. Furthermore, we discuss relations between neutrosophic positive implicative [Formula: see text]-ideal, neutrosophic commutative [Formula: see text]-ideal and neutrosophic implicative [Formula: see text]-ideal. Finally, we characterize implicative [Formula: see text]-algebra by using neutrosophic implicative [Formula: see text]-ideal.