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 ( b T , c I , d F ) 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.