Next Article in Journal
Simpson’s Variational Integrator for Systems with Quadratic Lagrangians
Previous Article in Journal
Federated Learning Incentive Mechanism with Supervised Fuzzy Shapley Value
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Remark on Intuitionistic Fuzzy Temporal Modal Topological Structures

by
Krassimir Atanassov
Bioinformatics and Mathematical Modelling Department, Institute of Biophysics and Biomedical Engineering, Bulgarian Academy of Sciences, Acad. Georgi Bonchev Str., 1113 Sofia, Bulgaria
Axioms 2024, 13(4), 256; https://doi.org/10.3390/axioms13040256
Submission received: 8 February 2024 / Revised: 28 March 2024 / Accepted: 10 April 2024 / Published: 11 April 2024
(This article belongs to the Section Logic)

Abstract

:
In a series of papers, we have discussed the concept of a modal topological structure modified, extended and illustrated by examples from intuitionistic fuzzy sets. Here, the concept of a temporal modal topological structure is introduced and illustrated with four different intuitionistic fuzzy temporal modal topological structures. These structures are based on intuitionistic fuzzy topological, temporal and modal operators. They are extensions of the temporal topological structures as well as of the modal topological structures.

1. Introduction

In the middle of 2022, the author introduced the idea of Modal Topological Structure (MTS) in [1] and illustrated it with Intuitionistic Fuzzy MTSs (IFMTSs). This idea was based on Kazimierz Kuratowski’s definitions of topological structures in [2] (see also [3,4,5]). In a series of papers by the author, different examples of IFMTSs were introduced.
By the end of 2022, the idea for MTS (and, respectively, for IFMTS) was modified by changing the modal operators with temporal ones in [6]; as a result, the concept of a Temporal Topological Structure (TTS) was developed and respectively illustrated with examples of Intuitionistic Fuzzy Temporal Topological Structures (IFTTSs).
As mentioned in [6], the first time the concept of a “temporal topology” was used was probably in Robin Le Poidevin’s paper [7], while the concept of a temporal intuitionistic fuzzy topology in Šostak’s sense was discussed by Fatih Kutlu and Tunay Bilgin in [8,9,10]. Other results in the area of intuitionistic fuzzy topology are described in [11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27]. More precisely, in [11], a standard IF-topological structure was described for the first time; in [12,13,14,15,20,24,25], some types of IF-topological spaces were discussed; and in [16,17,19,21,26], some properties of these spaces (e.g., compactness, connectedness, and others) were studied. The category of IF-topological space was further introduced in [18], with the properties of the mappings over IF topological spaces elaborated in [22,23] and IF-metric spaces introduced in [27].
In Section 2 of the present paper, the ideas of MTS (respectively, IFMTS) and TTS (respectively, IFTTS) are united by defining the concept of a Temporal Modal Topological Structure (TMTS), which is illustrated with four Intuitionistic Fuzzy Temporal Modal Topological Structures (IFTMTSs). This is the first time that these structures have been reported to simultaneously contain three different types of intuitionistic fuzzy operators, namely, topological, temporal, and modal.
In Section 3, the idea of TMTS (respectively, IFTMTS) is extended to multi-Temporal Modal Topological Structure (multi-TMTS) featuring some temporal operators that satisfy an additional condition, and is illustrated with some Intuitionistic Fuzzy multi-Temporal Modal Topological Structures (IF-multi-TMTSs).
In the Conclusion, some potential applications of the new objects and ideas are described, paving the way to the future development of the present research.
The reader can find all the necessary definitions in [1,6,28]. For clarity of the exposition, we walk through only some of the most basic definitions.
Definition 1
(Closure type). Let us consider a set X with a minimal subset O and the set of all its subsets P ( X ) . We say that the operator Z : P ( X ) P ( X ) from topological, modal, or temporal type is of closure type ( c l -type) if, for each set A P ( X ) , we have
A Z ( A ) , Z ( O ) = O .
Definition 2
(Interior type). Under the same suppositions for the set X with a minimal subset O and the set of all its subsets P ( X ) , we say that the operator Z : P ( X ) P ( X ) from topological, modal, or temporal type is of interior type ( i n -type) if
Z ( A ) A , Z ( X ) = X .
Thus, the topological, temporal, and modal operators C , C , and ◊ (“Possibility”) from [1,6] are of c l -type, while the operators I , I , and □ (“Necessity”) are of i n -type.
In this paper, the definitions related to the concept of topological structure are discussed in two aspects: general and particular. The general aspect is based on an arbitrarily fixed set X, while the particular aspect is related to intuitionistic fuzziness. To distinguish the particular case from the general, the adopted denotation of the universal set for the particular case is E.

2. Four Intuitionistic Fuzzy Temporal Modal Topological Structures

Let us consider a fixed set X over which the standard set-theoretical operation “negation” (¬) is defined. Following [6], we assume that we have two operations, Δ , : P ( X ) × P ( X ) P ( X ) , defined in such a way that for every two sets A , B P ( X ) we have
A B = ¬ ( ¬ A Δ ¬ B ) ,
A Δ B = ¬ ( ¬ A ¬ B ) .
Let the operation Δ generate the c l -topological operator O and let the operation ∇ generate the i n -topological operator Q . For example, if operation Δ is the operation “union” (∪), then operator O is the c l -topological operator C , the c l -modal operator ◊, or the c l -intuitionistic fuzzy temporal operator C ; if operation ∇ is the operation “intersection” (∩), then operator Q is the i n -topological operator I , the i n -modal operator □, or the i n -intuitionistic fuzzy temporal operator I .
It must be mentioned here that many operations that do not satisfy Equalities (1) and (2) are defined over the Intuitionistic Fuzzy Sets (IFSs; see, e.g., [28]). However, some of these satisfy the following modifications of (1) and (2) for every two IFSs A , B :
¬ ¬ A ¬ ¬ B = ¬ ( ¬ A Δ ¬ B ) , ¬ ¬ A Δ ¬ ¬ B = ¬ ( ¬ A ¬ B ) .
In this case, the well-known equality ¬ ¬ A = A is not necessarily valid for each IFS A as well. As discussed in [28], this is an additional argument for applying the name “intuitionistic” to the IFSs. In the present research, no such operations are used.
By analogy with (1) and (2), it is assumed that for each set A, we have
Q ( A ) = ¬ ( O ( ¬ A ) ) ,
O ( A ) = ¬ ( Q ( ¬ A ) ) .
Now, following [2], we assume that the c l -operators satisfy the following conditions:
C1
O ( A Δ B ) = O ( A ) Δ O ( B ) ,
C2
A O ( A ) ,
C3
O ( O ( A ) ) = O ( A ) ,
C4
O ( O ) = O
and that the i n -operators satisfy the conditions
I1
Q ( A Δ B ) = Q ( A ) Δ Q ( B ) ,
I2
Q ( A ) A ,
I3
Q ( Q ( A ) ) = Q ( A ) ,
I4
Q ( X ) = X .
In [1], two groups of C-conditions are used, namely, for the (intuitionistic fuzzy topological) operator C and the (intuitionistic fuzzy modal) operator ◊; likewise, two groups of I-conditions, for the (intuitionistic fuzzy topological) operator I and for the (intuitionistic fuzzy modal) operator □, are used.
In [6], two groups of C-conditions are used, for the operator C and the (intuitionistic fuzzy temporal topological) operator C ; two groups of I-conditions are employed as well: one for the operator I , and one for the operator I . One C-group and one I-group are used when working with the operators C and I ; analogously, one I-group and one C-group are used when working with the operators I and C . To denote the use of c l -topological and c l -temporal topological operators for a structure, we use the record “ c l - c l ”, and write “ c l - i n ” to indicate the use of c l -topological and i n -temporal-topological operators for a structure. For the two other remaining cases, we write “ i n - c l ” and “ i n - i n ”, respectively. Thus, for the sake of simplicity, we use the following two notations below: α , β , where each of them—in this order—denotes the type of the operator, namely, closure type or interior type (formally, α , β { c l , i n } , where the first symbol defines the topological aspect of the structure and the second symbol β defines the temporal aspect of the structure). Thus, when we use the denotation “ α - β -structure” it is defined by the α -topological operator and the β -temporal operator, for four combinations altogether.
In any case, we have the eight conditions from Kuratowski’s type C1–C4 and/or I1–I4, and add to them the following ninth supplemental condition:
Z ( Y ( A ) ) = Y ( Z ( A ) ) .
Here, Y and Z are two operators from different types (either topological and modal or topological and temporal-topological types).
In general, the TTS over the set X is denoted by P ( X ) , O , Δ , Q , where O is a topological operator from α -type and Q is a temporal operator from β -type, where α , β { c l , i n } .
As we are working here with three operators (standard topological, temporal-topological, and modal), we must have three groups of Kuratowski’s conditions. The operators must satisfy Equalities (3) and (4), and we have three equalities (one for each the pair operators) of the same form as Equality (5).
In the present paper, we introduce as particular cases some TTSs from the area of IFSs. For this purpose, it should be mentioned that when we have a fixed universe E and its subset A, the set
A = { x , μ A ( x ) , ν A ( x ) | x E } ,
where
0 μ A ( x ) + ν A ( x ) 1
is called an IFS, where for A the functions μ A : E [ 0 , 1 ] and ν A : E [ 0 , 1 ] represent the degree of membership (validity, etc.) and non-membership (non-validity, etc.) of element x E with respect to the set A.
Below, for simplicity, we denote the IFS A as A, because in what follows we use only the IFS, not the subset of E for which the membership and non-membership functions are used.
The IFSs have different geometrical interpretations. The most suitable is shown in Figure 1. It shows that two degrees are juxtaposed to each element x E , respectively, a degree of membership μ A ( x ) and a degree of non-membership ν A ( x ) .
As mentioned in [6], for a fixed universe E and a temporal scale T, the object
A ( T ) = { x , t , μ A ( x , t ) , ν A ( x , t ) | x , t E × T }
is called a Temporal IFS (TIFS), where μ A ( x , t ) and ν A ( x , t ) are the degrees of membership and non-membership, respectively, of the element x E at the time-moment t T , meaning that μ A ( x , t ) + ν A ( x , t ) 1 for every x , t E × T . The temporal scale T can be some fixed subset of positive real numbers.
Temporal IFSs represent an extension of IFSs. They were introduced by the author in [29], described in more detail in [28], and have subsequently become an object of research by numerous other authors (see, e.g., [30,31,32]).
In [6], the unary operation “negation” and the binary operations “union” and “intersection” over two TIFSs, as well as the relations between two IFTTSs, were defined as follows:
¬ A ( T ) = { x , t , ν A ( x , t ) , μ A ( x , t ) | x , t E × T } ,
A ( T ) B ( T ) = { x , t , max ( μ A ( x , t ) , μ B ( x , t ) ) , min ( ν A ( x , t ) , ν A ( x , t ) ) , | x , t E × T } ,
A ( T ) B ( T ) = { x , t , min ( μ A ( x , t ) , μ B ( x , t ) ) , max ( ν A ( x , t ) , ν A ( x , t ) ) , | x , t E × T } ,
A ( T ) B ( T ) iff ( x E ) ( t T ) ( μ A ( T ) ( x , t ) μ B ( T ) ( x , t ) & ν A ( T ) ( x , t ) ν B ( T ) ( x , t ) ) ; A ( T ) B ( T ) iff B ( T ) A ( T ) ; A ( T ) = B ( T ) iff ( x E ) ( t T ) ( μ A ( T ) ( x , t ) = μ B ( T ) ( x , t ) & ν A ( T ) ( x , t ) = ν B ( T ) ( x , t ) ) .
Several other operations from each of these types were defined there, as well. Here, as in [6], we work only with the simplest forms of these operations, as described above.
The geometrical interpretation of the TIFS that corresponds to the one from Figure 1 is shown in Figure 2 (in two different ways for the sake of greater clarity).
Following [28], let us define
O ( T ) = { x , t , 0 , 1 | x , t E × T } , E ( T ) = { x , t , 1 , 0 | x , t E × T } .
Below, we use the set
P ( E ( T ) ) = { A ( T ) | A ( T ) E ( T ) } .
The standard intuitionistic fuzzy topological operators have the following forms:
C ( A ( T ) ) = { x , t , sup y E μ A ( T ) ( y , t ) , inf y E ν A ( T ) ( y , t ) | x , t E × T } , I ( A ( T ) ) = { x , t , inf y E μ A ( T ) ( y , t ) , sup y E ν A ( T ) ( y , t ) | x , t E × T } ,
while the intuitionistic fuzzy temporal topological operators over the TIFSs have the forms
C ( A ( T ) ) = { x , t , sup u T μ A ( T ) ( x , u ) , inf u T ν A ( T ) ( x , u ) | x , t E × T } , I ( A ( T ) ) = { x , t , inf u T μ A ( T ) ( x , u ) , sup u T ν A ( T ) ( x , u ) | x , t E × T } .
The intuitionistic fuzzy modal operators over TIFSs have the following forms:
A ( T ) = { x , t , μ A ( T ) ( x , t ) , 1 μ A ( T ) ( x , t ) | x , t E × T } , A ( T ) = { x , t , 1 ν A ( T ) ( x , t ) , ν A ( T ) ( x , t ) | x , t E × T } .
We illustrate all definitions above with the following example.
Example 1.
Let the universal set E = { a , b , c } and T = { 3 , 7 } . Then,
E ( T ) = { a , 3 , 1 , 0 , a , 7 , 1 , 0 , b , 3 , 1 , 0 , b , 7 , 1 , 0 , c , 3 , 1 , 0 , c , 7 , 1 , 0 } .
Let
A ( T ) = { a , 3 , 0.2 , 0 , 5 , a , 7 , 0.7 , 0.1 , b , 3 , 0.4 , 0.4 , b , 7 , 0.5 , 0.3 , c , 3 , 0.6 , 0.4 , c , 7 , 0.3 , 0.4 } , B ( T ) = { a , 3 , 0.5 , 0 , 3 , a , 7 , 0.4 , 0.1 , b , 3 , 0.2 , 0.6 , b , 7 , 0.7 , 0.2 , c , 3 , 0.6 , 0.3 , c , 7 , 0.5 , 0.4 } .
Then,
A ( T ) B ( T ) = { a , 3 , 0.2 , 0 , 5 , a , 7 , 0.4 , 0.1 , b , 3 , 0.2 , 0.6 , b , 7 , 0.5 , 0.3 , c , 3 , 0.6 , 0.4 , c , 7 , 0.3 , 0.4 } , A ( T ) B ( T ) = { a , 3 , 0.5 , 0 , 3 , a , 7 , 0.7 , 0.1 , b , 3 , 0.4 , 0.4 , b , 7 , 0.7 , 0.2 , c , 3 , 0.6 , 0.3 , c , 7 , 0.5 , 0.4 } , A ( T ) = { a , 3 , 0.2 , 0 , 8 , a , 7 , 0.7 , 0.3 , b , 3 , 0.4 , 0.6 , b , 7 , 0.5 , 0.5 , c , 3 , 0.6 , 0.4 , c , 7 , 0.3 , 0.7 } , B ( T ) = { a , 3 , 0.7 , 0 , 3 , a , 7 , 0.9 , 0.1 , b , 3 , 0.4 , 0.6 , b , 7 , 0.8 , 0.2 , c , 3 , 0.7 , 0.3 , c , 7 , 0.6 , 0.4 } , C ( A ( T ) ) = { a , 3 , 0.6 , 0 , 4 , a , 7 , 0.7 , 0.1 , b , 3 , 0.6 , 0.4 , b , 7 , 0.7 , 0.1 , c , 3 , 0.6 , 0.4 , c , 7 , 0.7 , 0.1 } , I ( B ( T ) ) = { a , 3 , 0.2 , 0 , 6 , a , 7 , 0.4 , 0.4 , b , 3 , 0.2 , 0.6 , b , 7 , 0.4 , 0.4 , c , 3 , 0.2 , 0.6 , c , 7 , 0.4 , 0.4 } , C ( A ( T ) ) = { a , 3 , 0.7 , 0 , 1 , a , 7 , 0.7 , 0.1 , b , 3 , 0.5 , 0.3 , b , 7 , 0.5 , 0.3 , c , 3 , 0.6 , 0.4 , c , 7 , 0.6 , 0.4 } , I ( B ( T ) ) = { a , 3 , 0.4 , 0 , 3 , a , 7 , 0.4 , 0.3 , b , 3 , 0.2 , 0.6 , b , 7 , 0.2 , 0.6 , c , 3 , 0.4 , 0.4 , c , 7 , 0.4 , 0.4 } .
Below, as a notation of TMTS, we use records in the form α - β - γ (in this order), where α , β , γ { c l , i n } . The first symbol ( α ) represents the type (closure or interior) of the topological operator, the second symbol ( β ) represents the temporal-topological operator, and the third symbol ( γ ) represents the modal operator.
Therefore, the α - β - γ -TMTS over the set X is denoted by P ( X ) , O , Δ , Q , , where O is a topological operator from α -type generated by operation Δ , Q is a temporal operator from β -type, and ∘ is a modal operator from γ -type.
It must be mentioned here that in the particular case of intuitionistic fuzziness we are not able to construct a structure with the participation of the topological operator C and the temporal operator I or with the participation of the topological operator I and the temporal operator C . This is because the equalities
C ( I ( A ) ) = I ( C ( A ) ) , I ( C ( A ) ) = C ( I ( A ) ) ,
which are particular cases of condition (5), do not hold. The argument for this is that, for any numerical set x 1 , 1 , x 1 , 2 , , x m , n , the equality
max 1 i m min 1 j n x i , j = min 1 i m max 1 j n x i , j
does not necessarily hold. For this reason, the structures P ( E ( T ) ) , C , , I , P ( E ( T ) ) , I , , C and their extensions with the addition of modal operators are impossible. An open problem is whether other intuitionistic fuzzy operators exist for which the two equalities in (6) hold true.
We now illustrate the new concept of TMTS with four particular cases of these structures from the area of intuitionistic fuzziness, formulating and proving the following four assertions.
Theorem 1.
For each universe E and each temporal scale T, P ( E ( T ) ) , C , , C , is an IF- c l - c l - c l -TMTS.
Proof. 
The validity of conditions C1–C4 for the operator C is proven in [1]; respectively, the validity of C1–C4 for the temporal operator C is established in [6] and for the modal operator ◊ in [28]. Equality (5) is checked for operators C and C in [6] and proven for operators C and ◊ in [1].
Therefore, it remains only to check Equality (5) for operators C and ◊. We have
C ( A ( T ) ) = C ( { x , t , μ A ( x , t ) , ν A ( x , t ) | x , t E × T } ) = C ( { x , t , 1 ν A ( x , t ) , ν A ( x , t ) | x , t E × T } ) = { x , t , sup u T ( 1 ν A ( x , u ) ) , inf u T ν A ( x , u ) | x , t E × T } ) = { x , t , 1 inf u T ν A ( x , u ) , inf u T ν A ( x , u ) | x , t E × T } ) = { x , t , sup u T μ A ( x , u ) , inf u T ν A ( x , u ) | x , t E × T } ) = C ( A ( T ) ) ,
therefore, Equality (5) is valid for operators C and ◊. □
Corollary 1.
For each IFS A E and for each temporal scale T,
C ( C ( A ( T ) ) ) = C ( C ( A ( T ) ) ) = C ( C ( A ( T ) ) ) = C ( C ( A ( T ) ) ) = C ( C ( A ( T ) ) ) = C ( C ( A ( T ) ) ) .
Theorem 2.
For each universe E and each temporal scale T, P ( E ( T ) ) , C , , C , is an IF- c l - c l - i n -TMTS.
Proof. 
As above, the validity of conditions C1–C4 for the operator C is checked in [1], for the temporal operator C in [6], and for the modal operator □ in [28]. Equality (5) is checked for operators C and C in [6] and for operators C and □ in [28]. Thus, here we must check only Equality (5) for operators C and □. We have
C ( A ( T ) ) = C ( { x , t , μ A ( x , t ) , ν A ( x , t ) | x , t E × T } ) = C ( { x , t , μ A ( x , t ) , 1 μ A ( x , t ) | x , t E × T } ) = { x , t , sup u T μ A ( x , u ) , inf u T ( 1 μ A ( x , u ) | x , t E × T } ) = { x , t , sup u T μ A ( x , u ) ) , 1 sup u T μ A ( x , u ) | x , t E × T } ) = { x , t , sup u T μ A ( x , u ) , inf u T ν A ( x , u ) | x , t E × T } ) = C ( A ( T ) ) ,
therefore, Equality (5) holds true for operators C and □. This completes the proof. □
Corollary 2.
For each IFS A E and for each temporal scale T,
C ( C ( A ( T ) ) ) = C ( C ( A ( T ) ) ) = C ( C ( A ( T ) ) ) = C ( C ( A ( T ) ) ) = C ( C ( A ( T ) ) ) = C ( C ( A ( T ) ) ) .
The next assertions can be proved in the same manner.
Theorem 3.
For each universe E and each temporal scale T, P ( E ( T ) ) , I , , I , is an IF- i n - i n - c l -TMTS.
Proof. 
The validity of conditions I1–I4 for the operator I is checked in [1] and for the temporal operator I in [6]. The validity of of conditions C1–C4 for the modal operator ◊ is checked in in [28]. Equality (5) is checked for operators I and I in [6] and for operators I and ◊ in [28]. Thus, we must check only Equality (5) for operators I and ◊, which is valid because
I ( A ( T ) ) = I ( { x , t , μ A ( x , t ) , ν A ( x , t ) | x , t E × T } ) = I ( { x , t , 1 ν A ( x , t ) , ν A ( x , t ) | x , t E × T } ) = { x , t , inf u T ( 1 ν A ( x , u ) ) , sup u T ν A ( x , u ) | x , t E × T } ) = { x , t , 1 sup u T ν A ( x , u ) ) , sup u T ν A ( x , u ) | x , t E × T } ) = { x , t , inf u T ν A ( x , u ) , sup u T ν A ( x , u ) | x , t E × T } ) = C ( A ( T ) ) ,
i.e., (5) is valid for operators I and ◊. □
Corollary 3.
For each IFS A E and for each temporal scale T,
I ( I ( A ( T ) ) ) = I ( I ( A ( T ) ) ) = I ( I ( A ( T ) ) ) = I ( I ( A ( T ) ) ) = I ( I ( A ( T ) ) ) = I ( I ( A ( T ) ) ) .
Theorem 4.
For each universe E and each temporal scale T, P ( E ( T ) ) , I , , I , is an IF- i n - i n - i n -TMTS.
Proof. 
The validity of conditions I1–I4 for the operator I is checked in [1], for the temporal operator I in [6], and for the modal operator □ in [28]. Equality (5) is checked for the operators C and C in [6] and for the operators C and □ in [28]. Thus, here we must check only Equality (5) for operators I and □, which is valid, as above, because
I ( A ( T ) ) = I ( { x , t , μ A ( x , t ) , 1 μ A ( x , t ) | x , t E × T } ) = { x , t , inf u T μ A ( x , u ) , sup u T ( 1 μ A ( x , u ) | x , t E × T } ) = { x , t , inf u T μ A ( x , u ) ) , 1 inf u T μ A ( x , u ) | x , t E × T } ) = { x , t , inf u T μ A ( x , u ) , sup u T ν A ( x , u ) | x , t E × T } ) = I ( A ( T ) ) ,
i.e., (5) is valid for operators I and ◻. This completes the proof. □
Corollary 4.
For each IFS A E and for each temporal scale T,
I ( I ( A ( T ) ) ) = I ( I ( A ( T ) ) ) = I ( I ( A ( T ) ) ) = I ( I ( A ( T ) ) ) = I ( I ( A ( T ) ) ) = I ( I ( A ( T ) ) ) .

3. Intuitionistic Fuzzy Multi-Temporal Modal Topological Structures

Let us consider a finite or infinite temporal scale T where U T . Using the definitions of the operators C and I , we can now provide the following definition.
Definition 3.
For each IFS A and temporal scale T, operators C and I are defined as
C U ( A ( T ) ) = { x , t , sup u U μ A ( T ) ( x , u ) , inf u U ν A ( T ) ( x , u ) | x , t E × T } , I U ( A ( T ) ) = { x , t , inf u U μ A ( T ) ( x , u ) , sup u U ν A ( T ) ( x , u ) | x , t E × T } .
For the subsets T 1 , T 2 , , T n of T, let them satisfy the following inclusions:
T 1 T 2 T n T .
Example 2.
For example, in Figure 3, along the temporal scale T = { t 1 , t 2 , t 3 , , t 9 } we have the subscale T 1 = { t 1 , t 6 , t 7 . } , which is a subscale of T 2 = { t 1 , t 2 , t 6 , t 7 , t 9 } , which is in turn a subscale of T 3 = { t 1 , t 2 , t 3 , t 6 , t 7 , t 9 } .
At this stage, we can prove the following lemma.
Lemma 1.
For each TIFS A ( T ) :
I T n ( A ( T ) ) I T n 1 ( A ( T ) ) I T 1 ( A ( T ) ) A ( T ) C T 1 ( A ( T ) ) C T n 1 ( A ( T ) ) C T n ( A ( T ) ) .
Proof. 
Let 1 i < j n be natural numbers and let the TIFS A ( T ) be given, with T 1 , , T n satisfying (7). Then,
I T j ( A ( T ) ) = { x , t , inf u T j μ A ( T ) ( x , u ) , sup u T j ν A ( T ) ( x , u ) | x , t E × T } { x , t , inf u T i μ A ( T ) ( x , u ) , sup u T i ν A ( T ) ( x , u ) | x , t E × T } = I T i ( A ( T ) ) ,
because, as is obvious from T i T j , it follows that it is possible that an element may exist in the set T i that exhibits a lower degree of membership (respectively, a higher degree of non-membership) than the respective degrees of the all elements of T j . Then,
inf u T j μ A ( T ) ( x , u ) inf u T i μ A ( T ) ( x , u )
and
sup u T j ν A ( T ) ( x , u ) sup u T i ν A ( T ) ( x , u ) .
In the same way, it is apparent that
C T i ( A ( T ) ) C T j ( A ( T ) ) .
Finally, for the TIFS A ( T ) , it holds that
I T 1 ( A ( T ) ) = { x , t , inf u T 1 μ A ( T ) ( x , u ) , sup u T 1 ν A ( T ) ( x , u ) | x , t E × T } A ( T ) { x , t , sup u T 1 μ A ( T ) ( x , u ) , inf u T 1 ν A ( T ) ( x , u ) | x , t E × T } = C T 1 ( A ( T ) ) .
Therefore, temporal topological operators satisfy Lemma 1 and the inclusions in (6). □
In the general case, we use the notation “ α - ( m , β ) - γ -Multi-Temporal Modal Topological Structure” (abbreviated: α - ( m , β ) - γ -Multi-TMTS) to refer to the structure of the form
P ( X ) , O , Δ , O 1 , , O m , ,
where:
  • α , β , γ { c l , i n } ;
  • O is a topological operator of α -type generated by the operation Δ and satisfying conditions C1–C4 or I1–I4 with respect to α ;
  • m is the number of closure or interior temporal operators with respect to β ;
  • O 1 , , O m are temporal operators of β -type, all satisfying conditions C1–C4 or I1–I4 with respect to β ;
  • ∘ is a modal operator of γ -type that satisfies conditions C1–C4 or I1–I4 with respect to γ .
Each of the pairs O , O i for 1 i m must satisfy Equality (5) and the operators O 1 , , O m must satisfy their part of Inequality (8).
Now, we can prove the validity of the following assertions related to a particular case of α - ( m , β ) - γ -Multi-Temporal Modal Topological Structure based on intuitionistic fuzziness.
Theorem 5.
For each universe E and for every m temporal scales T 1 , , T m that satisfy (7),
P ( E ) , C , , C 1 , , C m ,
is an IF- c l -(m- c l )- c l -TMTS.
Proof. 
Really, this assertion is valid because, as mentioned in the proof of Theorem 1, the validity of conditions C1–C4 for the operator C is proven in [1], for the i-th temporal operators C i in [6] for each 1 i m , and for the modal operator ◊ in [28]. Equality (5) is checked for operators C and C in [6] and for operators C and ◊ in [1], respectively, while the proof that this equality holds for operators C i and ◊ is the same as in the proof of Theorem 1. □
The following Theorems 6–8 are proven identically.
Theorem 6.
For each universe E and for every m temporal scales T 1 , , T m that satisfy (7),
P ( E ) , C , , C 1 , , C m ,
is an IF- c l -(m- c l )- i n -TMTS.
Theorem 7.
For each universe E and for every m temporal scales T 1 , , T m that satisfy (7),
P ( E ) , I , , I 1 , , I m ,
is an IF- i n -(m- i n l )- c l -TMTS.
Theorem 8.
For each universe E and for every m temporal scales T 1 , , T m that satisfy (7),
P ( E ) , I , , I 1 , , I m ,
is an IF- i n -(m- i n )- i n -TMTS.
Definition 4
(Dual structures). We say that two α-(m-β)-γ-TMTSs
P ( X ) , O , Δ , O 1 , , O m ,
and
P ( Y ) , Q , , Q 1 , , Q m ,
are dual structures if:
1.
X = Y
2.
For each set A P ( X ) , Equalities (1)–(4) and
A = ¬ ¬ A , A = ¬ ¬ A
hold true.
Therefore, it can be seen directly that
P ( E ) , C , , C 1 , , C m , a n d P ( E ) , I , , I 1 , , I m ,
are dual structures, just as
P ( E ) , C , , C 1 , , C m , a n d P ( E ) , I , , I 1 , , I n ,
are dual structures.
Having in mind that the eequalities in (6) do not always hold true, it is obvious that each IF- c l -(m-cl)- γ -TMTS can be interpreted as a set of a total number of m IF- c l - c l - γ -TMTSs, where γ { c l , i n } .
Conversely, let us consider the set of structures
P ( E ) , C , , C 1 , γ , P ( E ) , C , , C 2 , γ , P ( E ) , C , , C m , γ .
We can construct a new extended topological structure P ( E ) , C , , C 1 , , C m , γ . By analogy, when we have the structures
P ( E ) , I , , I 1 , γ , P ( E ) , I , , I 2 , γ , P ( E ) , I , , I n , γ ,
we can construct an extended topological structure P ( E ) , I , , I 1 , , I n , γ .
In this regard, we can follow an idea from [1,33] generated from the definitions of maps and atlases in differential geometry (see, e.g., [34,35]). In [1,33], this idea is transferred for different topological structures with a joint universe. As mentioned in [33], while these maps and atlases are similar to those from differential geometry, there are differences (in the author’s paper, additional details about this idea in the IF-case are provided). They are related to the modal and the topological operators of the structures.
Here, we rewrite this idea, for the case of temporal-topological operators. As shown in the above lemma, the inclusions in (8) are valid.
Therefore, we can interpret each of the above total number of n i n -structures as a map, and the sets of the maps can be ordered and enumerated by a function N , as follows:
N ( I i ) = i ( i = 1 , , n ) .
Hence, the maps constructed in this way generate an i n -atlas. By analogy, each of the above total number of m  c l -structures can be interpreted as a map, and their set can be ordered and enumerated by the same function N , as follows:
N ( C j ) = j ( j = 1 , , m ) .
Therefore, by collecting these maps, we obtain a c l -atlas.
Finally, we can enumerate all of the above mentioned m + n structures (or maps) by
N ( I i ) = i ( i = 1 , , n ) , N ( C j ) = n + j ( j = 1 , , m ) .
Hence, the arguments of the temporal topological operators generate a pagination of the set of all i n - and c l -maps; in this case, we obtain an atlas that contains i n -maps as well as c l -maps (see Figure 4).

4. Conclusions

In the present paper, continuing the idea from [6], the concept of Multi-Temporal Modal Topological Structures is constructed and illustrated with some IF-multi-TMTSs. Having in mind that in IFS theory there are modal, topological, temporal, and level operators of different types, it is possible to construct more complex structures. For example, in the near future, using the modal operators from [33], we will construct Multi-Temporal Multi-Modal Topological Structures that can be illustrated with examples from the area of intuitionistic fuzziness.
This research can find applications in different areas. For example, it is possible to interpret the complex procedure for decision-making from [36] as a multi-TMTS. In this case, we have three types of objects: experts, criteria, and some objects that the experts must evaluate using the criteria provided by the organizers of procedure or determined by the experts beforehand. The experts can be assigned intuitionistic fuzzy scores corresponding to the number of procedures in which they have provided correct evaluations (degree of correctness) and the number of procedures in which they were incorrect (degree of incorrectness). The degree of uncertainty corresponds to the number of procedures for which the respective expert stops participating after starting the process of decision-making. Each expert’s estimation for a given object about some criterion can have an intuitionistic fuzzy form as well (i.e., the degrees of validity and non-validity of the criterion for the object). Therefore, this situation can be represent by an IFMTS. If we would like to represent the previous expert’s attempt to evaluate the same objects, then we can use the set of the previous expert’s evaluations as well. In this case, we obtain an IFTMTS. Having in mind that different experts, each with their own history, participate in the process of concrete decision-making, we can use different temporal scales for the different experts, and thereby obtain IF-multi-TMTSs.
Finally, it is important to note that in the present paper, as well as in the author’s previous papers on this theme, this discussion is related only to the forms of the topological structures extended with modal, temporal, or other operators. In the future, the attention of the author will be directed to the topological spaces of these structures as well.

Funding

This research was realized within the frame of the project KP-06-N22-1/2018, “Theoretical research and applications of InterCriteria Analysis”.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Acknowledgments

The author is grateful to the anonymous reviewers for their painstaking comments and thoughtful suggestions on the preliminary versions of this paper. The author is further thankful to his colleagues Peter Vassilev and Vassia Atanassova, whose comments and suggestions essentially improved both the organization and the presentation of the paper.

Conflicts of Interest

The author declares no conflicts of interest.

References

  1. Atanassov, K. Intuitionistic Fuzzy Modal Topological Structure. Mathematics 2022, 10, 3313. [Google Scholar] [CrossRef]
  2. Kuratowski, K. Topology; Academic Press: New York, NY, USA, 1966; Volume 1. [Google Scholar]
  3. Bourbaki, N. Éléments de Mathématique, Livre III: Topologie Générale, Chapitre 1: Structures Topologiques, Chapitre 2: Structures Uniformes; Herman: Paris, France, 1960. (In French) [Google Scholar]
  4. Munkres, J. Topology; Prentice Hall Inc.: New Jersey, NJ, USA, 2000. [Google Scholar]
  5. Ying, M. Topology in Process Calculus; Springer: New York, NY, USA, 2001. [Google Scholar]
  6. Atanassov, K. On Intuitionistic Fuzzy Temporal Topological Structures. Axioms 2023, 12, 182. [Google Scholar] [CrossRef]
  7. De Poidevin, R. Relationism and Temporal Topology: Physics or Metaphysics? Philos. Q. 1990, 40, 419–432. [Google Scholar] [CrossRef]
  8. Kutlu, F.; Bilgin, T. Temporal Intuitionistic Fuzzy Topology in Šostak’s Sense. Notes Intuitionistic Fuzzy Sets 2015, 21, 63–70. [Google Scholar]
  9. Kutlu, F.; Ramadan, A.; Bilgin, T. On compactness in temporal intuitionistic fuzzy Šostak topology. Notes Intuitionistic Fuzzy Sets 2016, 22, 46–62. [Google Scholar]
  10. Kutlu, F. On separation axioms in temporal intuitionistic fuzzy Šostak topology. Notes Intuitionistic Fuzzy Sets 2017, 23, 21–30. [Google Scholar]
  11. Çoker, D. On topological structures using intuitionistic fuzzy sets. Notes Intuitionistic Fuzzy Sets 1997, 3, 138–142. [Google Scholar]
  12. Çoker, D. An introduction to intuitionistic fuzzy topological spaces. Fuzzy Sets Syst. 1997, 88, 81–89. [Google Scholar] [CrossRef]
  13. Lupiañez, F.G. Separation in intuitionistic fuzzy topological spaces. Int. Pure Appl. Math. 2004, 17, 29–34. [Google Scholar]
  14. Lupiañez, F.G. On intuitionistic fuzzy topological spaces. Kybernetes 2006, 35, 743–747. [Google Scholar] [CrossRef]
  15. El-Latif, A.; Khalaf, M. Connectedness in Intuitionistic Fuzzy Topological Spaces in Sostak’s Sense. Ital. J. Pure Appl. Math. 2015, 35, 649–668. [Google Scholar]
  16. Haydar Eş, A.; Çoker, D. More on fuzzy compactness in intuitionistic fuzzy topological spaces. Notes Intuitionistic Fuzzy Sets 1996, 2, 4–10. [Google Scholar]
  17. Kim, Y.C.; Abbas, S.E. Connectedness in Intuitionistic Fuzzy Topological Spaces. Commun. Korean Math. Soc. 2005, 20, 117–134. [Google Scholar] [CrossRef]
  18. Lee, S.J.; Lee, E.P. The category of intuitionistic fuzzy topological spaces. Bull. Korean Math. Soc. 2000, 37, 63–76. [Google Scholar]
  19. Milles, S. The Lattice of Intuitionistic Fuzzy Topologies Generated by Intuitionistic Fuzzy Relations. Appl. Appl. Math. 2020, 15, 942–956. [Google Scholar]
  20. Mondal, K.; Samanta, S.K. A study on intuitionistic fuzzy topological spaces. Notes Intuitionistic Fuzzy Sets 2003, 9, 1–32. [Google Scholar]
  21. Özbakir, O.B.; Çoker, D. Fuzzy multifunctions in intuitionistic fuzzy topological spaces. Notes Intuitionistic Fuzzy Sets 1999, 5, 1–5. [Google Scholar]
  22. Rajarajeswari, P.; Krishna Moorthy, R. Intuitionistic fuzzy completely weakly generalized continuous mappings. Notes Intuitionistic Fuzzy Sets 2012, 18, 25–36. [Google Scholar]
  23. Roopkumar, R.; Kalaivani, C. Continuity of intuitionistic fuzzy proper functions on intuitionistic smooth fuzzy topological spaces. Notes Intuitionistic Fuzzy Sets 2010, 16, 1–21. [Google Scholar]
  24. Saadati, R.; Park, J.H. On the intuitionistic fuzzy topological spaces. Chaos Solitons Fractals 2006, 27, 331–334. [Google Scholar] [CrossRef]
  25. Thakur, S.; Chaturvedi, R. Generalized continuity in intuitionistic fuzzy topological spaces. Notes Intuitionistic Fuzzy Sets 2006, 12, 38–44. [Google Scholar]
  26. Tiwari, S. On relationships among intuitionistic fuzzy approximation operators, intuitionistic fuzzy topology and intuitionistic fuzzy automata. Notes Intuitionistic Fuzzy Sets 2010, 16, 1–9. [Google Scholar]
  27. Yongfa, H.; Changjun, J. Some properties of intuitionistic fuzzy metric spaces. Notes Intuitionistic Fuzzy Sets 2004, 10, 18–26. [Google Scholar]
  28. Atanassov, K. On Intuitionistic Fuzzy Sets Theory; Springer: Berlin, Germany, 2012. [Google Scholar]
  29. Atanassov, K. Temporal intuitionistic fuzzy sets. C. R. Acad. Bulg. Sci. 1991, 44, 5–7. [Google Scholar]
  30. Alcantud, J.C.; Khameneh, A.Z.; Kilicman, A. Aggregation of infinite chains of intuitionistic fuzzy sets and their application to choices with temporal intuitionistic fuzzy information. Inf. Sci. 2020, 514, 106–117. [Google Scholar]
  31. Parvathi, R.; Radhamani, C. Multi-parameter temporal intuitionistic fuzzy sets. Notes Intuitionistic Fuzzy Sets 2016, 22, 35–47. [Google Scholar]
  32. Yılmaz, S.; Çuvalcioğlu, G. On level operators for temporal intuitionistic fuzzy sets. Notes Intuitionistic Fuzzy Sets 2014, 20, 6–15. [Google Scholar]
  33. Atanassov, K. Intuitionistic Fuzzy Modal Multi-Topological Structures and Intuitionistic Fuzzy Multi-Modal Multi-Topological Structures. Mathematics 2024, 12, 361. [Google Scholar] [CrossRef]
  34. Gromoll, D.; Klingenberg, W.; Mryer, W. Riemannsche Geometrie in Grossen; Springer: Berlin, Germany, 1968. [Google Scholar]
  35. Sternberg, S. Lectures on Differential Geometry; Prentice Hall: Englewood, NJ, USA, 1964. [Google Scholar]
  36. Atanassov, K.; Pasi, G.; Yager, R. Intuitionistic fuzzy interpretations of multi-criteria multi-person and multi-measurement tool decision making. Int. J. Syst. Sci. 2005, 36, 859–868. [Google Scholar] [CrossRef]
Figure 1. A geometrical interpretation of an element of the IFS.
Figure 1. A geometrical interpretation of an element of the IFS.
Axioms 13 00256 g001
Figure 2. A geometrical interpretation of an element of the TIFS at three moments of time: (a) projection on a single IF interpretation triangle and (b) projections on three IF interpretation triangles according to the respective moments of time on the temporal scale T.
Figure 2. A geometrical interpretation of an element of the TIFS at three moments of time: (a) projection on a single IF interpretation triangle and (b) projections on three IF interpretation triangles according to the respective moments of time on the temporal scale T.
Axioms 13 00256 g002
Figure 3. Temporal scales T , T 1 , T 2 , T 3 .
Figure 3. Temporal scales T , T 1 , T 2 , T 3 .
Axioms 13 00256 g003
Figure 4. Atlas with maps generated by temporal topological operators I n , , I 1 , C 1 , , O m .
Figure 4. Atlas with maps generated by temporal topological operators I n , , I 1 , C 1 , , O m .
Axioms 13 00256 g004
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Atanassov, K. Remark on Intuitionistic Fuzzy Temporal Modal Topological Structures. Axioms 2024, 13, 256. https://doi.org/10.3390/axioms13040256

AMA Style

Atanassov K. Remark on Intuitionistic Fuzzy Temporal Modal Topological Structures. Axioms. 2024; 13(4):256. https://doi.org/10.3390/axioms13040256

Chicago/Turabian Style

Atanassov, Krassimir. 2024. "Remark on Intuitionistic Fuzzy Temporal Modal Topological Structures" Axioms 13, no. 4: 256. https://doi.org/10.3390/axioms13040256

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop