Neutrosophic Vague Binary BCK/BCI-algebra.

1. Introduction

Dice and Jaccard similarity measures in bipolar neutrosophic set with examples. They provided a cosine similarity measure and weighted cosine similarity measure methods for 'bipolar and interval-valued bipolar'- neutrosophic set. They used the above method for diagnosing bipolar disorder diseases. A computational algorithm for MADM (Multi Attribute Decision Making) has also given in the paper. In 2019, using 'neutrosophic sets', Mohamed Abdel-Basset, Mumtaz Ali, Asma Atef [30] framed a resource levelling problem to construction projects. To improve work efficiency and to minimize cost were underlying principle. For calculating activity durations, trapezoidal neutrosophic numbers were used in this model. In 2019, Mohamed Abdel-Basset, Mumtaz Ali, Asma Atef [29] designed uncertainty assessments of linear Time-Cost Tradeoffs using neutrosophic sets. In 2020, Florentin Smarandache [14] introduced neutro - algebra as a generalization of partial algebra with examples and showed their differences. Points of odds between universal algebra, neutro - algebra and anti-algebra are well explained in the paper. Neutro - functions are more useful when range or domain is not clear. Several applications to neutro functions are given with a well explanation. In 2020, Bordbar. H, Mohseni Takallo. M, Borzooei. R. A, Young Bae Jun [9], defined BMBJ - neutrosophic subalgebra in BCI/BCK - algebras. Authors introduced BMBJ neutrosophic set as a generalization of neutrosophic set. Its subalgebra, images, translations, S - extension and its application to BCI/BCK - algebra are defined and explained. Neutrosophic vague binary sets are developed by Francina Shalini. A and Remya. P. B [15] in 2019. Authors developed a neutrosophic vague set with 2 universes and discussed its properties.

In this paper, BCK/BCI-algebraic structure is introduced to neutrosophic vague binary sets and it is simply called as neutrosophic vague binary BCK/BCI - algebra. It's ideal, neutrosophic vague binary BCK/BCI - ideal is also developed. Moreover, different neutrosophic vague binary BCK/BCI-ideals like neutrosophic vague binary BCK/BCI p-ideal, neutrosophic vague binary BCK/BCI q-ideal, neutrosophic vague binary BCK/BCI a-ideal and neutrosophic vague binary BCK/BCI H-ideal are also developed and compared. Neutrosophic vague binary BCK/BCI - subalgebra, neutrosophic vague binary BCK/BCI-cut and their relationships, properties and several theorems are also investigated and illustrated with examples.

Without algebra we can't even imagine mathematics. In one sense, geometry and algebra are equally important in mathematics. Even a layman can understand geometry because it deals with lines and shapes. It's applicational use in day to day life can't neglect. But algebra is like a silent player. In geometry, for finding out the solutions to lot of situations like, to get co-ordinates of centroid or to find out solution space to equations which represents lines, ellipse, hyperbolas, etc. - common way is to adopt the method of algebra. Study of surfaces is the main concept behind topology. Topological objects can bend, twist or stretch but are not allowed to tear, since there it loses its continuity. As a result, topological objects will become non - topological! Automatically they admit lack of homeomorphism in these situations. Geometrical nature of topology needs the assistance of algebra in several circumstances. This inevitable need of a mixed strategy, produced a new branch of mathematics called 'algebraic topology'. So developmental moments in any branch connected to topology from basic sets to neutrosophic sets via "fuzzy, rough, intuitionistic fuzzy, vague, interval mathematics, soft"- will equally demand the developments of it's counterpart-algebra. Thus both of them developed equally and produced vivid outputs like fuzzy BCK/BCI algebra, intuitionistic fuzzy BCK/BCI-algebra, rough BCK/BCI-algebra, vague BCK/BCI- algebra, soft BCK/BCI algebra and so on. So to stabilize neutrosophic branch, developments in various algebraic structures like BCK/BCI, BCH, BH etc are very critical and essential. This work will be important to neutrosophic due to its 'easy way approach' than [1] to reach to the same destination.

Method given in [1] is equally good but the concept of generating element is a little bit perplexing. Since [1] is closely connected to [47], it will be helpful, to verify lot of deep ideas given in [47]. Neutrosophic 'group and loop' concepts are well defined with examples and explanations in

[47]. It is to be noted that, as per [47], neutrosophic group does not possess a direct group structure, but it always contains one! Neutrosophic vague is a mixed form of neutrosophic and vague. It draws every positives and negatives of both the aforementioned sets. Numerical calculations for 'neutrosophic' are more than 'vague' due to its additional component - uncertainty. In real life problems, complex situations demand a more clear and easily accessible method to use with - 'neutrosophic, neutrosophic vague or neutrosophic vague binary'- set values. In group theory or ring theory algebraic structure is formed in such a manner that it includes set itself as a first member of the structure, then provide various algebraic operations as example shows : (Z,+4), (mZ,+), (R, +, .) etc. Vague BCK/BCI algebraic-structure is defined as (U,*, 0) by enclosing only universal set and by omitting the corresponding vague set A. But in this context, universal set and vague set are simultaneously essential and available: since problem is being to be checked for a 'vague BCK/BCI - algebra and not for mere BCK/BCI-algebra' ! Our conclusion is that, being a core object in taking a decision to the question 'vague BCK/BCI-algebra or not? ' : inclusion of vague set, 'inside the structure' is important. It will avoid more confusions while doing theoretical work! Same thing is referable to fuzzy BCK/BCI-algebra, intuitionistic BCK/BCI-algebra, neutrosophic BCK/BCI-algebra and so on. This will be useful and applicable to all other existing structures like BCH, BH, B etc., with uncertain sets.

It is hoped that, when comparing to [1], concept developed in this paper, will be more useful to common people, since it uses values directly and hence easily accessible. This method depends on vague BCK/BCI paper [6]. In this paper our primary interest is to develop BCK/BCI-algebraic concept to neutrosophic vague binary sets. For this neutrosophic BCK/BCI algebraic concept and neutrosophic vague BCK/BCI-algebraic concept are needed as a base. Since it is not developed yet, in this paper, those are also developed with neutrosophic vague binary! An alternative structure approach, to vague BCK/BCI-algebra mentioned in [6] can be given as follows: A vague BCK/BCI-algebra is a structure [B.sub.A] = (A,[U.sup.B]A = (u,*, 0),*, 0)=(A, [U.sup.B]A,*, 0), where A is the vague set under consideration and [U.sup.B]A = (U,*, 0) is the underlying BCK/BCI-algebraic structure for A with universal set U, binary operation "*" and with constant "0". Similarly, when A becomes fuzzy set, the structure got is fuzzy BCK/BCI-algebraic. For theoretical applications, new approach is found to be more helpful and clear. Throughout this paper, new structure is used for neutrosophic/neutrosophic vague/ neutrosophic vague binary BCK/BCI-algebra.

Primary objective of this work is to develop a BCK/BCI-algebraic structure to neutrosophic vague binary set. Along with, care is taken, to use this novel concept, in 'theoretical applications'. Secondary objective is kept as the formation of various ideals to this new concept and their verification in theory part.

Paper consists of 8 sections. 1 (st) section, provides an introduction, in which literature review has given. 2 (nd) paragraph gives a general format of the work. 3 (rd) paragraph explains why this work is essential to neutrosophic branch. 4 (th) paragraph, points out 2 limitations of existing approaches. 5 (th) paragraph mentions the alternative approaches to the limitations. 6 (th) paragraph gives 2 objectives for the work. 7 (th) paragraph, clearly explains how the paper is organized. 8 (th) paragraph, summarizes all contributions of this paper in bullets. 2 (nd) section of the paper describes materials for the work. In 3 (rd), neutrosophic vague binary/ neutrosophic vague/ neutrosophic BCK/BCI -algebras are developed. In 4 (th), neutrosophic vague binary BCK/BCI-subalgebra and neutrosophic vague binary BCK/BCI-ideal are developed. In 5 (th) section, various neutrosophic vague binary BCK/BCI-ideals are formed and compared using a table. In 6 (th) section, neutrosophic vague binary/ neutrosophic vague/neutrosophic BCK/BCI - cuts are defined. In 7 (th) section, propositions and lemmas related to this novel concept are discussed as a theoretical application. In 8th section, a conclusion to the paper is given.

Contributions in this paper are given in bullets below:

* Vague H-ideal

* Neutrosophic Vague Binary BCK/BCI-algebra

* Neutrosophic Vague Binary BCK/BCI-subalgebra

* Neutrosophic Vague Binary BCK/BCI-ideal

* Neutrosophic Vague Binary BCK/BCI- p ideal Neutrosophic Vague Binary BCK/BCI- q ideal Neutrosophic Vague Binary BCK/BCI- a ideal Neutrosophic Vague Binary BCK/BCI- H ideal

* Neutrosophic vague binary BCK/BCI- cut

2. Preliminaries

Some preliminaries are given in this section

Definition 2.1 [45] (Neutrosophic Vague Set)

A neutrosophic vague set [A.sub.NV] (NVS in short) on the universe of discourse X can be written as [mathematical expression not reproducible] whose truth-membership, indeterminacy-membership and falsity-membership functions are defined as

[mathematical expression not reproducible]

[mathematical expression not reproducible]

Definition 2.2 [15] (Neutrosophic Vague Binary Set)

A neutrosophic vague binary set (NVBS in short) [M.sub.NVB] over a common universe [mathematical expression not reproducible]

is defined as, [mathematical expression not reproducible]

[mathematical expression not reproducible]

Here V([U.sub.1]), V([U.sub.2]) denotes power set of vague sets on [U.sub.1] [U.sub.2] respectively

Definition 2.3 [48] (BCI-algebra)

Let X be a non-empty set with a binary operation * and a constant 0. Then (X, *, 0) is called a BCI-algebra if it satisfies the following conditions:

(i) ((x*y) *(x*z)) *(z*y) = 0

(ii) ((x * (x * y)) * y = 0

(iii) (x * x) = 0

(iv) (x * y) = 0 and (y * x) = 0 imply x = y, for all x, y, z [member of] X

Remark 2.4 [48]

We can define a partial ordering << by x << y if and only if (x * y) = 0

Remark 2.5 [48] (BCK - algebra)

If a BCI-algebra X satisfies (0 * x) = 0 for all x [member of] X, then we say that X is a BCK- algebra

Remark 2.6 [48]

A BCI-algebra X has the following properties:

(i) (x * 0) = x; [for all] x [member of] X

(ii) (x * y) * z = (x * z) * y; [for all] x, y, z [member of] X

(iii) 0 * (x * y) = (0 * x) * (0 * y); [for all] x, y [member of] X

(iv) x * (x * (x * y)) = (x * y) ; [for all] x, y [member of] X

(v) x << y [??] (x * z) < (y * z) ; (z * y) < (z * x) ; [for all] x, y, z [member of] X

(vi) (x * z) * (y * z) < (x * y) ; [for all] x, y, z [member of] X

(vii) 0 * (0 * ((x * z) * (y * z))) = ((0 * y) * (0 * x)) ; [for all] x, y, z [member of] X

(viii) 0 * (0 * (x * y)) = ((0 * y) * (0 * x)) ; [for all] x, y [member of] X

Definition 2.7 [2,4, 6, 25, 52] (Sub-algebra, Ideal, p-ideal, q-ideal, a-ideal, H-ideal)

Any non-empty subset I of a BCK/BCI- algebra X is called, - subalgebra /ideal /p-ideal /q-ideal /a-ideal /H-ideal - of X, if it satisfies the axioms given table:
```                                         Condition 1

Subalgebra of X                          Nil
BCK/BCI-subalgebra of X                  Nil
[micro] be a fuzzy BCK/BCI-algebra of X  Nil

A be a vague BCK/BCI-algebra of X        Nil
Ideal of X                               0 6 I
[micro] be a fuzzy BCI- ideal of X       [micro](0) >> [micro](X)
BCK/BCI - Ideal of X                     0 e I
p - ideal of X                           0 6 I
q - ideal of X                           0 6 I
a - ideal of X                           0 6 I
H - ideal of X                           0 e I
[micro] be a fuzzy BCK/BCI-ideal of X    [micro] (0) >> [micro] (X)
vague BCI-ideal of X                     [V.sub.A] (0) >> [V.sub.A] (x)

Condition 2

Subalgebra of X                     (x* y) [member of] I; [for all] x,
y [member of] I
BCK/BCI-subalgebra of X             (x* y) [member of] I; [for all] x,
y [member of] I
[micro] be a fuzzy
BCK/BCI-algebra of X                [micro] (x * y) > min{[micro](x) *
[micro](y)}; [for all] x,y
[member of] X; [micro] be a fuzzy
set in a BCK/BCI- algebra X
A be a vague BCK/BCI-algebra of X   [mathematical expression not
reproducible]
Ideal of X                          (x*y) [member of] I & y [member of]
I [??] x [member of] I ;[for all] x
[member of] I, [for all] y
[member of] X
[micro] be a fuzzy BCI- ideal of X  [micro](x) >min{[micro](x * y),
[micro](y)}; [for all] x, y e X;
[micro] be a fuzzy set in a
BCI-algebraX
BCK/BCI - Ideal of X                (x*y) [member of] I & y [member of]
I [??] x [member of] I ;V x
[member of] I, [for all] y
[member of] X
p - ideal of X                      [(x * z) * (y * z)] [member of] I &
y [member of] I [??] x [member of]
I ; [for all] x, y, z [member of] X
q - ideal of X                      [x * (y * z)] [member of] I & y
[member of] I [??] (x * z)
[member of] I ; [for all] x, y, z
[member of] X
a - ideal of X                      [(x * z) * (0 * y)] [member of] I &
z [member of] I [??] (y * x)
[member of] I ; [for all] x, y, z
[member of] X
H - ideal of X                      [x * (y * z)] [member of] I & y
[member of] I [??] (x * z)
[member of] I ; [for all] x, y, z
[member of] X
[micro] be a fuzzy
BCK/BCI-ideal of X                  [micro] (x) >> min {[micro] (x * y)
, [micro](y)}; [for all] x, y e X;
[micro] be a fuzzy set in a BCK/BCI
- algebra X
vague BCI-ideal of X                [V.sub.A] (x)>> r min {[V.sub.A](x
* y), [V.sub.A] (y)} ; [for all] x,
y [member of] X; A- vague set in X
```

Remark 2.8 [6] (r min & r max)

Let D[0,1] denote the family of all closed sub-intervals of [0,1]. Now we define the refined minimum (briefly, r min) and an order "<<" on elements [D.sub.1] = [[a.sub.1],[b.sub.1]] and [D.sub.2] = [[a.sub.2],[b.sub.2]] of D[0,1] as : r min ([D.sub.1], [D.sub.2]) = [min {[a.sub.1], [a.sub.2]}, min{[b.sub.1], [b.sub.2]}]. Similarly, we can define >, = and r max. Then the concept of r min and r max could be extended to define r inf and r sup of infinite number of elements of D [0, 1]. It is a known fact that L = {D [0,1], r inf, r sup, <<} is a lattice with universal bounds [0, 0] and [1,1].

Definition 2.9 [6] (Vague-cuts)

Let A be a vague set of a universe X with the true-membership function [t.sub.A] and false-membership function [f.sub.A]. The ([alpha], [beta])-cut of the vague set A is a crisp subset A ([alpha], [beta]) of the set X given by

A([alpha], [beta]) = {x [member of] X / VA(X) >> [[alpha], [beta]]} where [alpha] << [beta]. Clearly, [A.sub.(0, 0) = X. The ([alpha], [beta])-cuts are also called vague-cuts of the vague set A.

The [alpha]-cut of the vague set A is a crisp subset [A.sub.[alpha]] of the set X given by [A.sub.[alpha]] = [A.sub.([alpha], [alpha])].

Note that [A.sub.0] = X and if [alpha] >> [beta] then [A.sub.[beta]] [member of] [A.sub.[alpha]] and [A.sub.([beta], [alpha])] = [A.sub.[alpha]].

Equivalently, we can define the a-cut as [A.sub.[alpha]] = {x [member of] X / [t.sub.A](x) >> [alpha]}

Definition 2.10 [50]

Given a non-empty set X, let BK(X) and [B.sub.k](X) denote the collection of all BCK-algebras and all BCI-algebras, respectively. Also, B(X): = BK(X) U BI(X).

For any (X, *, 0) [member of] B(X), a fuzzy structure (X, [micro]) over (X, *, 0) is called a

* Fuzzy subalgebra of (X, *, 0) with type 1 (briefly, 1-fuzzy subalgebra of (X, *, 0) if [micro] (x * y) >> min {[micro](x), [micro](y)}; [for all] x, y [member of] X

* Fuzzy subalgebra of (X, *, 0) with type 2 (briefly, 2 - fuzzy subalgebra of (X, *, 0) if [micro] (x * y) << min [micro](x), [micro](y)}; [for all] x, y [member of] X

* Fuzzy subalgebra of (X, *, 0) with type 3 (briefly, 3-fuzzy subalgebra of (X, *, 0) if [micro] (x * y) > max {[micro](x), [micro](y)}; [for all] x, y [member of] X

* Fuzzy subalgebra of (X, *, 0) with type 4 (briefly, 4-fuzzy subalgebra of (X, *, 0) [micro] (x * y) < max {[micro](x), [micro](y)}; [for all] x, y [member of] X

3. Neutrosophic vague binary BCK/BCI-algebra

In this section neutrosophic BCK/BCI-algebra is developed first, based on paper [6]. Neutrosophic BCK/BCI-algebraic structure developed in this paper is a little bit different from the definition given in paper [1]. Concept is extended to neutrosophic vague sets and to neutrosophic vague binary sets.

Definition 3.1 (Neutrosophic BCK/BCI-algebra)

A neutrosophic BCK/BCI-algebra is a structure [mathematical expression not reproducible] where, (1) [M.sub.N] is a non-empty neutrosophic set

(2) [mathematical expression not reproducible] = (u, *, 0) is the underlying BCK/BCI-algebraic structure, to the neutrosophic set [M.sub.N] with a universal set U, a binary operation "*" & a constant "0" . It satisfies the following axioms :

(i) (([u.sub.x] * [u.sub.y]) *([u.sub.x] * [u.sub.z])) *([u.sub.z] * [u.sub.y]) = 0 (ii) (([u.sub.x] * ([u.sub.x] * [u.sub.y])) * [u.sub.y] = 0 (iii) ([u.sub.x] * [u.sub.x]) = 0

(iv) ([u.sub.x] * [u.sub.y]) = 0 and ([u.sub.y] * [u.sub.x]) = 0 imply [u.sub.x] = [u.sub.y], [for all] [u.sub.x], [u.sub.y], [u.sub.z] [member of] U (v) (0 * [u.sub.x]) = 0 [for all] [u.sub.x] [member of] U

(3) "*" and "0" are taken as defined in (2)

which satisfies the following condition, [mathematical expression not reproducible] ; [for all] [u.sub.x], [u.sub.y] [member of] U. That is, [mathematical expression not reproducible]

Definition 3.2. (Neutrosophic vague BCK/BCI-algebra)

A neutrosophic vague BCK/BCI - algebra is a structure, [mathematical expression not reproducible]

(1) [M.sub.NV] is a non-empty neutrosophic vague set

(2) [mathematical expression not reproducible] = (U, *, 0) is the underlying BCK/BCI-algebraic structure to the neutrosophic vague set [M.sub.NV] with a universal set U, a binary operation "*" & a constant "0" satisfies the following axioms:

(i) (([u.sub.x] * [u.sub.y]) *([u.sub.x] * [u.sub.z])) *([u.sub.z] * [u.sub.y]) = 0 (ii) (([u.sub.x] * ([u.sub.x] * [u.sub.y])) * [u.sub.y] = 0 (iii) ([u.sub.x] * [u.sub.x]) = 0 (iv) ([u.sub.x] * [u.sub.y]) = 0 and ([u.sub.y] * [u.sub.x]) = 0 imply [u.sub.x] = [u.sub.y], [for all] [u.sub.x], [u.sub.y], [u.sub.z] [member of] U (v) (0 * [u.sub.x]) = 0 [for all] [u.sub.x] [member of] U

(3) "*" and "0" are taken as defined in [mathematical expression not reproducible]

which satisfies the following condition, [mathematical expression not reproducible]; [for all] [u.sub.x], [u.sub.y] [member of] U . That is, [mathematical expression not reproducible]

General Outline

Let [mathematical expression not reproducible] be a universal set with algebraic structure [mathematical expression not reproducible] = (U, *, 0) where * is the given binary operation and 0 is the constant. Let [mathematical expression not reproducible] forms a BCK/BCI-algebra. Corresponding Cayley table is given below:
```*                                           0
0                                           0
[mathematical expression not reproducible]  [mathematical expression
not reproducible]
[mathematical expression not reproducible]  [mathematical expression
not reproducible]
--                                          --
--                                          --
[mathematical expression not reproducible]  [mathematical expression
not reproducible]
---
--                                          ---
[mathematical expression not reproducible]  [mathematical expression
not reproducible]

*                                           [mathematical expression
not reproducible]
0                                           0
[mathematical expression not reproducible]  0
[mathematical expression not reproducible]  --
--                                          --
--                                          --
[mathematical expression not reproducible]  --
--
--                                          --
[mathematical expression not reproducible]  --

*                                           [mathematical expression
not reproducible]
0                                           0
[mathematical expression not reproducible]  --
[mathematical expression not reproducible]  0
--                                          --
--                                          --
[mathematical expression not reproducible]  --
--
--                                          --
[mathematical expression not reproducible]  --

*                                           --  --  [mathematical
expression not
reproducible]
0                                           0   0   0
[mathematical expression not reproducible]  --  --  --
[mathematical expression not reproducible]  --  --  --
--                                          0   --  --
--                                          --  0   --
[mathematical expression not reproducible]  --  --  0
--  --  --
--                                          --  --  --
[mathematical expression not reproducible]  --  --  --

*                                           --  --  [mathematical
expression not
reproducible]
0                                           --  0   0
[mathematical expression not reproducible]  --  --  --
[mathematical expression not reproducible]  --  --  --
--                                          --  --  --
--                                          --  --  --
[mathematical expression not reproducible]  --  --  --
0   --  --
--                                          --  --  --
[mathematical expression not reproducible]  --  --  0
```

By taking U as underlying set, form a neutrosophic vague set [M.sub.NV] with neutrosophic vague membership grades, for any [mathematical expression not reproducible] [member of] U, [mathematical expression not reproducible]

*** Corresponding neutrosophic vague set is, [mathematical expression not reproducible]

Algebraic structure [mathematical expression not reproducible] is called a neutrosophic vague BCK/BCI-algebra if it satisfies, [mathematical expression not reproducible]

Remark 3.3

Different neutrosophic vague membership grades are also applicable. It is explained in the general outline of definition 3.4

Definition 3.4 (Neutrosophic vague binary BCK/BCI- algebra)

A neutrosophic vague binary BCK/BCI- algebra is a structure, [mathematical expression not reproducible] where

(1) [M.sub.NVB] is a non-empty neutrosophic vague binary set

(2) U (SM) NVB = (U = {Ux U [U.sub.2]}, *, 0) is the underlying BCK/BCI - algebraic structure to the neutrosophic vague binary set [M.sub.NVB] with a universal set U = [[U.sub.1] U [U.sub.2]} [where [U.sub.1] and [U.sub.2] are universes of MNVB & " U" is the usual set-theoretic union], a binary operation " *" & a constant "0" satisfies the following axioms:

(i) (([u.sub.x] * [u.sub.y]) *([u.sub.x] * [u.sub.z])) *([u.sub.z] * [u.sub.y]) = 0 (ii) (([u.sub.x] * ([u.sub.x] * [u.sub.y])) * [u.sub.y] = 0 (iii) ([u.sub.x] * [u.sub.x]) = 0

(iv) ([u.sub.x] * [u.sub.y]) = 0 and ([u.sub.y] * [u.sub.x]) = 0 imply [u.sub.x] = [u.sub.y] [for all] [u.sub.x], [u.sub.y], [u.sub.z] [member of] U (v) (0 * [u.sub.x]) = 0 [for all] [u.sub.x] [member of] U

(3) "*" and "0" are same as defined in [mathematical expression not reproducible]

which satisfies the following condition, [mathematical expression not reproducible]

Remark 3.5

(i) Every NVB BCK-algebra is NVB BCI-algebra too. Generally, converse not true! (proved: Theorem 7.3). So distinguishing between structures of these two are important! To denote NVB BCK-algebra, following structures can be used: [mathematical expression not reproducible] or simply as [mathematical expression not reproducible] Similarly, to denote NVB BCI - algebra, following structures can be used : [mathematical expression not reproducible] or simply as [mathematical expression not reproducible]

(ii) For NVB BCK algebra, notation for NVB BCK/BCI - algebra, i.e., [mathematical expression not reproducible] is used in this paper instead of using, those given in remark 3.5 (i)

(iii) Similarly structures for:

Neutrosophic :

N BCK - algebra: [mathematical expression not reproducible]

N BCI - algebra : [mathematical expression not reproducible]

Neutrosophic vague:

NV BCK-algebra: [mathematical expression not reproducible]

NV BCI - algebra : [mathematical expression not reproducible]

General Outline

Let [mathematical expression not reproducible] and [mathematical expression not reproducible] be two universes under consideration. Let the combined universe [mathematical expression not reproducible] [mathematical expression not reproducible] (obtained by recording once, the common elements) be a set with a binary operation * and constant 0 . Let [mathematical expression not reproducible] forms a BCK/BCI-algebra. By taking U = {[U.sub.1] [union] [U.sub.2]} as underlying set, form a neutrosophic vague binary set [M.sub.NVB] . Let neutrosophic vague binary membership grades are as follows:

[mathematical expression not reproducible]

From this neutrosophic vague binary set [M.sub.NVB], form neutrosophic vague binary membership grade for [mathematical expression not reproducible] as :

[mathematical expression not reproducible]

Corresponding Cayley table is given by:

[mathematical expression not reproducible]

Algebraic structure [mathematical expression not reproducible] is called a NVB BCK/BCI-algebra, if it satisfies:

[mathematical expression not reproducible]

[mathematical expression not reproducible]

Remark 3.6

(i) Neutrosophic vague binary membership grade of common elements of [U.sub.1] and [U.sub.2] is got by taking their neutrosophic vague binary union.

For eg., let [U.sub.1]= {0,1} and [U.sub.2] = {0,1,2} be two universes; *** {[U.sub.1] [union] [U.sub.2]} = {0,1,2}; [U.sub.1] [intersection] [U.sub.2] = {0,1}

[mathematical expression not reproducible] is the neutrosophic vague binary

membership grade of 0 in universe 1. Similarly, to other common elements.

(ii) It is to be noted that, neutrosophic vague binary membership grade of 0 is not same in [U.sub.1] [U.sub.2] generally. Similarly, to other common elements!

Example 3.7

Let [U.sub.1] = {0, a} and let [U.sub.2] = {0,1,2} be the universes under consideration. Combined universe

U = {[U.sub.1] [union] [U.sub.2]} = {0, a, 1,2} with ([U.sub.1] n [U.sub.2]) = {0}. Cayley table to the binary operation * for U is given as:
```*  0  a  1  2
0  0  0  0  0
a  a  0  0  1
1  1  a  0  1
2  2  2  2  0
```

Clearly, [mathematical expression not reproducible] = (U = {[U.sub.1] [union] [U.sub.2]}, *, 0) is a BCK/BCI-algebra. Let a non-empty neutrosophic vague binary set [M.sub.NVB] with underlying set U, is given as:

[mathematical expression not reproducible]

[mathematical expression not reproducible]

[mathematical expression not reproducible]

*** [mathematical expression not reproducible](0) = ([0.3,0.8], [0.1,0.3], [0.2,0.7]) U ([0.1,0.7], [0.7,0.8], [0.3,0.9]) = ([0.3,0.8], [0.1,0.3], [0.2,0.7])

[mathematical expression not reproducible] (a) = ([0.2,0.3], [0.2,0.5], [0.7,0.8]) [since a is not a common element]

[mathematical expression not reproducible] (1) = [mathematical expression not reproducible] (2) = ([0.2,0.6], [0.5,0.7], [0.4,0.8]); [since 1 and 2 are not a common element]

[mathematical expression not reproducible]

It is clear after verification that, [mathematical expression not reproducible] is a NVB BCK/BCI-algebra. Remark. 3.8

(1) If [U.sub.1] [??] [U.sub.2] then U = [U.sub.2] (2) If [U.sub.2] [??] [u.sub.x] then U = [U.sub.1]

(2) The symbols > and [member of] does not imply our usual > or [member of]

(3) In a Cayley table, (i) principal diagonal elements of a BCK/BCI-algebra U is always zero, since (x * x) = 0, [for all] x [member of] U

(ii) Using the property (x * 0) = x ; [for all] x [member of] U of BCI- algebra, it is clear that (0 * 0) = 0 Every BCK-algebra is a BCI-algebra. Hence the above is true for BCK-algebra also

(iii) Body of first column of Cayley table for a BCI- algebra will be an exact copy of column of operands, by using the property (x * 0) = x [for all] x [member of] U. But 1 (st) row need not be!

(iv) Above is true for a BCK- algebra also, since every BCK- algebra is a BCI-algebra. In addition, for a BCK- algebra, body of first row takes only 0, using the property (0*x) = 0;[for all] x [member of] U
```Binary Operation *                  Row of operands (Elements of U)
Column of operands (Elements of U)  Body of Cayley table (occupy with
elements got after binary operation
taken via column vise row
operations)
```

4. Neutrosophic vague binary BCK/BCI-subalgebra & Neutrosophic vague binary BCK/BCI-ideal

In this section N/NV/NVB BCK/BCI- subalgebra (neutrosophic/neutrosophic vague/neutrosophic vague binary BCK/BCI - subalgebra) & N/NV/NVB BCK/BCI- ideal (neutrosophic/neutrosophic vague/neutrosophic vague binary BCK/BCI - ideal) are developed. Priority is given for developing sub-algebraic and ideal concepts to neutrosophic vague binary BCK/BCI- algebra [NVB BCK/BCI-algebra]. For neutrosophic and neutrosophic vague, things are similar.

Definition 4.1 (Neutrosophic vague binary BCK/BCI-subalgebra)

A NVBSS [P.sub.NVB] of a NVB BCK/BCI-algebra [mathematical expression not reproducible] = (u, *, 0), *, 0) is called NVB- BCK/BCI - subalgebra of [mathematical expression not reproducible] if, [mathematical expression not reproducible]

Definition 4.2 (Neutrosophic vague binary BCK/BCI- Ideal)

A non-empty NVBSS [P.sub.NVB] of a NVB BCK/BCI-algebra, [mathematical expression not reproducible] is called a NVB BCK/BCI- ideal of [mathematical expression not reproducible] if

(i) [mathematical expression not reproducible]

(ii) [mathematical expression not reproducible]

Remark 4.3

For NVB BCK - ideal underlying structure will confine to BCK -algebra and for NVB BCI - ideal it will confine to BCK -algebra. For different ideals mentioned in definition 5.2, the same principle follows.

Remark 4.4

Similarly, for neutrosophic and neutrosophic vague. Only difference is with sets [P.sub.N], [P.sub.NV] instead of

[P.sub.NVB] in above definitions taken in order. It is trivial. Moreover, instead of U = {[U.sub.1] [union] [U.sub.2]}, for both of them U is applied.

5. Various neutrosophic vague binary BCK/BCI-ideals

In this section vague H-ideal is developed first. Then p-ideal, q-ideal, a-ideal and H-ideal are developed for NVB BCK/BCI-algebra [mathematical expression not reproducible] = (u = [[U.sub.1] [union] [U.sub.2]}, *, 0), *, 0) Definition 5.1 (Vague H-ideal)

A vague set A of X is called a vague H - ideal of a BCI - algebra X if it satisfies

(i) [V.sub.A](0) [??] [V.sub.A}(x) ([for all] X [member of] X) ;

[mathematical expression not reproducible]

Definition 5.2 (Comparison of different NVB BCK/BCI- ideals)

Let [mathematical expression not reproducible] be a NVB BCK/BCI-algebra. Conditions for a non-empty NVBSS [P.sub.NVB] of [mathematical expression not reproducible] to become a neutrosophic vague binary BCK/BCI - p ideal, neutrosophic vague binary BCK/BCI - q ideal, neutrosophic vague binary BCK/BCI - a ideal and neutrosophic vague binary BCK/BCI - H ideal are given in the table below:
```                     Condition (1); ([for all] [U.sub.k] [member of] U)

NVB BCK/BCI p-ideal  [mathematical expression not reproducible]
NVB BCK/BCI q-ideal  [mathematical expression not reproducible]
NVB BCK/BCI a-ideal  [mathematical expression not reproducible]
NVB BCK/BCI H-ideal  [mathematical expression not reproducible]

Condition (2); (for any [U.sub.a], [U.sub.b],
[U.sub.c] [member of] U)

NVB BCK/BCI p-ideal  [mathematical expression not reproducible]
NVB BCK/BCI q-ideal  [mathematical expression not reproducible]
NVB BCK/BCI a-ideal  [mathematical expression not reproducible]
NVB BCK/BCI H-ideal  [mathematical expression not reproducible]
```

6. Neutrosophic vague binary BCK/BCI - cuts

In this section N BCK/BCI-cut, NV BCK/BCI-cut and NVB BCK/BCI-cut are developed

Definition 6.1 (Neutrosophic BCK/BCI-([alpha], [beta], [gamma]) - cut or Neutrosophic BCK/BCI-cut)

Let the neutrosophic set [M.sub.N] is a N BCK/BCI-algebra with algebraic structure [mathematical expression not reproducible] Truth membership function, indeterminacy membership function and false membership function of [M.sub.N] are [mathematical expression not reproducible] respectively. A neutrosophic BCK/BCI ([alpha], [beta], [gamma]) -cut of [mathematical expression not reproducible] is a crisp subset [mathematical expression not reproducible] of the neutrosophic set [M.sub.N] given by:

[mathematical expression not reproducible]

Definition 6.2 (Neutrosophic Vague BCK/BCI ([[[alpha].sub.1], [[alpha].sub.2]], [[beta].sub.1], [beta].sub.2]], [[gamma].sub.1], [gamma].sub.2]]) - cut or Neutrosophic Vague BCK/BCI- cut)

Let the neutrosophic vague set [M.sub.NV] is a NV BCK/BCI-algebra with algebraic structure [mathematical expression not reproducible] = (U,*, 0), *, 0). Truth membership function, indeterminacy membership function and false membership function of [M.sub.NV] are [mathematical expression not reproducible] respectively. A neutrosophic vague BCK/BCI ([[alpha].sub.1], [[alpha].sub.2]], [[beta].sub.1], [beta].sub.2]], [[gamma].sub.1], [gamma].sub.2]]) - cut of [mathematical expression not reproducible] is a crisp subset [mathematical expression not reproducible] of the neutrosophic vague set [M.sub.NV] given by :

[mathematical expression not reproducible]

Definition 6.3 (Neutrosophic Vague Binary BCK/BCI <([[alpha].sub.1], [[alpha].sub.2]], [[beta].sub.1], [beta].sub.2]], [[gamma].sub.1], [gamma].sub.2]]), ([[delta].sub.1], [delta].sub.2]], [[rho].sub.1], [rho].sub.2]], [[upsilon].sub.1], [upsilon].sub.2]])> - cut or Neutrosophic Vague Binary BCK/BCI- cut)

Let the NVBS [M.sub.NVB] is a NVB BCK/BCI-algebra with algebraic structure, [mathematical expression not reproducible] = (U = {[U.sub.1] U [U.sub.2]},*, 0), *, 0). Truth membership function, indeterminacy membership function and false membership function of [mathematical expression not reproducible] respecuvely. A neutrosophic vague binary BCK/BCI <([[alpha].sub.1], [[alpha].sub.2]], [[beta].sub.1], [beta].sub.2]], [[gamma].sub.1], [gamma].sub.2]])> ([[delta].sub.1], [delta].sub.2]], [[rho].sub.1], [rho].sub.2]], [[upsilon].sub.1], [upsilon].sub.2]])> - cut of [mathematical expression not reproducible] is a crisp subset [mathematical expression not reproducible] of the NVBS [M.sub.NVB] given by:

[mathematical expression not reproducible]

with [[alpha].sub.1], [[alpha].sub.2]], [[beta].sub.1], [beta].sub.2]], [[gamma].sub.1], [gamma].sub.2]], [[delta].sub.1], [delta].sub.2]], [[rho].sub.1], [rho].sub.2]], [[upsilon].sub.1], [upsilon].sub.2]] [phi].sub.1], [phi].sub.2], [pi].sub.1], [pi].sub.2] [member of] [0, 1] and [alpha].sub.1] << [a.sub.2], [beta].sub.1] << [beta].sub.2], [gamma].sub.1] << [gamma].sub.2]; [delta].sub.1] << [delta].sub.2] << [rho].sub.1] << [rho].sub.2], [upsilon].sub.1] << [upsilon].sub.2], [x.sub.1] << [x.sub.2], [phi].sub.1] << [phi].sub.2], [pi].sub.1] << [pi].sub.2]

[mathematical expression not reproducible]

i.e., [T.sup.-]([u.sub.k]) >> [[alpha].sub.1] and [T.sup.+]([u.sub.k]) >> [[alpha].sub.2] ; [I.sup.-]([u.sub.k]) << [[beta].sub.1] and [I.sup.+]([u.sub.k]) << [beta].sub.2] ; [F.sup.-]([u.sub.k]) << [gamma].sub.1] and [F.sup.+]([u.sub.k]) << [gamma].sub.2] [T.sup.-]([u.sub.k]) >> [[delta].sub.1] and [T.sup.+]([u.sub.k]) >> [delta].sub.2]; [I.sup.-]([u.sub.k]) << [rho].sub.1] and [I.sup.+]([u.sub.k]) << [rho].sub.2] ; [F.sup.-]([u.sub.k]) << [upsilon].sub.1] and [F.sup.+]([u.sub.k]) << [upsilon].sub.2] [T.sup.-]([u.sub.k]) >> [x.sub.1] and [T.sup.+]([u.sub.k]) >> [x.sub.2] ; [I.sup.-]([u.sub.k]) << [phi].sub.1] and [I.sup.+]([u.sub.k]) << [phi].sub.1] ; [F.sup.-]([u.sub.k]) << [pi].sub.1] and [F.sup.+]([u.sub.k]) << [pi].sub.2] Remark 6.4

(i) (a) [M.sub.NVB]([0,0],[1,1],[1,1]) = U

(b) [M.sub.NVB]<([0,0],[1,1],[1,1]),([0,0],[1,1],[1,1])> = U = {[U.sub.1] [union] [U.sub.2]}

(ii) If [[alpha].sub.1], [[alpha].sub.2]] and [[[delta].sub.1], [delta].sub.2]]] coinddes; [[[beta].sub.1], [beta].sub.2]]] and [[rho].sub.1], [rho].sub.2]]coinddes; [[gamma].sub.1], [gamma].sub.2]] and [[upsilon].sub.1], [upsilon].sub.2]]

coinddes, then ([alpha].sub.1], [[alpha].sub.2]], [[beta].sub.1], [beta].sub.2]], [[gamma].sub.1], [gamma].sub.2]), ([delta].sub.1], [delta].sub.2]], [[rho].sub.1], [rho].sub.2]], [[upsilon].sub.1], [upsilon].sub.2]) - cuts are called ([alpha].sub.1], [[alpha].sub.2]], [[beta].sub.1], [beta].sub.2]], [[gamma].sub.1], [gamma].sub.2]), ([delta].sub.1], [delta].sub.2]], [[rho].sub.1], [rho].sub.2]], [[upsilon].sub.1], [upsilon].sub.2]) - cuts and is denoted by

[mathematical expression not reproducible] instead of [mathematical expression not reproducible]

(iii) If [mathematical expression not reproducible]

then [mathematical expression not reproducible]

7. Application

In this section theoretical application of NVB BCK/BCI algebra is developed. Various theorems and propositions are found good to this concept.

Lemma 7.1

[mathematical expression not reproducible]

Proof

For a [mathematical expression not reproducible] underlying BCI - algebraic strudure satisfies, ([u.sub.k] * [u.sub.k]) = 0, [for all] [u.sub.k] [member of] U

[By property (iii) of definition 2.3]

[mathematical expression not reproducible]

[By definition 3.4]

Lemma 7.2

[mathematical expression not reproducible]

Proof

[mathematical expression not reproducible]

Remark 7.3

[mathematical expression not reproducible]

Theorem 7.4

Every [mathematical expression not reproducible]But converse not true, generally, i.e., every [mathematical expression not reproducible] is not a [mathematical expression not reproducible]generally.

Proof

For a fixed universal set U, underlying BCK - algebraic structure of [mathematical expression not reproducible] consists the underlying BCI - structure of [mathematical expression not reproducible] But converse does not hold. It is illustrated with

the case (i) of remark 7.5.

Remark 7.5

Following example illustrates both the cases:

Let [U.sub.1] = {0} and let [U.sub.2] = {0,1} be the universes under consideration. Combined universe

U = {[U.sub.1] [union] [U.sub.2]} = {0,1} with ([U.sub.1] [intersection] [U.sub.2]) = {0}.

*** Cayley table to the binary operation * for U is given as:

[mathematical expression not reproducible]

Clearly, [mathematical expression not reproducible] = (U = {[U.sub.1] [union] [U.sub.2]}, *,0) is a BCI-algebra [fig (i)].

[mathematical expression not reproducible] = (U = {[U.sub.1] [union] [U.sub.2]}, *,0) is a BCI-algebra [fig (ii)]. Case (i): Example for a [mathematical expression not reproducible] which is a [mathematical expression not reproducible]

Let [M.sub.NVB] be a non-empty NVBS with U [mathematical expression not reproducible] as underlying algebraic structure:

[mathematical expression not reproducible]

[mathematical expression not reproducible] (0) = ([0.1,0.8], [0.1,0.5], [0.2,0.9]) U ([0.3,0.7], [0.2,0.4], [0.3,0.7]) = [0.3,0.8], [0.1,0.4], [0.2,0.7]

After verification, clearly [M.sub.NVB] is a [mathematical expression not reproducible]. Next question is that, - "whether [mathematical expression not reproducible] not " ? - Additional condition to be satisfied is that, for a BCK-algebra is, (0 * 1) = 0 from Cayley table fig (ii). Correspondingly, [mathematical expression not reproducible]

[??] [0.3,0.8], [0.1,0.4], [0.2,0.7] [??] r min {[0.3, 0.8], [0.1,0.4], [0.2, 0.7], [0.1,0.4], [0.3,0.5], [0.6,0.9]}

[??] [0.3,0.8], [0.1,0.4], [0.2,0.7] [??] [0.1,0.4], [0.3, 0.5], [0.6, 0.9]

Since additional condition got satisfied, [mathematical expression not reproducible] is clearly a [mathematical expression not reproducible]

Case (ii) : Example for a [mathematical expression not reproducible] which is not a [mathematical expression not reproducible]

Take binary operation and Cayley table as taken in Case (i).

Consider another NVBS [P.sub.NVB] with same conditions as in case (i)

[mathematical expression not reproducible]

[mathematical expression not reproducible] (0) = ([0.1,0.5], [0.2,0.5], [0.5,0.9]) U ([0.1,0.6], [0.3,0.3], [0.4,0.9]) = [0.1,0.6], [0.2,0.3], [0.4,0.9]

By verification [P.sub.NVB] is a [mathematical expression not reproducible] But in this case, additional condition not got satisfied:

[mathematical expression not reproducible] (0*l) [mathematical expression not reproducible]

Since, [0.1, 0.6], [0.2,0.3], [0.4,0.9] [member of] r min {[0.1, 0.8], [0.2,0.3], [0.2,0.9], [0.1,0.7], [0.3,0.4], [0.3,0.9]}

Since, [0.1, 0.6], [0.2,0.3], [0.4,0.9] [member of] [0.1,0.7], [0.3,0.4], [0.3,0.9]]

In this case, clearly, [mathematical expression not reproducible] is not a [mathematical expression not reproducible]

Theorem 7.6

Intersection of two NVB BCK/BCI -algebra remains as a NVB BCK/BCI-algebra itself.

Proof

Let [M.sub.NVB] and [P.sub.NVB] be two NVB BCK/BCI -algebras with structures [mathematical expression not reproducible] and [mathematical expression not reproducible] respectively, with same universal sets [U.sub.1] and [U.sub.2].

So, [for all] [u.sub.1], [u.sub.2] [member of] U, [mathematical expression not reproducible] ([u.sub.1], * [u.sub.2]) = [mathematical expression not reproducible]

[mathematical expression not reproducible]

Therefore, [mathematical expression not reproducible] [mathematical expression not reproducible] is also a NVB BCK/BCI - algebra

Proposition 7.7

Every NVB BCI - ideal [P.sub.NVB] of a [mathematical expression not reproducible] satisfies:

(i) [mathematical expression not reproducible]

(ii) [mathematical expression not reproducible]

Proof

(i) Let [u.sub.a], [u.sub.b] [member of] U be such that [u.sub.a] << [u.sub.b].

Since [P.sub.NVB] is a NVB BCI - ideal of [mathematical expression not reproducible]

[mathematical expression not reproducible] [By lemma 7.1]

[mathematical expression not reproducible]

(ii) Let [P.sub.NVB] be a NVB BCI - ideal of [mathematical expression not reproducible]

[mathematical expression not reproducible]

[mathematical expression not reproducible];[By property (ii)of remark 2.6]

Lemma 7.8

Let [P.sub.NVB] be a NVB BCI-ideal of [mathematical expression not reproducible] Then, [mathematical expression not reproducible]

Proof

[mathematical expression not reproducible]; for any [u.sub.a], [u.sub.b] [member of] U [ By definition 4.2]

Let [u.sub.a] = (0 * (0 * [u.sub.k])) and [u.sub.b] = [u.sub.k].

*** For any [u.sub.k] [member of] U, [mathematical expression not reproducible] (0 * (0 * [u.sub.k])) > r min [mathematical expression not reproducible] ((0 * (0 * [u.sub.k])) * [u.sub.k]), [mathematical expression not reproducible] ([u.sub.k])} [mathematical expression not reproducible] [By property (ii)of remark 2.6]

[mathematical expression not reproducible] [By property (iii)of remark 2.6]

[mathematical expression not reproducible] [By condition (iii)of definition 2.3]

[mathematical expression not reproducible] [By property (i)of remark 2.6]

[mathematical expression not reproducible] [By lemma 7.1]

*** It is concluded that, [mathematical expression not reproducible]([u.sub.k]) ; [for all] [u.sub.k] [member of] U

Proposition 7.9

If the NVBS [R.sub.NVB] of [mathematical expression not reproducible] is a NVB BCI - ideal of [mathematical expression not reproducible] then it satisfies: for any [u.sub.a], [u.sub.b], [u.sub.c] [member of] U ;

([u.sub.a] * [u.sub.b]) < [u.sub.c] [??] [mathematical expression not reproducible]

Proof

Let [R.sub.NVB] be a NVB BCI - ideal of [mathematical expression not reproducible] where [u.sub.a], [u.sub.b], [u.sub.c] [member of] U

[??] [mathematical expression not reproducible] [By proposition 7.7]

Since [R.sub.NVB] be a NVB BCI - ideal of [mathematical expression not reproducible]

[mathematical expression not reproducible]

Proposition 7.10

If the NVBS [R.sub.NVB] of [mathematical expression not reproducible] is a NVB BCI - algebra [mathematical expression not reproducible] of then it satisfies for any [u.sub.x], [u.sub.y], [u.sub.z] [member of] U

[mathematical expression not reproducible]

Proof

Let [R.sub.NVB] be a NVBS of [mathematical expression not reproducible] with[mathematical expression not reproducible]

[mathematical expression not reproducible]

Theorem 7.11

Let [S.sub.NVB] be both a NVB BCI-algebra [mathematical expression not reproducible] and a NVB BCI-ideal of a NVB BCI - algebra [mathematical expression not reproducible] Then [mathematical expression not reproducible]([u.sub.k]) for all [u.sub.k] [member of] U

Proof

Let [S.sub.NVB] be a NVB BCI- algebra [mathematical expression not reproducible]

[mathematical expression not reproducible]

Proposition 7.12

Let [T.sub.NVB] be a NVB BCI - ideal of a NVB BCI -algebra [mathematical expression not reproducible].

If [T.sub.NVB] satisfies [mathematical expression not reproducible] for all [u.sub.a], [u.sub.b], [u.sub.c] [member of] U, then [T.sub.NVB] is a NVB BCI p - ideal of [mathematical expression not reproducible]

Proof

[T.sub.NVB] be a NVB BCI - ideal of a NVB BCI - algebra [mathematical expression not reproducible]

[mathematical expression not reproducible] for all [u.sub.a], [u.sub.b], [u.sub.c] [member of] U

[mathematical expression not reproducible] for all [u.sub.a], [u.sub.b], [u.sub.c] [member of] U

[From given condition]

[mathematical expression not reproducible] [By definition 5.2]

Proposition 7.13

Any NVB BCI - ideal [D.sub.NVB] of a NVB BCI -algebra [mathematical expression not reproducible] is a NVB BCI -p ideal [mathematical expression not reproducible]; for all [u.sub.a] [member of] U

Proof

Let [D.sub.NVB] be a NVB BCI - ideal of a NVB BCI -algebra [mathematical expression not reproducible]. Also let [D.sub.NVB] is a NVB BCI -p ideal.

* [mathematical expression not reproducible] for all [u.sub.a], [u.sub.b], [u.sub.c] [member of] U

[By definition 5.2 of NVB BCI - p ideal]

Put [u.sub.c] = [u.sub.a] and [u.sub.b] = 0 in the above, * [mathematical expression not reproducible] for all [u.sub.a], [u.sub.b], [u.sub.c] [member of] U [mathematical expression not reproducible] for all [u.sub.a], [u.sub.b] [member of] U

[By condition (iii)of definition 2.3]

[mathematical expression not reproducible] for all [u.sub.a] [member of] U [By lemma 7.1]

[mathematical expression not reproducible]; for all [u.sub.a] [member of] U

Conversely, let a NVB BCI - ideal [D.sub.NVB] of a NVB BCI - algebra [mathematical expression not reproducible] satisfies the given condition, [mathematical expression not reproducible]; for all [u.sub.a] [member of] U. By lemma 7.8, "Let [P.sub.NVB] be a NVB BCI-ideal of [mathematical expression not reproducible]. Then, [mathematical expression not reproducible]([u.sub.k]); [for all] [u.sub.k] [member of] U"

[mathematical expression not reproducible]

[By putting [u.sub.k] = ([u.sub.a] * [u.sub.c]) * ([u.sub.b] * [u.sub.c]) in lemma 7.8]

= [mathematical expression not reproducible] ((0 * [u.sub.b]) * (0 * [u.sub.a])) [By property (vii)of remark 2.6]

= [mathematical expression not reproducible] (0 * (0 * ([u.sub.a] * [u.sub.b]))) ; [By property (viii) of remark 2.6]

= [mathematical expression not reproducible] (0 * ([u.sub.a] * [u.sub.b])) ; [By property (i) of remark 2.6]

= [mathematical expression not reproducible] ([u.sub.a] * [u.sub.b]) ; [By property (i) of remark 2.6]

[mathematical expression not reproducible] ([u.sub.a] * [u.sub.b]) [mathematical expression not reproducible] (([u.sub.a] * [u.sub.c]) * ([u.sub.b] * [u.sub.c]))

[??] [mathematical expression not reproducible] is a NVB BCI - p ideal [ By proposition 7.12] Theorem 7.14

Every NVB BCI - p ideal of a NVB BCI - algebra [mathematical expression not reproducible] is a NVB BCI - ideal of [mathematical expression not reproducible] Proof

Let [M.sub.NVB] be a NVB BCI - p ideal of a NVB BCI - algebra [mathematical expression not reproducible]. By definition, [mathematical expression not reproducible] for all [u.sub.x], [u.sub.y], [u.sub.z] [member of] U Put [u.sub.z] = 0 then the above becomes, [mathematical expression not reproducible] for all [u.sub.x], [u.sub.y] [member of] U [mathematical expression not reproducible] for all [u.sub.x], [u.sub.y] [member of] U

[By property (iii)of 2.3 &By property (i) of remark 2.6]

[mathematical expression not reproducible]

Obviously, [M.sub.NVB] is a NVB BCI - ideal

Converse of this statement need not be true and it can be verified with an example and is trivial.

Theorem 7.15

Every NVB BCK/BCI H - ideal of a NVB BCK/BCI - algebra [mathematical expression not reproducible] acts both as

(i) NVB BCK/BCI - ideal of [mathematical expression not reproducible] (ii) NVB BCK/BCI - subalgebra [mathematical expression not reproducible]

Proof

Let [I.sub.NVB] be a NVB BCK/BCI- H ideal of a NVB BCK/BCI - algebra [mathematical expression not reproducible]

(i) From definition of NVB BCK/BCI- H ideal, [mathematical expression not reproducible] for all [u.sub.a], [u.sub.b], [u.sub.c] [member of] U

Put [u.sub.c] = 0

[mathematical expression not reproducible] ([u.sub.b])} for all [u.sub.a], [u.sub.b], [u.sub.c] [member of] U

[mathematical expression not reproducible] ([u.sub.b])} for all [u.sub.a], [u.sub.b], [u.sub.c] [member of] U

[Using property (i)of remark 2.6]

Since [I.sub.NVB] is a NVB BCK/BCI-H ideal [mathematical expression not reproducible] ([u.sub.k]) ; for any [u.sub.k] [member of] U

*** [I.sub.NVB] is a NVB BCK/BCI-ideal of [mathematical expression not reproducible] [By definition 4.2]

(ii) Let [I.sub.NVB] be a NVB BCK/BCI- H ideal of [mathematical expression not reproducible]

[mathematical expression not reproducible]

[mathematical expression not reproducible] [By condition (iii) of definition 2.3]

[mathematical expression not reproducible] [By condition (i)of remark 2.6]

[mathematical expression not reproducible]

Theorem 7.16

[P.sub.NVB] be a NVBS of a NVB BCK/BCI - algebra [mathematical expression not reproducible]. Then [P.sub.NVB] is a NVB BCK/BCI -ideal of [mathematical expression not reproducible] [??] it satisfies the following conditions:

(i) [mathematical expression not reproducible]

(ii) [mathematical expression not reproducible]

Proof

Let [P.sub.NVB] be NVB BCK/BCI - ideal of [mathematical expression not reproducible] By definition, [mathematical expression not reproducible]

(i) Put [u.sub.a] = ([u.sub.a] * [u.sub.b]) and [u.sub.b] = [u.sub.a] in the above, [mathematical expression not reproducible] ([u.sub.a] * [u.sub.b]) > min{[mathematical expression not reproducible](([u.sub.a] * [u.sub.b]) * [u.sub.a]), [mathematical expression not reproducible]([u.sub.a])}

[??] [mathematical expression not reproducible] ([u.sub.a] * [u.sub.b]) > r min{[mathematical expression not reproducible] (([u.sub.a] * [u.sub.a]) * [u.sub.b]), [mathematical expression not reproducible] ([u.sub.a]) }; [By property (ii) of remark 2.6]

[??] [mathematical expression not reproducible]([u.sub.a] * [u.sub.b]) > r min{[mathematical expression not reproducible](0 * [u.sub.b]), [mathematical expression not reproducible]([u.sub.a]) }; [By condition (iii) of definition 2.3]

[??] ([) [mathematical expression not reproducible] [By assumption [u.sub.a] = [u.sub.b]

[??] [mathematical expression not reproducible] ([u.sub.a] * [u.sub.b]) > r min{[mathematical expression not reproducible] (0), [mathematical expression not reproducible] ([u.sub.b]) } ; [By remark 2.5]

[??] [mathematical expression not reproducible] ([u.sub.a] * [u.sub.b]) > [mathematical expression not reproducible] ([u.sub.b]) [Using lemma 7.1]

(ii) Consider, ([u.sub.a] * (([u.sub.a] * [u.sub.m]) * [u.sub.n])) * [u.sub.m]

= ([u.sub.a] * [u.sub.m]) * (([u.sub.a] * [u.sub.m]) * [u.sub.n]) << [u.sub.n]

[mathematical expression not reproducible]

Above can be written as, ([u.sub.a] * (([u.sub.a] * [u.sub.m]) * [u.sub.n]) J * [u.sub.m] < [u.sub.n]

[??] [mathematical expression not reproducible] (([u.sub.a] * (([u.sub.a] * [u.sub.m]) * [u.sub.n])) * [u.sub.m] ) > [mathematical expression not reproducible] ([u.sub.n]) [By proposition 7.7]

[P.sub.NVB] is a NVB BCK/BCI -ideal of [mathematical expression not reproducible] [??] [mathematical expression not reproducible] ([u.sub.a]) > r min{[mathematical expression not reproducible] ([u.sub.a] * [u.sub.b]), [mathematical expression not reproducible] ([u.sub.b])} Put [u.sub.a] = ([u.sub.a] * (([u.sub.a] * [u.sub.m]) * [u.sub.n])) & [u.sub.b] = [u.sub.m] in above, [mathematical expression not reproducible]

Conversely, Let [P.sub.NVB] be a NVBS of a NVB BCK/BCI - algebra [mathematical expression not reproducible] satisfying, the given conditions, (i) [mathematical expression not reproducible] ([u.sub.a] * [u.sub.b]) > [mathematical expression not reproducible] ([u.sub.a]) ; [V ua, ub [member of] U ]

(ii) [mathematical expression not reproducible] ([u.sub.a] * (([u.sub.a] * [u.sub.m]) * [u.sub.n])) > r min {[mathematical expression not reproducible] ([u.sub.m]), [mathematical expression not reproducible] ([u.sub.n])} [mathematical expression not reproducible];

To prove condition (1) of a NVB BCK/BCI - ideal, take ub = [u.sub.a] in (i) and (ii) respectively, (i) [mathematical expression not reproducible]

[By property (iii)of definition 2.3]

To prove condition (2) of a NVB BCK/BCI - ideal, take, NVB[P.sub.NVB]([u.sub.a]) = [mathematical expression not reproducible]([u.sub.a] * 0) [By property(i)of remark 2.6]

[mathematical expression not reproducible]

Theorem 7.17

Let [M.sub.NVB] be a NVB BCK/BCI - algebra [mathematical expression not reproducible]. Then any NVB BCK/BCI - cut of [M.sub.NVB] is a crisp NVB BCK/BCI - subalgebra of [mathematical expression not reproducible]

Proof

Let for any [alpha].sub.1], [[alpha].sub.2]], [[beta].sub.1], [beta].sub.2]], [[gamma].sub.1], [gamma].sub.2], [delta].sub.1], [delta].sub.2]], [[rho].sub.1], [rho].sub.2]], [[upsilon].sub.1], [upsilon].sub.2] [member of] [0,1], [mathematical expression not reproducible] be a NVB BCK/BCI -cut of [M.sub.NVB]. Assume [u.sub.x], [u.sub.y] [member of] [mathematical expression not reproducible]

[mathematical expression not reproducible]

subalgebra of [mathematical expression not reproducible]

8. Conclusions

In this paper, two logical algebras viz., BCK and BCI are developed for neutrosophic vague binary sets. It's subalgebra, ideal and cuts are also got discussed. Different kinds of ideals like p ideal, q ideal, a ideal, H ideal for neutrosophic vague binary BCK/BCI -algebra have been investigated. Theorems and propositions related to this concept are verified. In this paper BCK/BCI-algebra for neutrosophic sets are firstly developed. Then it is extended to neutrosophic vague and to neutrosophic vague binary. Work can be further extended to higher concepts like its group, rings, filter, near-rings etc. Behavior differences of these two algebras in different algebraic notions have to be addressed more deeply and properly to get a correct vision. This area demands some more notice and filtering to find out its correct drawbacks. Further investigations will make it, to balance its moves to the correct direction. Medial BCI -algebra, commutative BCK-algebra, Associative BCIomorphisms, bounded commutative BCI-algebra are a few points have to be addressed and have to be analyzed more.

Funding: "This research received no external funding"

Acknowledgments: Authors are very grateful to the anonymous reviewers and would like to thank for their valuable and critical suggestions to structure the paper systematically and to remove the errors.

Conflicts of Interest: "The authors declare that they have no conflict of interest."

References

[1.] Agboola. A. A. A and Davvaz. B, Introduction to Neutrosophic BCI/BCK - Agebras, International Journal of Mathematics and Mathematical Sciences, 2015, Volume 2015, 6 pages, Article ID 370267, http://dx.doi.org/10.1155/2015/370267

[2.] Akram. M and Dar. K. H, On Fuzzy d-algebras, Punjab University Journal of Mathematics, 2005, Vol.37, pp 61-76

[3.] Alcheikh. M & Anas Sabouh, A study of Fuzzy Ideals in BCK Algebra, Journal of Mathematics Research, October 2019, Vol 11, pp 11-15, http://jmr.ccsenet.org

[4.] Anas Al-Masarwah, Abd Ghafur Ahmad, On some properties of doubt bipolar fuzzy H -ideals in BCK/BCI -algebras European journal of pure and applied mathematics, 2018, Vol.11, No.3, pp 652-670, https://doi.org/10.29020/nybg.ejpam.vlli3.3288.

[5.] Anas Al-Masarwah, Abd Ghafur Ahmad, m-Polar fuzzy ideals of BCK/BCI-algebras, Journal of King Saud University-Science, 2019, Vol.31, pp 1220-1226, DOI: 10.1016/j.jksus.2018.10.002

[6.] Arsham Borumand Saeid, Vague BCK/BCI -algebras, Opuscula Mathematica, 2009, Vol 29, No.2, pp 177-186.

[7.] Arsham Borumand Saeid, Hee Sik Kim and Akbar Rezaei, On Bl-algebras, Versita, 2017, Vol.25 (1), pp 177-194, doi:10.1515/auom-2017-0014.

[8.] Bijan Davvaz, Samy M. Mostafa and Fatema F. Kareem, Neutrosophic ideals of neutrosophic KU-algebras, Journal of Science, 2017, GU J Sci 30 (4), pp 463-472.

[9.] Bordbar. H, Mohseni Takallo. M, Borzooei. R. A, Young Bae pun, BMBI -neutrosophic subalgebra in BCI/BCK - algebras, Neutrosophic Sets and Systems, 2020, Vol.31, pp 31-43.

[10.] Borumand Saeid. A, Prince Williams. D. R and Kuchaki Rafsanjani, A new generalizationof fuzzy BCK/BCI-algebras, Neutral Comput & Applic, 2012, Vol.21, pp 813-819, DOI: 10.1007/s00521-011-0613-7

[11.] Borumand Saeid. A and Zarandi. A, Vague Set Theory Applied to BM - Algebras, International Journal of Algebra, 2011, Vol.5, No.5, pp 207-222.

[12.] Chul Hwan Park, Neutrosophic ideal of subtraction algebras, Neutrosophic sets and systems, 2019, Vol.24, pp 36-45

[13.] Florentin Smarandache, A Unifying Field in Togics: Neutrosophic Togic, Neutrosophy, Neutrosophic Set, Neutrosophic Probability (fifth edition) Book: lanuary 2005, DOI:10.5281/zenodo.49174, ISBN 978-1-59973-080-6, American Research Press, Rchoboth, 1998, 2000, 2003, 2005

[14.] Florentin Smarandache, NeutroAlgebra is a Generalization of Partial Algebra, International Journal of Neutrosophic Science (IJNS), 2020, Vol. 2, No. 1, PP. 08-17,

[15.] Francina Shalini. A and Remya. P. B, Neutrosophic Vague binary sets, Neutrosophic Sets and Systems, 2019, Vol. 29, pp 228-241

[16.] Gau. W. L and Buehrer. D. J, Vague Sets, IEEE transactions on systems, man and cybernetics, 1993, Vol. 23, No. 2, pp 610-614

[17.] Hakimuddin Khan, Musheer Ahmad and Ranjit Biswas, On Vague Groups, International Journal Of Computational Cognition, 2007, Vol. 5, no. 1, pp 26-30, http://www.ijcc.us.

[18.] Hee Sik Kim and Young Hee Kim, On BE-algebras, Scientiae Mathematicae (Online), e-2006,1299-1302

[19.] Hu. Q. P and Li. X, On BCH-algebras, Mathematics Seminar Notes, 1983, Vol.11, pp 313-320.

[20.] Jafari. A, Mariapresenti. L and Arockiarani. I, Vague direct product in BCK-algebra, TJ1SET-International Journal of Innovative Science, Engineering & Technology, 2017, Vol.4, Issue 8, August 2017,

pp 1-8

[21.] Jun. Y. B, Roh. E. H and Kim. H. S, On BH-algebras, Scientiae Mathematicae, 1998, Vol.1, No.3, pp 347-354

[22.] Kaviyarasu. M and Indhira. K, Review on BCI/BCK- Algebras and Development, International Journal of Pure and Applied Mathematics, 2017, Vol. 117, No. 11, pp 377-383

[23.] Khadaeman. S, Zahedi. M. M, Borzooei. R. A, Jun. Y. B, Neutrosophic Hyper BCK-ideals, Neutrosophic sets and systems, 2019, Vol.27, pp 201-217

[24.] Kim. C. B and Kim. H. S, On BM - algebras, Sci. Math. Japo, 2006, Vol.63, No.3, pp 421-427

[25.] Khalid. H. M, Ahmad. B, Fuzzy H-ideals in BCI-algebras, Fuzzy Sets Syst. 101 (1): 1999, pp 153-158

[26.] Kordi. A & Moussavi. A, On fuzzy ideals of a BCI - algebras, Pure Mathematics and Applications, 2007, Vol. 18, pp 301-310

[27.] Lee. K. J, So. K. S and Bang. K. S, Vague BCK/BCI -algebras, /. Korean Soc.Math. Educ.Ser.B:pure Appl.Math., 2008, Vol.15, No.3, pp 297-308

[28.] Mohamed Abdel-Basset, Mai Mohamed, Mohamed Elhoseny, Le Hoang Son, Francisco Chiclana, Abd El-Nasser H Zaied, Cosine Similarity Measures of Bipolar Neutrosophic Set for Diagnosis of Bipolar Disorder Diseases, Artificial Intelligence In Medicine, 2019, Vol.101, doi: https://doi.Org/10.1016/j.artmed.2019.101735

[29.] Mohamed Abdel-Basset, Mumtaz Ali, Asma Atef, Uncertainty Assessments of Linear Time-Cost Tradeoffs using Neutrosophic Set, Computers & Industrial Engineering, 2020, Vol.141, https://doi.org/10.1016 /j.cie. 2020.106286

[30.] Mohamed Abdel-Basset, Mumtaz Ali, Asma Atef, Resource levelling problem in construction projects under neutrosophic environment, The Journal of Supercomputing, 2019, pp 1-25, https:// doi.org/ 10.1007/S11227-019-03055-6

[31.] Mohamed Abdel-Basset and Rehab Mohamed, A novel plithogenic TOPSIS- CRITIC model for sustainable supply chain risk management, Journal of Cleaner Production, 2020, Vol.247, https://doi.Org/10.1016/j.jclepro.2019.119586

[32.] Muhammad Anwar Chaudhry and Faisal Ali, Multipliers in d-algebras, World Applied Sciences Journal, 2012, Vol.18, No. 11, pp 1649 - 1653, DOI: 10.5829/idosi.wasj.2012.18.11.1587

[33.] Muhammad Anwar Chaudhry and Hafiz Fakhar-ud-din, On Some Classes of BCH-algebras, IJMMMS, 2001, Vol.25, No.3, pp 205-211, http://ijmms.hindawi.com@Hindawi

[34.] Muhammad Akram, Hina Gulzar, Florentin Smarandache and Said Broumi, Certain Notions of Neutrosophic Topological K-algebras, Mathematics, 2018, Vol.6, No.234, pp 1-15, doi: 10.3390/math6110234

[35.] Muhiuddin.G, Smarandache.F, Young Bae Jun, Neutrosophic Quadruple ideals in Neutrosophic Quadruple BCI - algebras, Neutrosophic sets and systems, 2019, Vol. 25, pp 161-173

[36.] Muhiuddin. G, Bordbar. H, Smarandache. F, Jun. Y. B, Further results on (s, s) - neutrosophic subalgebras and ideals in BCK/BCI- algebras, Neutrosophic sets and systems, 2018, Vol.20, pp 36-43

[37.] Nageswararao. B, Ramakrishna. N, Eswarlal. T, Translates of vague (3-algebra, International Journal of Pure and Applied Mathematics, 2016, Vol. 106, No.4, pp 989-1002, url:http://www.ijpam.eu

[38.] Neggers. J and Kim. H. S, On d-algebras, Math Slovaca, 1996, Vol.49, pp 19-26

[39.] Neggers. J and Kim. H. S, On B-algebras, Mate.Vesnik, 2002, Vol.54, pp 21-29

[40.] Neggers. J and Kim Hee Sik, On [beta]-algebra, Math-Solvaca, 2002, Vol.52, No.5, pp 517-530

[41.] Qun Zhang, Young Bae Jun and Eun Hwan Roh, On the branch of BH-algebras, Scientiae Mathematicae Japonicae (Online), 2001, Vol.4, pp 917-921

[42.] Samy M. Mostafa and Reham Ghanem, Cubic Structures of Medial Ideal on BCI -algebras, International Journal of Fuzzy Logic Systems (IJFLS), 2015, Vol.5, No.2/3, pp 15-22, doi: 10.5121/ijfls.2015.5302

[43.] Saidur Rahman Barbhulya, K. Dutta, Choudhury, (G, Gvq)-Fuzzy ideals of d-algebra, International Journal of Mathematics Trends and Technology, 2014, Vol.9 No.l, pp 16-26, http://www.ijmttjournal.org

[44.] Seon Jeong Kim, Seok-Zun Song and Young Bae Jun, Generalizations of Neutrosophic Subalgebras in BCK/BCI -algebras based on neutrosophic points, Neutrosophic Sets and Systems, 2018, Vol.20, pp 26-35

[45.] Shawkat Alkhazaleh, Neutrosophic Vague Set Theory, Critical Review, 2015, Vol. X, pp no 29-39

[46.] Stanley Gudder, d-algebras, Foundations of Physics, 1996, Vol.26, No.6, pp 813-822

[47.] Vasantha Kandasamy. W. B and Florentin Smarandache, Some Neutrosophic Algebra Structures and Neutrosophic N-Algebraic Structures, Hexis, Phoenix, 2006, ISBN: 1-931233-15-2

[48.] Yasuyuki Imai and Kiyoshi Iseki, On Axiom Systems of Propositional Calculi, 1966, Vol. XIV, pp 19-22

[49.] Young Bae, Florentin Smarandache, Mehmat Ali Oztiirk, Commutative falling neutrosophic ideals in BCK-algebras, Neutrosophic Sets and Systems, 2018, Vol.20, pp 44-53

[50.] Young Bae Jun, Seok-Zun Song and Seon Jeong Kim, Length-Fuzzy Subalgebras in BCK/BCI-algebras, Mathematics, 2018, Vol.6, No.ll, pp 1-12, doi:10.3390/math6010011

[51.] Young Bae Jun, Seok-Zun Song, Florentin Smarandache and Hashem Bordbar, Neutrosophic Quadruple BCK/BCI -Algebras, Axioms 2018, Vol.7, No.41, pp 1-16, www.mdpi.com/journal/axioms

[52.] Yun Sun Hwang and Sun Shin Ahn, Vague p-ideals and Vague a-ideals in BCI-algebras, Journal of the Chungcheong Mathematical Society, 2013, Vol. 26, No.3

Received: Apr 13, 2020. Accepted: July 3, 2020

Remya. P. B (1,*) and Francina Shalini. A (2)

(1) Ph.D Research Scholar, P.G & Research Department of Mathematics, Nirmala College for Women, Affiliated to Bharafhiar University, Red Fields, Coimbatore-18, Tamil Nadu, India ; krish3fhulasi@gmail.com

(2) Assistant Professor, P.G & Research Department of Mathematics, Nirmala College for Women, Affiliated to Bharafhiar University, Red Fields, Coimbatore-18, Tamil Nadu, India ; francshalu@g-mail.com

(*) Correspondence: krish3fhulasi@gmail.com ; Tel.: (91-9751335441)
COPYRIGHT 2020 Neutrosophic Sets and Systems
No portion of this article can be reproduced without the express written permission from the copyright holder.