Abstract
In the present paper we show that Inconsistent intuitionistic fuzzy sets, Picture fuzzy sets and Neutrosophic fuzzy sets are representable by Interval-valued intuitionistic fuzzy sets, which themselves are representable by an ordered pair of the standard Intuitionistic fuzzy sets.
Keywords
Introduction
Aristotle made the first steps to the establishment of the mathematical logic by formulating the concepts “sentence” and “predicate”; the fundamental logical functions as conjunction, disjunction and negation, the logical quantifiers, modal operators, and many others. He has the first who justifies the need for axioms and presented the first examples of such. For 23 centuries one of his proposed axioms – the law of excluded middle – has been among the main tools for proving mathematical assertions.
In the beginning of 20-th century, logical paradoxes appeared, which put in doubt the very foundations of mathematics. In the first decade of the century, David Hilbert and Bertrand Russel proposed ideas how the crisis in mathematics might be overcome, but with his theorem from the beginning of the 1930s Gödel showed the inapplicability of such ideas.
In 1912, Luitzen Brouwer proposed a new idea, called by him “intuitionism” which most generally may be stated as refusal to work with infinite sets and the law of excluded middle (see [9–12]).
In 1926, Jan Łukasiewicz for the first time proposed the sentences and predicates to be evaluated not by the two values 0 (“false”) and 1 (“true”), as has been done since the times of Aristotle, but to add an additional value 1/2 (“uncertainty”). This revolutionary step led to the emergence of a completely new type of logic. It is a serious argument supporting Brouwer’s intuitionism. In 1956, Łukasiewicz generalized the proposed by him three-valued logic to n-valued (many-valued logic).
The next step in the development of this idea was made by Lotfi Zadeh in 1965 by the introduction of the concept “fuzzy set” [16]. Just several years after the introduction of fuzzy sets, they became the object of further generalizations: L-fuzzy sets, rough sets, etc.
In 1983, the intuitionistic fuzzy sets were defined, in which for the first time two degrees were proposed of membership, or validity, or correctness (μ) and of non-membership, or non-validity, or non-correctness, etc (ν) [1]. Behind this definition is clearly seen Brouwer’s idea for intuitionism because every sentence, predicate, object, etc is evaluated not only as true (μ) or false (ν), but also by the degree of indeterminacy π. This was the reason the new sets were called intuitionistic fuzzy sets. Their definition does not preclude the possibility to define over such sets operations of the classical logic - for instance, negation and implication, however, it also provides the opportunity to define a wide class of nonclassical operations: negation, implication, conjunction, disjunction, etc.
In the recent years in the literature devoted to fuzzy sets there appeared definitions of objects named with the word “intuitionistic” but without the word “fuzzy”. This is incorrect because the reader is left with the impression that these objects are from the area of Brouwer’s intuitionism, but not from the area of Zadeh’s fuzzy sets.
After their introduction, by the end of 1980s intuitionistic fuzzy sets became an object of generalizations – intuitionistic L-fuzzy, interval valued intuitionistic fuzzy sets, intuitionistic fuzzy sets of second (and more generally n-th)-type, temporal intuitionistic fuzzy sets.
In the present paper we will discuss one of the generalization of the IFS – Interval valued intuitionistic fuzzy sets, and we will show how we can use them to represent some of the modifications of the notion intuitionistic fuzzy sets that have appeared in the last twenty years.
Intuitionistic fuzzy sets and interval valued intuitionistic fuzzy sets
Let us have a fixed universe E and its subset A. The set
For brevity, we shall write below A instead of A*, whenever this is possible.
First, we mention that in [4] some geometrical interpretations are discussed. The second of them has the form from Fig. 1. The set of the points of the interpretation triangle from Fig. 1 can be written as

Geometrical interpretation of IFS element.
An IVIFS A over E is an object of the form:
Obviously, this definition is analogous to the definition of IFS.
IVIFSs have geometrical interpretations similar to, but more complex than these of the IFSs. For example, the analogous of the geometrical interpretation from Fig. 1 is shown on Fig. 2.

Geometrical interpretation of IVIFS element.
Following [7], for the arbitrary element x ∈ E with degrees a and b (i.e., a, b, a + b ∈ [0, 1]), for the triple 〈x, a, b〉 we call that it is nesting in the IVIFS A and denote
We will say that the IFS
Now, let us define for the fixed above IVIFS A,
Obviously, for each IVIFS A,
Moreover, sets
In [14], the concept of an Inconsistent Intuitionistic Fuzzy Set (IIFS) is introduced, as follows
We can define again function π
A
: E → [0, 1] by means of
Now, we will discuss four IVIFS-interpretations of a fixed IIFS A i .
Let:
Obviously,
Therefore, the first IVIFS-interpretation of the IIFS A i is:
Let:
Obviously,
Therefore, the second IVIFS-interpretation of the IIFS A i is:
Let:
Obviously,
Therefore, the third IVIFS-interpretation of the IIFS A i is:
Let:
Obviously,
Therefore, the fourth IVIFS-interpretation of the IIFS A i is:
The concept of a Picture Fuzzy Set was introduced by B. C. Cuong in 2013 (see [13]). A PFS A* is an object of the following form:
Obviously, this concept coincides totally with IIFS and therefore, it has the above four IVIFS-interpretations.
In [15], the concept of a Neutrosophic Fuzzy Set (NFS) is introduced, as follows
Let
If
Therefore, the NFS can be represented by an IIFS. Using the above four IVIFS-interpretations of IIFS, we can construct four IVIFS-interpretations of a NFS.
If for the element x ∈ E :
If
Therefore, μ
A
(x) + ν
A
(x) + π
A
(x) =1, i.e.
Therefore, the NFS can be represented by an IFS.
Here as an illustration we provide few simple example of the different types and their corresponding representation for one element sets. Let us consider the IIFS (it can also be viewed as PFS):
Let
Consider the IVIFS from (65). Then its upper and lower boundary IFSs are:
As it has become clear from the constructions provided above, any Inconsistent intuitionistic fuzzy set, and Picture fuzzy set, and Neutrosophic fuzzy set are representable by an Interval-valued intuitionistic fuzzy set, which itself is representable by an ordered pair of standard intuitionistic fuzzy sets. Therefore, the assertions of certain authors that IIFS, PFS and NFS are extensions of IFS is incorrect. It is evident that all these extensions of fuzzy sets are equipollent with IFS.
In future study, we will show that other fuzzy set extensions are also equipollent with IFS.
Footnotes
Acknowledgements
The authors are thankful for the support provided by the Bulgarian National Science Fund under Grant Ref. No. DN-02-10/2016 and by the Program for career development of young scientists, Bulgarian Academy of Sciences under Grant number DFNP-17-139 “Investigation of different extensions of fuzzy sets and assessment of their correctness”.
