Basing on the concept of a statistical metric introduced in 1951 by Menger Reference [1
] and at present well developed (see e.g., Reference [2
]), Kramosil and Michalek [3
] have modified its definition in a way which is more appropriate to deal with fuzzy quantities, instead of probabilistic quantities. The statistical or probabilistic approach to the comprehension of the distance between two points is based on the the idea that the distance is a real value which we cannot find precisely. Measuring the distance many times (theoretically, infinitely many), we can confirm that the distance between points x
is, say, “a” units with probability at least
. On the other hand, according to Reference [3
], fuzzy interpretation of a distance follows from the idea that “the distance between two points x and y is not an actually existing real number which we have to find or to approximate, but that it is a fuzzy notion, that is, the only way in which the distance in question can be described is to ascribe some values from [0,1] to various sentences proclaiming something concerning this distance
]. Developing this idea, Kramosil and Michalek came to the definition of a fuzzy metric which we reproduce in Definition 5. Later George and Veeramani [4
] modified the original definition of a fuzzy metric by making some changes in the axioms in Definition 5 in order to make it more appropriate to deal with topological issues. However, as far as we understand, this modification is not only technical but also conceptional: In the Remark 2.3 they say: the value “M(x,y,t) of a fuzzy metric can be thought of the degree of nearness between x and y in respect of t”
However, in our opinion the interpretation of the concept of a statistical metric for the framework of “fuzzy mathematics” undertaken in Reference [3
], and further revised in References [4
] is incomplete. It looks rather natural from the probabilistic point of view, that when claiming that the probability of the distance
, we are almost sure that this distance is really a
or very close to it. On the other hand, saying that the distance between two equal points
is 1 for all
seems at least quite strange from distance point of view. Here the distance is not a probability, but some value and one can expect that the distance
should be 0 or close to 0.
It is the first aim of this paper to make a revision of the definition of a fuzzy metric in such a way that the distance would better correspond to the idea of a metric. This revision is based on the use of a t
-conorm instead of a t
-norm. The idea to use a t
-conorm in this context was first expressed in Reference [6
]. Here we develop further the approach initiated in Reference [6
]. After recalling some terminology related to t
-norms and t
-conorms in the next, Preliminary section, we define fuzzy (pseudo)metrics on the base of t
-conorms in Section 3
. We call such fuzzy (pseudo)metrics by t
-conorm based (pseudo)metrics, or CB-fuzzy (pseudo)metrics for short, and consider some of their properties in this section. In Section 4
, we develop a construction of CB-fuzzy (pseudo)metrics from ordinary (pseudo)metrics. Here we mainly restrict to the case of fuzzy (pseudo)metrics based on Archimedean t
-conorms. Therefore to come to such constructions, we first have to reconsider the concepts related to additive generators of Archimedean t
-conorms. In Section 5
we study the topology generated by CB-fuzzy (pseudo)metrics. Specifically, we show here the advantages of the use of t
-conorms instead of t
-norms when dealing with topological issues of fuzzy (pseudo)metrics.
Noticing that definition of a fuzzy pseudometric in terms of a t
-conrom has much formal similarity with the definition of a modular metric [7
], we study intrinsic relations between the two concepts in Section 6
. This inspires us to make first a short glance into the history of modulars and modular metric spaces.
In the Section 7
, we define intuitionistic (in Atannasov’s sense) version of a CB-fuzzy pseudometric. Our main aim here is to emphasize the role of t
-norms and t
-conorms in the definitions of fuzzy metrics and intuitionistic fuzzy metrics.
In the last, Section 8
, we summarize the work carried out in this paper and schedule some directions where the study of CB-fuzzy metrics could be continued and where they can find applications.
In this section, we collect definitions and some well-known facts from the theory of t-norms and t-conorms.
A t-norm is a binary operation * on satisfying the following conditions for all :
Dealing with t-norms, we use the two standard records: a t-norm as a binary operation * on and a t-norm as a two argument function determined by * by means of the equality
A t-conorm is a binary operation ⊕ on satisfying the following conditions for all :
Also dealing with t-conorms, we use the two records: a t-conorm as a binary operation ⊕ on and a t-conorm as a two argument function connected with ⊕ by the equality
A continuous unary operation is called an order reversing involution or a strong negation, if for all
The following fact is well known and easy provable:
If is t-norm and is a strong negation, then the mapping defined by is a t-conorm. Conversely, if is a t-conorm and is a strong negation, then the mapping defined by is a t-norm. Besides and Thus (and hence also ) constitute a dual pair.
Although in the described relations between t-norms and t-conorms one can take an arbitrary strong negation , in the sequel we shall usually use Łukasiewicz negation, that is for all .
3. t-Conorm Based Fuzzy Pseudometrics
Let be a continuous t-conorm.
A ⊕-based fuzzy pseudometric on a set X, or just a CB-fuzzy pseudometric for short, is a mapping satisfying the properties:
that is ifis a non-decreasing sequence
is called a CB-fuzzy metric in case it satisfies a stronger version of the second axiom
if and only if;
If m is a CB-fuzzy (pseudo)metric on X, then the triple, or simply , is called a CB-fuzzy (pseudo)metric space.
In order to specify the t-conorm ⊕ used in the definition of a CB-fuzzy (pseudo)metric and in the definition of a CB-fuzzy (pseudo)metric space, we use entries and respectively.
CB-fuzzy (pseudo)metrics onare non-increasing on the third argument.
and let m
be a CB-(pseudo)metric. Then for all
Axiom (CB0) has a particular role since it manifests itself only in case when we allow the parameter t to take value 0. In the sequel we will usually (except of some specified cases) restrict to the situation when and hence a CB-fuzzy metric m will be realized as a function . In this case we can ignore axiom (CB0), since the rest of the axioms (CB1)–(CB4) give the complete description of a CB-fuzzy (pseudo)metric.
Relations between CB-fuzzy Metrics and “Classic” Fuzzy Metrics
First we recall the concept of a fuzzy (pseudo)metric on a set X
introduced first by Kramosil and Michalek and present it in the form as it was revised by Grabiec [8
]. We call it here a KM-fuzzy pseudometric.
A KM-fuzzy pseudometric on a set is a mappingsatisfying the following axioms:
A fuzzy pseudometric M is called a KM-fuzzy metric if it satisfies a stronger version of the axiom (KM1)
if and only iffor alland all,
Let be a strong negation that is and for all and let be a CB-metric see Definition 4. Further, let a mapping be defined by for all . Specifically, axiom (CB0) for m is equivalent to axiom (KM0) for M, axiom (CB1) for m is equivalent to axiom (KM1) for M; axiom (CB1) for m is equivalent to axiom (KM1) for M; axiom (CB2) for m is equivalent to axiom (KM2) for M; axiom (CB3) for m is equivalent to axiom (KM3) for M; and axiom (CB4) for m is equivalent to axiom (KM4) for M.
Note that left-continuity for m means its upper semicontinuity (since m is non-increasing), and on the other hand left-continuity for M means its lower semicontinuity (since M is non-decreasing).
In Reference [4
] George and Veeramani revised the original definition of a fuzzy pseudometric given by Kramosil and Michalek as follows:
Definition 6.  A -fuzzy pseudometric on a set X is a mapping satisfying the following axioms:
and (we emphasize it in the system of axioms, although it follows already from the codomain of GV-fuzzy metric. The symbol ∞ is used here because according to our interpretation condition corresponds to the assumption that an ordinary metric is not allowed to get the value ∞);
and for all;
In case when a GV-fuzzy pseudometric satisfies a stronger version of axiom (GV1)
if and only if.
then M is called a GV-fuzzy metric.
The CB-version of a GV-fuzzy (pseudo)metric can be defined as follows.
A CB-fuzzy pseudometric is a mapping satisfying the following axioms:
Respectively, by replacing axiomin the definition of m by the next stronger axiom
if and only if;
we get the CB-version of a George-Veeramani fuzzy metric.
Remark 3. Axioms (CB1)–(CB3) coincide with axioms (CB1)–(CB3) respectively. However, axioms (CB) and (CB4) are different. Note also the essential difference between the axioms (CB1) and (CB1). In both cases, the George and Veeramani version is stronger than the Kramosil and Michalek one. So, if we restrict to the situation when , each CB-fuzzy (pseudo)metric is a CB-fuzzy (pseudo)metric, but not the converse. We illustrate the relations between these concepts by the following diagram. Let X be a non-empty set and let a dual pair of t-norm and t-conorm. Consider a mapping , then
| is a CB-fuzzy metric space||⇒|| is a CB-fuzzy metric space|
| is a -fuzzy metric space||⇒|| is a -fuzzy metric space|
Analogous diagram of relations holds also for the case of pseudometrics.
Remark 4. The concepts introduced in this section can be interpreted informally in the following way. KM-fuzzy metrics  emerged from the statistical metrics  and the inequality (for, say, ) means that we are for 0.8 points sure that the distance between points x and y is . George and Veeramani  revised the definition of a KM-fuzzy metric in order to make it more convenient for the study of the induced topological structure. However, Geoge and Veeramani when defining GV-fuzzy metrics, not only changed the original definition formally, but indirectly changed also the meaning of a fuzzy metric. Specifically, speaking about the ball of radius , the equality means that points are -close at the level t. Thus the equality according to this interpretation of a GV-fuzzy metrics characterizes the distance between points at the level t, while in the case of KM-fuzzy metrics value t in the equality describes the distance between points with the belief Hence, according to this interpretation, the distance is characterized by the value , and not by t. However, this interpretation seems “strange”, since, for example, for all and all , that means that the distance between x and x is 1. And generally, contrary to our intuition, the closer the points are, the larger is the value . To “correct” this inconsistency with the expected properties of a “distance”, CB-fuzzy metrics were introduced . In the present paper they are first defined as dual to KM-fuzzy metrics and then are specified as CB-fuzzy metrics that are dual to GV-fuzzy metrics. According to the definition of a CB-fuzzy metric, for all and all ; generally the closer the points are, the nearer to 0 the value is. In our opinion, the advantage of the CB-version of a fuzzy metric reveals itself also in the shape of the third axiom. This axiom accepted in the definition of a CB-fuzzy metric corresponds directly to the third axiom in the classic definition of a metric unlike this axiom as it is given in the definition of a GV-fuzzy metric. Example 1
(The standard CB-fuzzy (pseudo)metric).
Revising the construction given in References [4,5] for the case of a t-conorm based (pseudo)metric, we define the standard CB-fuzzy (pseudo)metric induced by a (pseudo)metric by setting
From Remark 2.10 in Reference  we can conclude that is a CB-fuzzy metric for the maximum t-conorm (see Example 2). So, is a CB-fuzzy metric for each continuous t-conorm, since the lowest one.
5. Topologies Generated by CB-(Pseudo)Metrics
In this section we define a topology induced by a CB-fuzzy (pseudo)metric and consider some topological issues of CB-fuzzy (pseudo)metrics.
Definition 11. Given a CB-fuzzy (pseudo)metric space , we define the open ball with center , radius , and at the level as
An open ball is “indeed open” in the sense that for any there exist and such that .
Take any point . By the definition of an open ball it follows that . Recalling that m is decreasing and referring to its left-continuity in the third argument, we can find such that . Further, find such that . Referring to the continuity of the t-conorm ⊕, we can find such that . Finally, let . We claim that .
and hence, by the axiom (CB4) and recalling that
, we have
From this proposition, we get an important corollary:
Corollary 2. Given a CB-fuzzy (pseudo)metric space , the family
is a base of some topology on the set X. We call it the topology induced by the CB-fuzzy (pseudo)metric m.
Noticing that the family is a local base in the point , we get the following.
The topology induced by a CB-fuzzy (pseudo)metric is first countable.
The topology induced by a CB-fuzzy metric is Hausdorff.
be an CB-fuzzy (pseudo)metric space, let
and the t
-conorm is continuous, we can find
Indeed, if the intersection contains some point z
The obtained contradiction completes the proof. □
Let be a CB-fuzzy metric space and be the induced topology. Let be a sequence in X. Then if and only if for all .
Assume that and take some . Further, take any , then there exists such that for all , and hence . However, this means that .
Conversely, if for each , then for there exists such that for all . Thus for all and hence . □
Given a CB-fuzzy metric space
, we define the closed ball with center
, and at the level
If a CB-fuzzy metric m is continuous in the third component, then a closed ball is a closed set in the topology .
Let , where denotes the closure operator in the induced topology . Since X is first countable, there exists a sequence in such that and hence .
We fix some
Now we take limits on the both sides of the above inequality when
and, referring to the continuity of the t
-conorm ⊕ and the CB-fuzzy (pseudo)metric m
, we get
Since this is true for any and m is continuous in the third argument, it follows that and hence . Therefore is a closed set. □
From here and noticing that each point in can be reached as a limit of a sequence of points lying in , we get the following corollary.
A closed ball in the topology induced by a continuous in the third component fuzzy metric is the closure of the open ball .
On account of the two previous results, one can conclude that in CB
-fuzzy metric space, the closed balls are closed sets. Such a result is not true, in general, in the case of CB-fuzzy metrics. This situation coincides in classical fuzzy metrics as it was observed in Reference [17
]. Below, we provide an example to show such an affirmation.
Example 8. Let be a metric space and we define the mapping as follows
It is not hard to check that satisfies axioms (CB1), (CB2) and (CB4). So we will see that also fulfill (CB4) for the product t-conorm .
Let and . We distinguish two cases:
Suppose that . Then, . Now, we distinguish the following cases:
If and then and . So, attending to Example 1 (CB4) is hold in this case.
If and then and . So,
Therefore, if and only if
and the previous inequality is fulfilled if and only if
Now, since then and so
Thus, in this case it is also fulfilled (CB4).
The case and is proved following similar arguments to the used in the case . Moreover, that case and cannot be given. In fact, in such a situation we have that , a contradiction.
So, if then (CB4) is always hold.
Suppose now that . Then, .
Observe that for each we have that and . On account of Example 1 we conclude that
Therefore, in this case also
and so, (CB4) is satisfied in all possible cases.
Now, we will see that the close ball is not a closed set for .
On the one hand, for such that we have that . So, .
On the other hand, for each such that we have that . Therefore, .
Now, is not a closed set in since the sequence converges to 1 in but .
Sometimes it is convenient to consider the family of all CB-fuzzy (pseudo)metric spaces as a category. Therefore relaying on the above topological viewpoint on CB-metric spaces, we define here the morphisms for this category calling them continuous mappings. We do it in analogy with the crisp case. The next concept in the context of “classical” fuzzy metric spaces first implicitly appears in Reference [18
], see also Reference [19
Definition 12. Given two fuzzy metric spaces and , a mapping is called continuous if for every , every and every there exist and such that . In symbols:
From the definitions and the above results we easily get the following:
Given two CB-metric spaces and , a mapping is continuous if and only if this mapping is continuous as the mapping of the corresponding induced topological spaces .
6. CB-Fuzzy Metrics Versus Modular Metrics
The concept of a modular and the theory of modular linear spaces were founded by Nakano [20
] and in the first period developed mainly by members of Nakano’s school. Further the most complete development of this theory was carried out by Orlicz, Mazur, Musielak and their collaborators, see for example, References [22
]. At present modulars and modular spaces are extensively applied, in particular, in the study of various Orlicz spaces, see for example, References [25
Noting the importance of modulars on linear spaces and the corresponding theory of modular linear spaces, Chistyakov [7
] notes that “in some situations (in particular, connected with the problems of multi-valued analysis such as definition of metric functional spaces, description of the action of multivalued superposition operator) the notion of a modular on a linear space or on a space with an additional algebraic structure is too restrictive.
” To manage with this problem, Chistyakov [7
] defines the notion of a modular on an arbitrary set. The author shows that this notion is coherent with the classical definition of a modular and develops the basics of the theory of modular metric spaces.
While reading Chistyakov’s paper, we noticed that the definition of a fuzzy metric by means of t-conorms, specifically by means of Łukasiewicz t-conorm , resembles the definition of a modular metric. On the other hand, the backgrounds of these theories are essentially different; also the main objectives of the two theories differ significantly. So, there arises a challenge to investigate the relations between CB-fuzzy metrics and modular metrics. It is the goal of this section to study these relations.
6.1. Modular Metrics
We start with recalling the definition of a modular metric introduced by Chistyakov [7
], however we do it in notations convenient for our merits.
]A modular metric on a set X is a function satisfying the following properties:
for allif and only if;
for alland all
for all, .
Taking in the last formula, we get for all and , and hence function is non-increasing.
The domains of a CB-fuzzy metric and a modular metric can be taken the same, namely as . Concerning the ranges of a -fuzzy metric and of a modular metric- they are isomorphic as complete lattices, but not isomorphic as semigroups: there exist such that and hence the sum of a and b in the semigroup is 1; on the other hand if , then . So there are no direct relations between CB-fuzzy metrics and modular metrics.
The first trivial situation which can be noticed when comparing a fuzzy metric based on the Łukasiewicz t-conorm and a modular metric is descibed in the next Proposition:
A fuzzy metric based on the Łukasiewicz t-conorm is a modular metric.
Just notice that is a subset , compare Definition 13 and Definition 4 and recall Example 5. □
In the next subsection we investigate deeper, significant relations between CB-fuzzy metrics and modular metrics.
6.2. CB-Fuzzy Metrics vs. Modular Metrics
Before starting to explore interrelations between CB-fuzzy metrics and modular metrics, we have to make the following remark. The definition of the CB-fuzzy metric includes axiom (CB4) which requests that a CB-fuzzy metric is left-continuous on the third axiom. Since there is no kind of continuity included in the definition of a modular metric, when comparing the two notions we exclude axiom (CB4) in the definition of a CB-fuzzy metric. Another option is to ask additionally in all results in the sequel the assumption that the modular metric is left-continuous. This is up to the reader. Besides, since a modular metric is defined on , when comparing the two notions, we do not touch axiom (CB0) prescribing the value of the CB-fuzzy metric at . Anyway, in the sequel we compare axioms (CB1), (CB2) and (CB3) of a CB-fuzzy metric with axioms (MM1), (MM2) and (MM3) of a modular metric respectively.
Theorem 5. Let be a modular metric and let be defined by
Then is a CB-fuzzy metric for the Hamacher t-conorm .
Since the validity of the first two axioms for
follows obviously from the corresponding axioms of the modular metric
, we have to prove only that
Explicitely, we have to show that for all
and for all
the following inequality holds:
, this inequality can be written as
We conclude the proof by noticing that according to the definition of a modular metric and hence □
Corollary 4. Let be a modular metric and define by
Then is a CB-fuzzy metric for any t-conorm ⊕ such that . In particular, it is a CB-fuzzy metric for the product and Łukasiewicz t-conorms.
In the next theorem we establish the converse relations between CB-fuzzy metrics and modular metrics.
Theorem 6. Let be a CB-fuzzy metric for the Hamacher t-conorm. Then by setting
a modular metric is defined.
We have to prove that for all
and for all
, the above enequality can be rewritten as
By elementary transformations we rewrite it as
However this inequality just means that
that is justified by the properties of Hamacher t
Corollary 5. If is a CB-fuzzy metric for any t-conorm ⊕ such that , then the equality
defines a modular metric. In particular this is true for the maximim t-conorm
Notice that from the above constructions and from Theorem 5, Theorem 6 and Corollary 5 we have the following corollaries:
For every modular metric ω the equality holds.
If is a CB-fuzzy metric for a t-conorm ⊕ such that then .
Note however, that when writing , the equality “forgets” the original t-conorm ⊕ used in the definition of the CB-fuzzy metric (and hence by Corollary 5) and the resulting fuzzy metric (by Theorem 5) is a fuzzy metric for the Hamacher t-conorm .
Modular metrics and CB-fuzzy metrics for Hamacher t-conorms are equivalent concepts.
We emphasize here that in the established relations between CB-fuzzy metrics axiom (MM1) in the definition of a modular metric corresponds exactly to the axiom (CB1), and not to its version (CB1), in the definition of a CB-fuzzy metric, see Definition 7.
Example 9. Let be a metric and be the corresponding standard CB-fuzzy metric. Then is a modular metric. The validity of properties (MM1) and (MM2) of a modular metric are obvious. To show the third property, notice that and hence
It is also possible to justify that is a modular metric recalling that is a CB-fuzzy metric with respect to the Hamacher t-conorm, see Example 1 and refer to Theorem 5.
The remainder subsections are devoted to adapt two subclasses of fuzzy metrics to the t
-conorm based context. They are the so-called strong (or non-Archimedean) fuzzy metrics and triangular ones. Both subclasses play a significant role in fixed point theory in fuzzy metric spaces (see, for instance, References [28
6.3. Strong Fuzzy Metrics Versus Strong Modular Metrics
Revising the concept of a strong fuzzy metric [33
] in the context of t
-conorm based fuzzy metrics, we come to the following definition:
A CB-fuzzy metric space is called a strong if (in addition) m satisfies
Patterned after terminology accepted in the theory of fuzzy metrics, we introduce the following “strong” version of the definition of a modular metric:
A modular metric ω on X is called strong if (in addition) ω satisfies
for all, .
Given a strong CB- fuzzy metric , we define a mapping by setting From Theorem 6 we get
If a CB-fuzzy metric is based on a t-conorm ⊕ such that , then the mapping is a strong modular metric.
On the other hand, from Theorem 5 we get the following
Let be a strong modular metric. Then is a strong CB-fuzzy metric for any t-conorm ⊕ such that .
6.4. Triangular Fuzzy Metrics
In Reference [28
] the concept of a triangular GV-fuzzy metric was introduced. Namely a fuzzy metric in the sense of George-Veeramani (Definition 6)
is called triangular if
We generalize this concept and revise it for the case of t-conorm based fuzzy metrics:
Definition 16. A CB-fuzzy metric is called triangular if
We reserve the term strong triangular
for CB-fuzzy metrics satisfying the inequality
that is to the CB-version of the axiom used in Reference [28
From Definition 14 and statements 5 and 6, we get the following results:
The following conditions are equivalent for a CB-fuzzy metric :
m is a triangular CB-fuzzy metric;
m is a CB-fuzzy metric based on a t-conorm ⊕ such that
for some modular metric ω.
The following conditions are equivalent for a CB-fuzzy metric :
m is a strongly triangular strong CB-fuzzy metric;
m is a strong CB-fuzzy metric based on a t-conorm ⊕ such that
for some strong modular metric ω.
7. Intuitionistic CB-Fuzzy (Pseudo)Metrics
In Reference [35
] Park introduced the concept of an intuitionistic
(in Atannasov sense [36
]) fuzzy metric. Naturally, in the definition of an intuitionistic fuzzy metric on a set X
he had to use two functions
, satisfying inequality
. The first one of these functions,
, describes the degree of nearness
describes the degree of non-nearness
on the level t
. So, actually, M
in Park’s definition is an ordinary
KM- or GV-fuzzy metric and therefore it is based on the use of a t
-norm *. On the other hand, function N
, which in some sense complements the function M
, is based on a t
(which, probably, is unrelated to the t
-norm *). Thus, Park’s definition is based on using both t
-norms and t
-conorms. So we feel it challenging to define the intuitionistic Atannasov version for CB-fuzzy metrics and compare the roles of t
-norms and t
-conorms in this situation. It is done in the next definition and the following comments.
An intuitionistic CB-fuzzy metric on a set X is a pair of functions where is a CB-fuzzy metric and is a KM- or GV-fuzzy metric such that for all and
So, in our approach a t-conorm ⊕ in the definition of a fuzzy metric is used to evaluate the degree of nearness of two points, while the t-norm * is used to evaluate the degree of non-nearness of these points. Hence the roles of t-norms and t-conorms in our approach are opposite to their roles in the Park’s definition of an intuitionistic fuzzy metric.
The idea to revise the concept of a fuzzy metric by means of t
-conorms instead of t
-norms was first expressed in Reference [6
]. In this paper, we have developed further this approach calling fuzzy metrics defined on the base of a t
-conorm by t
-conorm based fuzzy metrics or by CB-fuzzy metrics for short. The three main issues considered in the paper are the following. Construction of CB-fuzzy metrics from ordinary metrics (Section 4
), topological structure induced by CB-fuzzy metrics (Section 5
), and interrelations between CB-fuzzy metrics and modular metrics (Section 6
). Additionally we make some comments concerning the intuitionistic counterpart of a CB-fuzzy metric (Section 7
Concerning the construction of CB-fuzzy metrics from ordinary metrics we mainly restrict to the case of fuzzy metrics based on Archimedean t-conorms. Just in this situation we can effectively use the tools provided by additive generators of t-conorms. By using additive generators for such CB-fuzzy metrics, we presented a scheme for construction of CB-fuzzy metrics from ordinary metrics and illustrated it with examples for some concrete t-conorms. We guess that the presented construction will provide a scheme allowing to extend some results from the theory of metric spaces to the corresponding results for CB-fuzzy metric spaces. Specifically, this can concern the results in the theory of fixed points.
When dealing with topological issues of the CB-fuzzy metric spaces, our main aim was to show the advantages of the theory based on CB-fuzzy metrics if compared with the theory based on “classic” fuzzy metrics.
Quite interesting, in our opinion, are the results concerning the interrelations between CB-fuzzy metrics and modular metrics. Also here one can see the advantages of CB-fuzzy metric approach (see e.g., Section 6.4
dealing with triangular fuzzy metrics). As a certain contribution to the theory of fuzzy and modular metrics we consider the special role played by the Hamacher t
-(co)norm that was highlighted in the paper.
We forecast several directions where the theory of CB-fuzzy (pseudo)metrics can be developed and applied. As one of the direction for the future work we foresee applications of CB-fuzzy metrics in the theory of fixed points of mappings of fuzzy metric spaces. There was already much work done by extending fixed point theorems known for mappings of metric spaces to fixed point theorems for mappings of fuzzy metric spaces, see, for example, References [16
]. We assume that the use of CB-fuzzy metrics will allow to forecast and obtain new results in this direction.
The second direction envisages the study categorical background CB-fuzzy (pseudo)metric spaces. In particular, we plan to develop the theories of topologies (see Section 5
), fuzzifying topologies (cf Reference [19
] and fuzzy topologies (cf Reference [37
]) induced by CB-fuzzy metrics and to investigate interrelations between categories of such spaces.
The third direction concerns the relation of fuzzy metrics with modular metrics. In particular, the established relation between the two concepts indicates on the possibility to transfer results known for modular metric spaces to CB-fuzzy metric spaces and vice-versa thus enriching the both theories. In particular, it will allow fundamental concepts in the theory of metric spaces, already having counterparts in the theory of fuzzy metric spaces, to transfer in a reasonable way for the context of modular metric spaces. Specifically this concerns such concepts as Cauchy sequence, completeness, completion, and so forth.
We believe that t-conorm based approach to fuzzy metrics will be more convenient than the t-norm based one in some possible applications. One of the fields where CB-metrics could be helpful is the image restoration. By using CB-fuzzy metrics, the researcher will be provided with a visual and easy way to manage information about the influence of the parameter t (e.g., distance or time) in the process of image restoration of a picture. This information could be useful, in particular, to find the value of the parameter t at which the result of this process will be optimal.