Next Article in Journal
New Definitions about A I -Statistical Convergence with Respect to a Sequence of Modulus Functions and Lacunary Sequences
Next Article in Special Issue
Decision-Making with Bipolar Neutrosophic TOPSIS and Bipolar Neutrosophic ELECTRE-I
Previous Article in Journal
Special Numbers and Polynomials Including Their Generating Functions in Umbral Analysis Methods
Previous Article in Special Issue
Cross Entropy Measures of Bipolar and Interval Bipolar Neutrosophic Sets and Their Application for Multi-Attribute Decision-Making
Article Menu

Export Article

Axioms 2018, 7(2), 23; doi:10.3390/axioms7020023

Article
Interval Neutrosophic Sets with Applications in BCK/BCI-Algebra
1
Department of Mathematics Education Gyeongsang National University, Jinju 52828, Korea
2
Department of Mathematics, Natural Science of College, Gyeongsang National University, Jinju 52828, Korea
3
Mathematics & Science Department, University of New Mexico, 705 Gurley Ave., Gallup, NM 87301, USA
*
Author to whom correspondence should be addressed.
Received: 27 February 2018 / Accepted: 6 April 2018 / Published: 9 April 2018

Abstract

:
For i , j , k , l , m , n { 1 , 2 , 3 , 4 } , the notion of ( T ( i , j ) , I ( k , l ) , F ( m , n ) ) -interval neutrosophic subalgebra in B C K / B C I -algebra is introduced, and their properties and relations are investigated. The notion of interval neutrosophic length of an interval neutrosophic set is also introduced, and related properties are investigated.
Keywords:
interval neutrosophic set; interval neutrosophic subalgebra; interval neutrosophic length
MSC:
06F35; 03G25; 03B52

1. Introduction

Intuitionistic fuzzy set, which is introduced by Atanassov [1], is a generalization of Zadeh’s fuzzy sets [2], and consider both truth-membership and falsity-membership. Since the sum of degree true, indeterminacy and false is one in intuitionistic fuzzy sets, incomplete information is handled in intuitionistic fuzzy sets. On the other hand, neutrosophic sets can handle the indeterminate information and inconsistent information that exist commonly in belief systems in a neutrosophic set since indeterminacy is quantified explicitly and truth-membership, indeterminacy-membership and falsity-membership are independent, which is mentioned in [3]. As a formal framework that generalizes the concept of the classic set, fuzzy set, interval valued fuzzy set, intuitionistic fuzzy set, interval valued intuitionistic fuzzy set and paraconsistent set, etc., the neutrosophic set is developed by Smarandache [4,5], which is applied to various parts, including algebra, topology, control theory, decision-making problems, medicines and in many real-life problems. The concept of interval neutrosophic sets is presented by Wang et al. [6], and it is more precise and more flexible than the single-valued neutrosophic set. The interval neutrosophic set can represent uncertain, imprecise, incomplete and inconsistent information, which exists in the real world. B C K -algebra is introduced by Imai and Iséki [7], and it has been applied to several branches of mathematics, such as group theory, functional analysis, probability theory and topology, etc. As a generalization of B C K -algebra, Iséki introduced the notion of B C I -algebra (see [8]).
In this article, we discuss interval neutrosophic sets in B C K / B C I -algebra. We introduce the notion of ( T ( i , j ) , I ( k , l ) , F ( m , n ) ) -interval neutrosophic subalgebra in B C K / B C I -algebra for i , j , k , l , m , n { 1 , 2 , 3 , 4 } , and investigate their properties and relations. We also introduce the notion of interval neutrosophic length of an interval neutrosophic set, and investigate related properties.

2. Preliminaries

By a B C I -algebra, we mean a system X : = ( X , , 0 ) K ( τ ) in which the following axioms hold:
(I)
( ( x y ) ( x z ) ) ( z y ) = 0 ,
(II)
( x ( x y ) ) y = 0 ,
(III)
x x = 0 ,
(IV)
x y = y x = 0 x = y
for all x , y , z X . If a B C I -algebra X satisfies 0 x = 0 for all x X , then we say that X is B C K -algebra.
A non-empty subset S of a B C K / B C I -algebra X is called a subalgebra of X if x y S for all x , y S .
The collection of all B C K -algebra and all B C I -algebra are denoted by B K ( X ) and B I ( X ) , respectively. In addition, B ( X ) : = B K ( X ) B I ( X ) .
We refer the reader to the books [9,10] for further information regarding B C K / B C I -algebra.
By a fuzzy structure over a nonempty set X, we mean an ordered pair ( X , ρ ) of X and a fuzzy set ρ on X.
Definition 1 
([11]). For any ( X , , 0 ) B ( X ) , a fuzzy structure ( X , μ ) over ( X , , 0 ) is called a
  • fuzzy subalgebra of ( X , , 0 ) with type 1 (briefly, 1-fuzzy subalgebra of ( X , , 0 ) ) if
    ( x , y X ) μ ( x y ) min { μ ( x ) , μ ( y ) } ,
  • fuzzy subalgebra of ( X , , 0 ) with type 2 (briefly, 2-fuzzy subalgebra of ( X , , 0 ) ) if
    ( x , y X ) μ ( x y ) min { μ ( x ) , μ ( y ) } ,
  • fuzzy subalgebra of ( X , , 0 ) with type 3 (briefly, 3-fuzzy subalgebra of ( X , , 0 ) ) if
    ( x , y X ) μ ( x y ) max { μ ( x ) , μ ( y ) } ,
  • fuzzy subalgebra of ( X , , 0 ) with type 4 (briefly, 4-fuzzy subalgebra of ( X , , 0 ) ) if
    ( x , y X ) μ ( x y ) max { μ ( x ) , μ ( y ) } .
Let X be a non-empty set. A neutrosophic set (NS) in X (see [4]) is a structure of the form:
A : = { x ; A T ( x ) , A I ( x ) , A F ( x ) x X } ,
where A T : X [ 0 , 1 ] is a truth-membership function, A I : X [ 0 , 1 ] is an indeterminate membership function, and A F : X [ 0 , 1 ] is a false membership function.
An interval neutrosophic set (INS) A in X is characterized by truth-membership function T A , indeterminacy membership function I A and falsity-membership function F A . For each point x in X, T A ( x ) , I A ( x ) , F A ( x ) [ 0 , 1 ] (see [3,6]).

3. Interval Neutrosophic Subalgebra

In what follows, let ( X , , 0 ) B ( X ) and P ( [ 0 , 1 ] ) be the family of all subintervals of [ 0 , 1 ] unless otherwise specified.
Definition 2
([3,6]). An interval neutrosophic set in a nonempty set X is a structure of the form:
I : = { x , I [ T ] ( x ) , I [ I ] ( x ) , I [ F ] ( x ) x X } ,
where
I [ T ] : X P ( [ 0 , 1 ] ) ,
which is called interval truth-membership function,
I [ I ] : X P ( [ 0 , 1 ] ) ,
which is called interval indeterminacy-membership function, and
I [ F ] : X P ( [ 0 , 1 ] ) ,
which is called interval falsity-membership function.
For the sake of simplicity, we will use the notation I : = ( I [ T ] , I [ I ] , I [ F ] ) for the interval neutrosophic set
I : = { x , I [ T ] ( x ) , I [ I ] ( x ) , I [ F ] ( x ) x X } .
Given an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X, we consider the following functions:
I [ T ] inf : X [ 0 , 1 ] , x inf { I [ T ] ( x ) } , I [ I ] inf : X [ 0 , 1 ] , x inf { I [ I ] ( x ) } , I [ F ] inf : X [ 0 , 1 ] , x inf { I [ F ] ( x ) } ,
and
I [ T ] sup : X [ 0 , 1 ] , x sup { I [ T ] ( x ) } , I [ I ] sup : X [ 0 , 1 ] , x sup { I [ I ] ( x ) } , I [ F ] sup : X [ 0 , 1 ] , x sup { I [ F ] ( x ) } .
Definition 3.
For any i , j , k , l , m , n { 1 , 2 , 3 , 4 } , an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is called a ( T ( i , j ) , I ( k , l ) , F ( m , n ) ) -interval neutrosophic subalgebra of X if the following assertions are valid.
(1)
( X , I [ T ] inf ) is an i-fuzzy subalgebra of ( X , , 0 ) and ( X , I [ T ] sup ) is a j-fuzzy subalgebra of ( X , , 0 ) ,
(2)
( X , I [ I ] inf ) is a k-fuzzy subalgebra of ( X , , 0 ) and ( X , I [ I ] sup ) is an l-fuzzy subalgebra of ( X , , 0 ) ,
(3)
( X , I [ F ] inf ) is an m-fuzzy subalgebra of ( X , , 0 ) and ( X , I [ F ] sup ) is an n-fuzzy subalgebra of ( X , , 0 ) .
Example 1.
Consider a B C K -algebra X = { 0 , 1 , 2 , 3 } with the binary operation *, which is given in Table 1 (see [10]).
(1) Let I : = ( I [ T ] , I [ I ] , I [ F ] ) be an interval neutrosophic set in ( X , , 0 ) for which I [ T ] , I [ I ] and I [ F ] are given as follows:
I [ T ] : X P ( [ 0 , 1 ] ) x [ 0.4 , 0.5 ) if x = 0 , ( 0.3 , 0.5 ] if x = 1 , [ 0.2 , 0.6 ) if x = 2 , [ 0.1 , 0.7 ] if x = 3 ,
I [ I ] : X P ( [ 0 , 1 ] ) x [ 0.5 , 0.8 ) if x = 0 , ( 0.2 , 0.7 ) if x = 1 , [ 0.5 , 0.6 ] if x = 2 , [ 0.4 , 0.8 ) if x = 3 ,
and
I [ F ] : X P ( [ 0 , 1 ] ) x [ 0.4 , 0.5 ) if x = 0 , ( 0.2 , 0.9 ) if x = 1 , [ 0.1 , 0.6 ] if x = 2 , ( 0.4 , 0.7 ] if x = 3 .
It is routine to verify that I : = ( I [ T ] , I [ I ] , I [ F ] ) is a ( T ( 1 , 4 ) , I ( 1 , 4 ) , F ( 1 , 4 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) .
(2) Let I : = ( I [ T ] , I [ I ] , I [ F ] ) be an interval neutrosophic set in ( X , , 0 ) for which I [ T ] , I [ I ] and I [ F ] are given as follows:
I [ T ] : X P ( [ 0 , 1 ] ) x [ 0.1 , 0.4 ) if x = 0 , ( 0.3 , 0.5 ) if x = 1 , [ 0.2 , 0.7 ] if x = 2 , [ 0.4 , 0.6 ) if x = 3 ,
I [ I ] : X P ( [ 0 , 1 ] ) x ( 0.2 , 0.5 ) if x = 0 , [ 0.5 , 0.8 ] if x = 1 , ( 0.4 , 0.5 ] if x = 2 , [ 0.2 , 0.6 ] if x = 3 ,
and
I [ F ] : X P ( [ 0 , 1 ] ) x [ 0.3 , 0.4 ) if x = 0 , ( 0.4 , 0.7 ) if x = 1 , ( 0.6 , 0.8 ) if x = 2 , [ 0.4 , 0.6 ] if x = 3 .
By routine calculations, we know that I : = ( I [ T ] , I [ I ] , I [ F ] ) is a ( T ( 4 , 4 ) , I ( 4 , 4 ) , F ( 4 , 4 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) .
Example 2.
Consider a B C I -algebra X = { 0 , a , b , c } with the binary operation *, which is given in Table 2 (see [10]).
Let I : = ( I [ T ] , I [ I ] , I [ F ] ) be an interval neutrosophic set in ( X , , 0 ) for which I [ T ] , I [ I ] and I [ F ] are given as follows:
I [ T ] : X P ( [ 0 , 1 ] ) x [ 0.3 , 0.9 ) if x = 0 , ( 0.7 , 0.9 ) if x = a , [ 0.7 , 0.8 ) if x = b , ( 0.5 , 0.8 ] if x = c ,
I [ I ] : X P ( [ 0 , 1 ] ) x [ 0.2 , 0.65 ) if x = 0 , [ 0.5 , 0.55 ] if x = a , ( 0.6 , 0.65 ) if x = b , [ 0.5 , 0.55 ) if x = c ,
and
I [ F ] : X P ( [ 0 , 1 ] ) x ( 0.3 , 0.6 ) if x = 0 , [ 0.4 , 0.6 ] if x = a , ( 0.4 , 0.5 ] if x = b , [ 0.3 , 0.5 ) if x = c .
Routine calculations show that I : = ( I [ T ] , I [ I ] , I [ F ] ) is a ( T ( 4 , 1 ) , I ( 4 , 1 ) , F ( 4 , 1 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) . However, it is not a ( T ( 2 , 1 ) , I ( 2 , 1 ) , F ( 2 , 1 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) since
I [ T ] inf ( c a ) = I [ T ] inf ( b ) = 0.7 > 0.5 = min { I [ T ] inf ( c ) , I [ T ] inf ( a ) }
and/or
I [ I ] inf ( a c ) = I [ I ] inf ( b ) = 0.6 > 0.5 = min { I [ I ] inf ( a ) , I [ I ] inf ( c ) } .
In addition, it is not a ( T ( 4 , 3 ) , I ( 4 , 3 ) , F ( 4 , 3 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) since
I [ T ] sup ( a b ) = I [ T ] sup ( c ) = 0.8 < 0.9 = max { I [ T ] inf ( a ) , I [ T ] inf ( c ) }
and/or
I [ F ] sup ( a b ) = I [ F ] sup ( c ) = 0.5 < 0.6 = max { I [ F ] inf ( a ) , I [ F ] inf ( c ) } .
Let I : = ( I [ T ] , I [ I ] , I [ F ] ) be an interval neutrosophic set in X. We consider the following sets:
U ( I [ T ] inf ; α I ) : = { x X I [ T ] inf ( x ) α I } , L ( I [ T ] sup ; α S ) : = { x X I [ T ] sup ( x ) α S } , U ( I [ I ] inf ; β I ) : = { x X I [ I ] inf ( x ) β I } , L ( I [ I ] sup ; β S ) : = { x X I [ I ] sup ( x ) β S } ,
and
U ( I [ F ] inf ; γ I ) : = { x X I [ F ] inf ( x ) γ I } , L ( I [ F ] sup ; γ S ) : = { x X I [ F ] sup ( x ) γ S } ,
where α I , α S , β I , β S , γ I and γ S are numbers in [ 0 , 1 ] .
Theorem 1.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( i , 4 ) , I ( i , 4 ) , F ( i , 4 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for i { 1 , 3 } , then U ( I [ T ] inf ; α I ) , L ( I [ T ] sup ; α S ) , U ( I [ I ] inf ; β I ) , L ( I [ I ] sup ; β S ) , U ( I [ F ] inf ; γ I ) and L ( I [ F ] sup ; γ S ) are either empty or subalgebra of ( X , , 0 ) for all α I , α S , β I , β S , γ I , γ S [ 0 , 1 ] .
Proof. 
Assume that I : = ( I [ T ] , I [ I ] , I [ F ] ) is a ( T ( 1 , 4 ) , I ( 1 , 4 ) , F ( 1 , 4 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) . Then, ( X , I [ T ] inf ) , ( X , I [ I ] inf ) and ( X , I [ F ] inf ) are 1-fuzzy subalgebra of X; and ( X , I [ T ] sup ) , ( X , I [ I ] sup ) and ( X , I [ F ] sup ) are 4-fuzzy subalgebra of X. Let α I , α S [ 0 , 1 ] be such that U ( I [ T ] inf ; α I ) and L ( I [ T ] sup ; α S ) are nonempty. For any x , y X , if x , y U ( I [ T ] inf ; α I ) , then I [ T ] inf ( x ) α I and I [ T ] inf ( y ) α I , and so
I [ T ] inf ( x y ) min { I [ T ] inf ( x ) , I [ T ] inf ( y ) } α I ,
that is, x y U ( I [ T ] inf ; α I ) . If x , y L ( I [ T ] sup ; α S ) , then I [ T ] sup ( x ) α S and I [ T ] sup ( y ) α S , which imply that
I [ T ] sup ( x y ) max { I [ T ] sup ( x ) , I [ T ] sup ( y ) } α S ,
that is, x y L ( I [ T ] sup ; α S ) . Hence, U ( I [ T ] inf ; α I ) and L ( I [ T ] sup ; α S ) are subalgebra of ( X , , 0 ) for all α I , α S [ 0 , 1 ] . Similarly, we can prove that U ( I [ I ] inf ; β I ) , L ( I [ I ] sup ; β S ) , U ( I [ F ] inf ; γ I ) and L ( I [ F ] sup ; γ S ) are either empty or subalgebra of ( X , , 0 ) for all β I , β S , γ I , γ S [ 0 , 1 ] . Suppose that I : = ( I [ T ] , I [ I ] , I [ F ] ) is a ( T ( 3 , 4 ) , I ( 3 , 4 ) , F ( 3 , 4 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) . Then, ( X , I [ T ] inf ) , ( X , I [ I ] inf ) and ( X , I [ F ] inf ) are 3-fuzzy subalgebra of X; and ( X , I [ T ] sup ) , ( X , I [ I ] sup ) and ( X , I [ F ] sup ) are 4-fuzzy subalgebra of X. Let β I and β S [ 0 , 1 ] be such that U ( I [ I ] inf ; β I ) and L ( I [ I ] sup ; β S ) are nonempty. Let x , y U ( I [ I ] inf ; β I ) . Then, I [ I ] inf ( x ) β I and I [ I ] inf ( y ) β I . It follows that
I [ I ] inf ( x y ) max { I [ I ] inf ( x ) , I [ I ] inf ( y ) } β I
and so x y U ( I [ I ] inf ; β I ) . Thus, U ( I [ I ] inf ; β I ) is a subalgebra of ( X , , 0 ) . If x , y L ( I [ I ] inf ; β S ) , then I [ I ] inf ( x ) β S and I [ I ] inf ( y ) β S . Hence,
I [ I ] inf ( x y ) max { I [ I ] inf ( x ) , I [ I ] inf ( y ) } β S ,
and so x y L ( I [ I ] inf ; β S ) . Thus, L ( I [ I ] inf ; β S ) is a subalgebra of ( X , , 0 ) . Similarly, we can show that U ( I [ T ] inf ; α I ) , L ( I [ T ] sup ; α S ) , U ( I [ F ] inf ; γ I ) and L ( I [ F ] sup ; γ S ) are either empty or subalgebra of ( X , , 0 ) for all α I , α S , γ I , γ S [ 0 , 1 ] . ☐
Since every 2-fuzzy subalgebra is a 4-fuzzy subalgebra, we have the following corollary.
Corollary 1.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( i , 2 ) , I ( i , 2 ) , F ( i , 2 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for i { 1 , 3 } , then U ( I [ T ] inf ; α I ) , L ( I [ T ] sup ; α S ) , U ( I [ I ] inf ; β I ) , L ( I [ I ] sup ; β S ) , U ( I [ F ] inf ; γ I ) and L ( I [ F ] sup ; γ S ) are either empty or subalgebra of ( X , , 0 ) for all α I , α S , β I , β S , γ I , γ S [ 0 , 1 ] .
By a similar way to the proof of Theorem 1, we have the following theorems.
Theorem 2.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( i , 4 ) , I ( i , 4 ) , F ( i , 4 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for i { 2 , 4 } , then L ( I [ T ] inf ; α I ) , L ( I [ T ] sup ; α S ) , L ( I [ I ] inf ; β I ) , L ( I [ I ] sup ; β S ) , L ( I [ F ] inf ; γ I ) and L ( I [ F ] sup ; γ S ) are either empty or subalgebra of ( X , , 0 ) for all α I , α S , β I , β S , γ I , γ S [ 0 , 1 ] .
Corollary 2.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( i , 2 ) , I ( i , 2 ) , F ( i , 2 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for i { 2 , 4 } , then L ( I [ T ] inf ; α I ) , L ( I [ T ] sup ; α S ) , L ( I [ I ] inf ; β I ) , L ( I [ I ] sup ; β S ) , L ( I [ F ] inf ; γ I ) and L ( I [ F ] sup ; γ S ) are either empty or subalgebra of ( X , , 0 ) for all α I , α S , β I , β S , γ I , γ S [ 0 , 1 ] .
Theorem 3.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( k , 1 ) , I ( k , 1 ) , F ( k , 1 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for k { 1 , 3 } , then U ( I [ T ] inf ; α I ) , U ( I [ T ] sup ; α S ) , U ( I [ I ] inf ; β I ) , U ( I [ I ] sup ; β S ) , U ( I [ F ] inf ; γ I ) and U ( I [ F ] sup ; γ S ) are either empty or subalgebra of ( X , , 0 ) for all α I , α S , β I , β S , γ I , γ S [ 0 , 1 ] .
Corollary 3.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( k , 3 ) , I ( k , 3 ) , F ( k , 3 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for k { 1 , 3 } , then U ( I [ T ] inf ; α I ) , U ( I [ T ] sup ; α S ) , U ( I [ I ] inf ; β I ) , U ( I [ I ] sup ; β S ) , U ( I [ F ] inf ; γ I ) and U ( I [ F ] sup ; γ S ) are either empty or subalgebra of ( X , , 0 ) for all α I , α S , β I , β S , γ I , γ S [ 0 , 1 ] .
Theorem 4.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( k , 1 ) , I ( k , 1 ) , F ( k , 1 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for k { 2 , 4 } , then L ( I [ T ] inf ; α I ) , U ( I [ T ] sup ; α S ) , L ( I [ I ] inf ; β I ) , U ( I [ I ] sup ; β S ) , L ( I [ F ] inf ; γ I ) and U ( I [ F ] sup ; γ S ) are either empty or subalgebra of ( X , , 0 ) for all α I , α S , β I , β S , γ I , γ S [ 0 , 1 ] .
Corollary 4.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( k , 3 ) , I ( k , 3 ) , F ( k , 3 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for k { 2 , 4 } , then L ( I [ T ] inf ; α I ) , U ( I [ T ] sup ; α S ) , L ( I [ I ] inf ; β I ) , U ( I [ I ] sup ; β S ) , L ( I [ F ] inf ; γ I ) and U ( I [ F ] sup ; γ S ) are either empty or subalgebra of ( X , , 0 ) for all α I , α S , β I , β S , γ I , γ S [ 0 , 1 ] .
Theorem 5.
Let I : = ( I [ T ] , I [ I ] , I [ F ] ) be an interval neutrosophic set in X in which U ( I [ T ] inf ; α I ) , L ( I [ T ] sup ; α S ) , U ( I [ I ] inf ; β I ) , L ( I [ I ] sup ; β S ) , U ( I [ F ] inf ; γ I ) and L ( I [ F ] sup ; γ S ) are nonempty subalgebra of ( X , , 0 ) for all α I , α S , β I , β S , γ I , γ S [ 0 , 1 ] . Then, I : = ( I [ T ] , I [ I ] , I [ F ] ) is a ( T ( 1 , 4 ) , I ( 1 , 4 ) , F ( 1 , 4 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) .
Proof. 
Suppose that ( X , I [ T ] inf ) is not a 1-fuzzy subalgebra of ( X , , 0 ) . Then, there exists x , y X such that
I [ T ] inf ( x y ) < min { I [ T ] inf ( x ) , I [ T ] inf ( y ) } .
If we take α I = min { I [ T ] inf ( x ) , I [ T ] inf ( y ) } , then x , y U ( I [ T ] inf ; α I ) , but x y U ( I [ T ] inf ; α I ) . This is a contradiction, and so ( X , I [ T ] inf ) is a 1-fuzzy subalgebra of ( X , , 0 ) . If ( X , I [ T ] sup ) is not a 4-fuzzy subalgebra of ( X , , 0 ) , then
I [ T ] sup ( a b ) > max { I [ T ] sup ( a ) , I [ T ] sup ( b ) }
for some a , b X , and so a , b L ( I [ T ] sup ; α S ) and a b L ( I [ T ] sup ; α S ) by taking
α S : = max { I [ T ] sup ( a ) , I [ T ] sup ( b ) } .
This is a contradiction, and therefore ( X , I [ T ] sup ) is a 4-fuzzy subalgebra of ( X , , 0 ) . Similarly, we can verify that ( X , I [ I ] inf ) is a 1-fuzzy subalgebra of ( X , , 0 ) and ( X , I [ I ] sup ) is a 4-fuzzy subalgebra of ( X , , 0 ) ; and ( X , I [ F ] inf ) is a 1-fuzzy subalgebra of ( X , , 0 ) and ( X , I [ F ] sup ) is a 4-fuzzy subalgebra of ( X , , 0 ) . Consequently, I : = ( I [ T ] , I [ I ] , I [ F ] ) is a ( T ( 1 , 4 ) , I ( 1 , 4 ) , F ( 1 , 4 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) . ☐
Using the similar method to the proof of Theorem 5, we get the following theorems.
Theorem 6.
Let I : = ( I [ T ] , I [ I ] , I [ F ] ) be an interval neutrosophic set in X in which L ( I [ T ] inf ; α I ) , U ( I [ T ] sup ; α S ) , L ( I [ I ] inf ; β I ) , U ( I [ I ] sup ; β S ) , L ( I [ F ] inf ; γ I ) and U ( I [ F ] sup ; γ S ) are nonempty subalgebra of ( X , , 0 ) for all α I , α S , β I , β S , γ I , γ S [ 0 , 1 ] . Then, I : = ( I [ T ] , I [ I ] , I [ F ] ) is a ( T ( 4 , 1 ) , I ( 4 , 1 ) , F ( 4 , 1 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) .
Theorem 7.
Let I : = ( I [ T ] , I [ I ] , I [ F ] ) be an interval neutrosophic set in X in which L ( I [ T ] inf ; α I ) , L ( I [ T ] sup ; α S ) , L ( I [ I ] inf ; β I ) , L ( I [ I ] sup ; β S ) , L ( I [ F ] inf ; γ I ) and L ( I [ F ] sup ; γ S ) are nonempty subalgebra of ( X , , 0 ) for all α I , α S , β I , β S , γ I , γ S [ 0 , 1 ] . Then, I : = ( I [ T ] , I [ I ] , I [ F ] ) is a ( T ( 4 , 4 ) , I ( 4 , 4 ) , F ( 4 , 4 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) .
Theorem 8.
Let I : = ( I [ T ] , I [ I ] , I [ F ] ) be an interval neutrosophic set in X in which U ( I [ T ] inf ; α I ) , U ( I [ T ] sup ; α S ) , U ( I [ I ] inf ; β I ) , U ( I [ I ] sup ; β S ) , U ( I [ F ] inf ; γ I ) and U ( I [ F ] sup ; γ S ) are nonempty subalgebra of ( X , , 0 ) for all α I , α S , β I , β S , γ I , γ S [ 0 , 1 ] . Then, I : = ( I [ T ] , I [ I ] , I [ F ] ) is a ( T ( 1 , 1 ) , I ( 1 , 1 ) , F ( 1 , 1 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) .

4. Interval Neutrosophic Lengths

Definition 4.
Given an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X, we define the interval neutrosophic length of I as an ordered triple I : = ( I [ T ] , I [ I ] , I [ F ] ) where
I [ T ] : X [ 0 , 1 ] , x I [ T ] sup ( x ) I [ T ] inf ( x ) , I [ I ] : X [ 0 , 1 ] , x I [ I ] sup ( x ) I [ I ] inf ( x ) ,
and
I [ F ] : X [ 0 , 1 ] , x I [ F ] sup ( x ) I [ F ] inf ( x ) ,
which are called interval neutrosophic T-length, interval neutrosophic I-length and interval neutrosophic F-length of I , respectively.
Example 3.
Consider the interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X, which is given in Example 2. Then, the interval neutrosophic length of I is given by Table 3.
Theorem 9.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( i , 3 ) , I ( i , 3 ) , F ( i , 3 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for i { 2 , 4 } , then ( X , I [ T ] ) , ( X , I [ I ] ) and ( X , I [ F ] ) are 3-fuzzy subalgebra of ( X , , 0 ) .
Proof. 
Assume that I : = ( I [ T ] , I [ I ] , I [ F ] ) is a ( T ( 2 , 3 ) , I ( 2 , 3 ) , F ( 2 , 3 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) . Then, ( X , I [ T ] inf ) , ( X , I [ I ] inf ) and ( X , I [ F ] inf ) are 2-fuzzy subalgebra of X, and ( X , I [ T ] sup ) , ( X , I [ I ] sup ) and ( X , I [ F ] sup ) are 3-fuzzy subalgebra of X. Thus,
I [ T ] inf ( x y ) min { I [ T ] inf ( x ) , I [ T ] inf ( y ) } , I [ I ] inf ( x y ) min { I [ I ] inf ( x ) , I [ I ] inf ( y ) } , I [ F ] inf ( x y ) min { I [ F ] inf ( x ) , I [ F ] inf ( y ) } ,
and
I [ T ] sup ( x y ) max { I [ T ] sup ( x ) , I [ T ] sup ( y ) } , I [ I ] sup ( x y ) max { I [ I ] sup ( x ) , I [ I ] sup ( y ) } , I [ F ] sup ( x y ) max { I [ F ] sup ( x ) , I [ F ] sup ( y ) } ,
for all x , y X . It follows that
I [ T ] ( x y ) = I [ T ] sup ( x y ) I [ T ] inf ( x y ) I [ T ] sup ( x ) I [ T ] inf ( x ) = I [ T ] ( x ) , I [ T ] ( x y ) = I [ T ] sup ( x y ) I [ T ] inf ( x y ) I [ T ] sup ( y ) I [ T ] inf ( y ) = I [ T ] ( y ) , I [ I ] ( x y ) = I [ I ] sup ( x y ) I [ I ] inf ( x y ) I [ I ] sup ( x ) I [ I ] inf ( x ) = I [ I ] ( x ) , I [ I ] ( x y ) = I [ I ] sup ( x y ) I [ I ] inf ( x y ) I [ I ] sup ( y ) I [ I ] inf ( y ) = I [ I ] ( y ) ,
and
I [ F ] ( x y ) = I [ F ] sup ( x y ) I [ F ] inf ( x y ) I [ F ] sup ( x ) I [ F ] inf ( x ) = I [ F ] ( x ) , I [ F ] ( x y ) = I [ F ] sup ( x y ) I [ F ] inf ( x y ) I [ F ] sup ( y ) I [ F ] inf ( y ) = I [ F ] ( y ) .
Hence,
I [ T ] ( x y ) max { I [ T ] ( x ) , I [ T ] ( y ) } , I [ I ] ( x y ) max { I [ I ] ( x ) , I [ I ] ( y ) } ,
and
I [ F ] ( x y ) max { I [ F ] ( x ) , I [ F ] ( y ) } ,
for all x , y X . Therefore, ( X , I [ T ] ) , ( X , I [ I ] ) and ( X , I [ F ] ) are 3-fuzzy subalgebra of ( X , , 0 ) .
Suppose that I : = ( I [ T ] , I [ I ] , I [ F ] ) is a ( T ( 4 , 3 ) , I ( 4 , 3 ) , F ( 4 , 3 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) . Then, ( X , I [ T ] inf ) , ( X , I [ I ] inf ) and ( X , I [ F ] inf ) are 4-fuzzy subalgebra of X, and ( X , I [ T ] sup ) , ( X , I [ I ] sup ) and ( X , I [ F ] sup ) are 3-fuzzy subalgebra of X. Hence,
I [ T ] inf ( x y ) max { I [ T ] inf ( x ) , I [ T ] inf ( y ) } , I [ I ] inf ( x y ) max { I [ I ] inf ( x ) , I [ I ] inf ( y ) } , I [ F ] inf ( x y ) max { I [ F ] inf ( x ) , I [ F ] inf ( y ) } ,
and
I [ T ] sup ( x y ) max { I [ T ] sup ( x ) , I [ T ] sup ( y ) } , I [ I ] sup ( x y ) max { I [ I ] sup ( x ) , I [ I ] sup ( y ) } , I [ F ] sup ( x y ) max { I [ F ] sup ( x ) , I [ F ] sup ( y ) } ,
for all x , y X . Label (5) implies that
I [ T ] inf ( x y ) I [ T ] inf ( x ) or I [ T ] inf ( x y ) I [ T ] inf ( y ) , I [ I ] inf ( x y ) I [ I ] inf ( x ) or I [ I ] inf ( x y ) I [ I ] inf ( y ) , I [ F ] inf ( x y ) I [ F ] inf ( x ) or I [ F ] inf ( x y ) I [ F ] inf ( y ) .
If I [ T ] inf ( x y ) I [ T ] inf ( x ) , then
I [ T ] ( x y ) = I [ T ] sup ( x y ) I [ T ] inf ( x y ) I [ T ] sup ( x ) I [ T ] inf ( x ) = I [ T ] ( x ) .
If I [ T ] inf ( x y ) I [ T ] inf ( y ) , then
I [ T ] ( x y ) = I [ T ] sup ( x y ) I [ T ] inf ( x y ) I [ T ] sup ( y ) I [ T ] inf ( y ) = I [ T ] ( y ) .
It follows that I [ T ] ( x y ) max { I [ T ] ( x ) , I [ T ] ( y ) } . Therefore, ( X , I [ T ] ) is a 3-fuzzy subalgebra of ( X , , 0 ) . Similarly, we can show that ( X , I [ I ] ) and ( X , I [ F ] ) are 3-fuzzy subalgebra of ( X , , 0 ) . ☐
Corollary 5.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( i , 3 ) , I ( i , 3 ) , F ( i , 3 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for i { 2 , 4 } , then ( X , I [ T ] ) , ( X , I [ I ] ) and ( X , I [ F ] ) are 1-fuzzy subalgebra of ( X , , 0 ) .
Theorem 10.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( 3 , 4 ) , I ( 3 , 4 ) , F ( 3 , 4 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) , then ( X , I [ T ] ) , ( X , I [ I ] ) and ( X , I [ F ] ) are 4-fuzzy subalgebra of ( X , , 0 ) .
Proof. 
Let I : = ( I [ T ] , I [ I ] , I [ F ] ) be a ( T ( 3 , 4 ) , I ( 3 , 4 ) , F ( 3 , 4 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) . Then, ( X , I [ T ] inf ) , ( X , I [ I ] inf ) and ( X , I [ F ] inf ) are 3-fuzzy subalgebra of X, and ( X , I [ T ] sup ) , ( X , I [ I ] sup ) and ( X , I [ F ] sup ) are 4-fuzzy subalgebra of X. Thus,
I [ T ] inf ( x y ) max { I [ T ] inf ( x ) , I [ T ] inf ( y ) } , I [ I ] inf ( x y ) max { I [ I ] inf ( x ) , I [ I ] inf ( y ) } , I [ F ] inf ( x y ) max { I [ F ] inf ( x ) , I [ F ] inf ( y ) } ,
and
I [ T ] sup ( x y ) max { I [ T ] sup ( x ) , I [ T ] sup ( y ) } , I [ I ] sup ( x y ) max { I [ I ] sup ( x ) , I [ I ] sup ( y ) } , I [ F ] sup ( x y ) max { I [ F ] sup ( x ) , I [ F ] sup ( y ) } ,
for all x , y X . It follows from Label (6) that
I [ T ] sup ( x y ) I [ T ] sup ( x ) or I [ T ] sup ( x y ) I [ T ] sup ( y ) , I [ I ] sup ( x y ) I [ I ] sup ( x ) or I [ I ] sup ( x y ) I [ I ] sup ( y ) , I [ F ] sup ( x y ) I [ F ] sup ( x ) or I [ F ] sup ( x y ) I [ F ] sup ( y ) .
Assume that I [ T ] sup ( x y ) I [ T ] sup ( x ) . Then,
I [ T ] ( x y ) = I [ T ] sup ( x y ) I [ T ] inf ( x y ) I [ T ] sup ( x ) I [ T ] inf ( x ) = I [ T ] ( x ) .
If I [ T ] sup ( x y ) I [ T ] sup ( y ) , then
I [ T ] ( x y ) = I [ T ] sup ( x y ) I [ T ] inf ( x y ) I [ T ] sup ( y ) I [ T ] inf ( y ) = I [ T ] ( y ) .
Hence, I [ T ] ( x y ) max { I [ T ] ( x ) , I [ T ] ( y ) } for all x , y X . By a similar way, we can prove that
I [ I ] ( x y ) max { I [ I ] ( x ) , I [ I ] ( y ) }
and
I [ F ] ( x y ) max { I [ F ] ( x ) , I [ F ] ( y ) }
for all x , y X . Therefore, ( X , I [ T ] ) , ( X , I [ I ] ) and ( X , I [ F ] ) are 4-fuzzy subalgebra of ( X , , 0 ) . ☐
Theorem 11.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( 3 , 2 ) , I ( 3 , 2 ) , F ( 3 , 2 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) , then ( X , I [ T ] ) , ( X , I [ I ] ) and ( X , I [ F ] ) are 2-fuzzy subalgebra of ( X , , 0 ) .
Proof. 
Assume that I : = ( I [ T ] , I [ I ] , I [ F ] ) is a ( T ( 3 , 2 ) , I ( 3 , 2 ) , F ( 3 , 2 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) . Then, ( X , I [ T ] inf ) , ( X , I [ I ] inf ) and ( X , I [ F ] inf ) are 3-fuzzy subalgebra of X, and ( X , I [ T ] sup ) , ( X , I [ I ] sup ) and ( X , I [ F ] sup ) are 2-fuzzy subalgebra of X. Hence,
I [ T ] inf ( x y ) max { I [ T ] inf ( x ) , I [ T ] inf ( y ) } , I [ I ] inf ( x y ) max { I [ I ] inf ( x ) , I [ I ] inf ( y ) } , I [ F ] inf ( x y ) max { I [ F ] inf ( x ) , I [ F ] inf ( y ) } ,
and
I [ T ] sup ( x y ) min { I [ T ] sup ( x ) , I [ T ] sup ( y ) } , I [ I ] sup ( x y ) min { I [ I ] sup ( x ) , I [ I ] sup ( y ) } , I [ F ] sup ( x y ) min { I [ F ] sup ( x ) , I [ F ] sup ( y ) } ,
for all x , y X , which imply that
I [ T ] ( x y ) = I [ T ] sup ( x y ) I [ T ] inf ( x y ) I [ T ] sup ( x ) I [ T ] inf ( x ) = I [ T ] ( x ) , I [ T ] ( x y ) = I [ T ] sup ( x y ) I [ T ] inf ( x y ) I [ T ] sup ( y ) I [ T ] inf ( y ) = I [ T ] ( y ) , I [ I ] ( x y ) = I [ I ] sup ( x y ) I [ I ] inf ( x y ) I [ I ] sup ( x ) I [ I ] inf ( x ) = I [ I ] ( x ) , I [ I ] ( x y ) = I [ I ] sup ( x y ) I [ I ] inf ( x y ) I [ I ] sup ( y ) I [ I ] inf ( y ) = I [ I ] ( y ) ,
and
I [ F ] ( x y ) = I [ F ] sup ( x y ) I [ F ] inf ( x y ) I [ F ] sup ( x ) I [ F ] inf ( x ) = I [ F ] ( x ) , I [ F ] ( x y ) = I [ F ] sup ( x y ) I [ F ] inf ( x y ) I [ F ] sup ( y ) I [ F ] inf ( y ) = I [ F ] ( y ) .
It follows that
I [ T ] ( x y ) min { I [ T ] ( x ) , I [ T ] ( y ) } ,
I [ I ] ( x y ) min { I [ I ] ( x ) , I [ I ] ( y ) } ,
and
I [ F ] ( x y ) min { I [ F ] ( x ) , I [ F ] ( y ) } ,
for all x , y X . Hence, ( X , I [ T ] ) , ( X , I [ I ] ) and ( X , I [ F ] ) are 2-fuzzy subalgebra of ( X , , 0 ) . ☐
Corollary 6.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( 3 , 2 ) , I ( 3 , 2 ) , F ( 3 , 2 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) , then ( X , I [ T ] ) , ( X , I [ I ] ) and ( X , I [ F ] ) are 4-fuzzy subalgebra of ( X , , 0 ) .
Theorem 12.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( i , 3 ) , I ( 3 , 4 ) , F ( 3 , 2 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for i { 2 , 4 } , then
(1)
( X , I [ T ] ) is a 3-fuzzy subalgebra of ( X , , 0 ) .
(2)
( X , I [ I ] ) is a 4-fuzzy subalgebra of ( X , , 0 ) .
(3)
( X , I [ F ] ) is a 2-fuzzy subalgebra of ( X , , 0 ) .
Proof. 
Assume that I : = ( I [ T ] , I [ I ] , I [ F ] ) is a ( T ( 4 , 3 ) , I ( 3 , 4 ) , F ( 3 , 2 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) . Then, ( X , I [ T ] inf ) is a 4-fuzzy subalgebra of X, ( X , I [ T ] sup ) is a 3-fuzzy subalgebra of X, ( X , I [ I ] inf ) is a 3-fuzzy subalgebra of X, ( X , I [ I ] sup ) is a 4-fuzzy subalgebra of X, ( X , I [ F ] inf ) is a 3-fuzzy subalgebra of X, and ( X , I [ F ] sup ) is a 2-fuzzy subalgebra of X. Hence,
I [ T ] inf ( x y ) max { I [ T ] inf ( x ) , I [ T ] inf ( y ) } ,
I [ T ] sup ( x y ) max { I [ T ] sup ( x ) , I [ T ] sup ( y ) } ,
I [ I ] inf ( x y ) max { I [ I ] inf ( x ) , I [ I ] inf ( y ) } ,
I [ I ] sup ( x y ) max { I [ I ] sup ( x ) , I [ I ] sup ( y ) } ,
I [ F ] inf ( x y ) max { I [ F ] inf ( x ) , I [ F ] inf ( y ) } ,
and
I [ F ] sup ( x y ) min { I [ F ] sup ( x ) , I [ F ] sup ( y ) } ,
for all x , y X . Then,
I [ T ] inf ( x y ) I [ T ] inf ( x ) or I [ T ] inf ( x y ) I [ T ] inf ( y )
by Label (7). It follows from Label (8) that
I [ T ] ( x y ) = I [ T ] sup ( x y ) I [ T ] inf ( x y ) I [ T ] sup ( x ) I [ T ] inf ( x ) = I [ T ] ( x )
or
I [ T ] ( x y ) = I [ T ] sup ( x y ) I [ T ] inf ( x y ) I [ T ] sup ( y ) I [ T ] inf ( y ) = I [ T ] ( y ) ,
and so that I [ T ] ( x y ) max { I [ T ] ( x ) , I [ T ] ( y ) } for all x , y X . Thus, ( X , I [ T ] ) is a 3-fuzzy subalgebra of ( X , , 0 ) . The condition (10) implies that
I [ I ] sup ( x y ) I [ I ] sup ( x ) or I [ I ] sup ( x y ) I [ I ] sup ( y ) .
Combining Labels (9) and (13), we have
I [ I ] ( x y ) = I [ I ] sup ( x y ) I [ I ] inf ( x y ) I [ I ] sup ( x ) I [ I ] inf ( x ) = I [ I ] ( x )
or
I [ I ] ( x y ) = I [ I ] sup ( x y ) I [ I ] inf ( x y ) I [ I ] sup ( y ) I [ I ] inf ( y ) = I [ I ] ( y ) .
It follows that I [ I ] ( x y ) max { I [ I ] ( x ) , I [ I ] ( y ) } for all x , y X . Thus, ( X , I [ I ] ) is a 4-fuzzy subalgebra of ( X , , 0 ) . Using Labels (11) and (12), we have
I [ F ] ( x y ) = I [ F ] sup ( x y ) I [ F ] inf ( x y ) I [ F ] sup ( x ) I [ F ] inf ( x ) = I [ F ] ( x )
and
I [ F ] ( x y ) = I [ F ] sup ( x y ) I [ F ] inf ( x y ) I [ F ] sup ( y ) I [ F ] inf ( y ) = I [ F ] ( y ) ,
and so I [ F ] ( x y ) min { I [ F ] ( x ) , I [ F ] ( y ) } for all x , y X . Therefore, ( X , I [ F ] ) is a 2-fuzzy subalgebra of ( X , , 0 ) . Similarly, we can prove the desired results for i = 2 . ☐
Corollary 7.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( i , 3 ) , I ( 3 , 4 ) , F ( 3 , 2 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for i { 2 , 4 } , then
(1)
( X , I [ T ] ) is a 1-fuzzy subalgebra of ( X , , 0 ) .
(2)
( X , I [ I ] ) and ( X , I [ F ] ) are 4-fuzzy subalgebra of ( X , , 0 ) .
By a similar way to the proof of Theorem 12, we have the following theorems.
Theorem 13.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( i , 3 ) , I ( 3 , 2 ) , F ( 3 , 2 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for i { 2 , 4 } , then
(1)
( X , I [ T ] ) is a 3-fuzzy subalgebra of ( X , , 0 ) .
(2)
( X , I [ I ] ) and ( X , I [ F ] ) are 2-fuzzy subalgebra of ( X , , 0 ) .
Corollary 8.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( i , 3 ) , I ( 3 , 2 ) , F ( 3 , 2 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for i { 2 , 4 } , then
(1)
( X , I [ T ] ) is a 1-fuzzy subalgebra of ( X , , 0 ) .
(2)
( X , I [ I ] ) and ( X , I [ F ] ) are 4-fuzzy subalgebra of ( X , , 0 ) .
Theorem 14.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( i , 3 ) , I ( 3 , 2 ) , F ( 2 , 3 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for i { 2 , 4 } , then
(1)
( X , I [ T ] ) and ( X , I [ F ] ) are 3-fuzzy subalgebra of ( X , , 0 ) .
(2)
( X , I [ I ] ) is a 2-fuzzy subalgebra of ( X , , 0 ) .
Corollary 9.
If an interval neutrosophic set I : = ( I [ T ] , I [ I ] , I [ F ] ) in X is a ( T ( i , 3 ) , I ( 3 , 2 ) , F ( 2 , 3 ) ) -interval neutrosophic subalgebra of ( X , , 0 ) for i { 2 , 4 } , then
(1)
( X , I [ T ] ) and ( X , I [ F ] ) are 1-fuzzy subalgebra of ( X , , 0 ) .
(2)
( X , I [ I ] ) is a 4-fuzzy subalgebra of ( X , , 0 ) .

Acknowledgments

The authors wish to thank the anonymous reviewers for their valuable suggestions.

Author Contributions

Young Bae Jun conceived and designed the main idea and wrote the paper, Seon Jeong Kim and Florentin Smarandache performed the idea, checking contents and finding examples. All authors have read and approved the final manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Atanassov, K.T. Intuitionistic fuzzy sets. Fuzzy Sets Syst. 1986, 20, 87–96. [Google Scholar] [CrossRef]
  2. Zadeh, L.A. Fuzzy sets. Inf. Control 1965, 8, 338–353. [Google Scholar] [CrossRef]
  3. Wang, H.; Smarandache, F.; Zhang, Y.Q.; Sunderraman, R. Interval Neutrosophic Sets and Logic: Theory and Applications in Computing; Neutrosophic Book Series No. 5; Hexis: Phoenix, AZ, USA, 2005. [Google Scholar]
  4. Smarandache, F. A Unifying Field in Logics: Neutrosophic Logic. Neutrosophy, Neutrosophic Set, Neutrosophic Probability; American Reserch Press: Rehoboth, NM, USA, 1999. [Google Scholar]
  5. Smarandache, F. Neutrosophic set-a generalization of the intuitionistic fuzzy set. Int. J. Pure Appl. Math. 2005, 24, 287–297. [Google Scholar]
  6. Wang, H.; Zhang, Y.; Sunderraman, R. Truth-value based interval neutrosophic sets. In Proceedings of the 2005 IEEE International Conference on Granular Computing, Beijing, China, 25–27 July 2005; Volume 1, pp. 274–277. [Google Scholar] [CrossRef]
  7. Imai, Y.; Iséki, K. On axiom systems of propositional calculi. Proc. Jpn. Acad. 1966, 42, 19–21. [Google Scholar] [CrossRef]
  8. Iséki, K. An algebra related with a propositional calculus. Proc. Jpn. Acad. 1966, 42, 26–29. [Google Scholar] [CrossRef]
  9. Huang, Y.S. BCI-Algebra; Science Press: Beijing, China, 2006. [Google Scholar]
  10. Meng, J.; Jun, Y.B. BCK-Algebra; Kyungmoon Sa Co.: Seoul, Korea, 1994. [Google Scholar]
  11. Jun, Y.B.; Hur, K.; Lee, K.J. Hyperfuzzy subalgebra of BCK/BCI-algebra. Ann. Fuzzy Math. Inf. 2018, 15, 17–28. [Google Scholar]
Table 1. Cayley table for the binary operation “*”.
Table 1. Cayley table for the binary operation “*”.
*0123
00000
11001
22102
33330
Table 2. Cayley table for the binary operation “*”.
Table 2. Cayley table for the binary operation “*”.
*0abc
00abc
aa0cb
bbc0a
ccba0
Table 3. Interval neutrosophic length of I .
Table 3. Interval neutrosophic length of I .
X I [ T ] I [ I ] I [ F ]
0 0.6 0.45 0.3
a 0.2 0.05 0.2
b 0.1 0.05 0.1
c 0.3 0.05 0.2

© 2018 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).
Axioms EISSN 2075-1680 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top