Neutrosophic Quadruple BCI-Positive Implicative Ideals

By considering an entry (i.e., a number, an idea, an object, etc.) which is represented by a known part (a) and an unknown part (bT,cI,dF) where T, I, F have their usual neutrosophic logic meanings and a,b,c,d are real or complex numbers, Smarandache introduced the concept of neutrosophic quadruple numbers. Using the concept of neutrosophic quadruple numbers based on a set, Jun et al. constructed neutrosophic quadruple BCK/BCI-algebras and implicative neutrosophic quadruple BCK-algebras. The notion of a neutrosophic quadruple BCI-positive implicative ideal is introduced, and several properties are dealt with in this article. We establish the relationship between neutrosophic quadruple ideal and neutrosophic quadruple BCI-positive implicative ideal. Given nonempty subsets I and J of a BCI-algebra, conditions for the neutrosophic quadruple (I,J)-set to be a neutrosophic quadruple BCI-positive implicative ideal are provided.