Two Approaches to Fuzzy Implication

We discuss construction of fuzzy implication and also correlation between negation and implication operators deﬁned on fuzzy values. Two structures for fuzzy implications are studied: the lattice of Step-Ordered Fuzzy Numbers (SOFNs) and the Boolean algebra B of membership degrees for metasets. Even though these two approaches stem from completely different areas it turned out that they lead to similar applications and results. Both of them emerged from research conducted by W. Kosi´nski and can be applied not only in the most popular application ﬁeld which is approximate reasoning but also for designing decision-support systems, enriching methods and techniques of opinion mining, or modeling fuzzy beliefs in multiagent systems.


Introduction
In his recent research Kosiński focused on new fields for applications of Ordered Fuzzy Numbers (OFNs) [24][25][26]. One of the promising domains was approximate reasoning involving fuzzy implication. Among the results of this development one has to mention Prokopowicz's dissertation dealing with definition of engineering implications. Another branch of this development, fuzzy implication on Step-Ordered Fuzzy Numbers (SOFNs), which emerged as the result of cooperation with Kacprzak, is presented in the following. At that time Kosiński, as the Starosta's PhD supervisor, also took part in the development of metaset theory. The metaset concept is an alternative approach to fuzzy membership, which has many interesting properties. Some of them are related to fuzzy implication and many-valued logics and are presented in the following. In this chapter we confront two approaches to fuzzy implication: OFN based and metaset based. In this chapter, the set of all OFNs is denoted by R. The continuity of both functions implies that their images are bounded intervals, say U P and DOW N, respectively. The following symbols are used to mark boundaries for U P = [l A , 1 − A ] and for DOW N = [1 + A , p A ]. If we further assume that f and g are monotone (and consequently invertible), and add the constant function on the interval [1 − A , 1 + A ] with its value equal to 1, we might define the membership function 2. f is increasing; g is decreasing.
Obtained in this way the membership function μ(x), x ∈ R represents a mathematical object that refers to a convex fuzzy number in the classical sense [10,34]. However, we can observe here some limitations. This is because some membership functions already known in the classical theory of fuzzy numbers (cf. [10,18,46]) cannot be obtained by taking inverses of continuous functions f and g in the process described above. These are the functions that are piecewise constant; that is, μ up and μ down are not strictly monotone. The lack of strict monotonicity implies that functions inverse to μ up and μ down do not exist in the classical sense. To cope with this problem Kosiński offered to accept some limitations assuming that for both functions μ up and μ down there exist a finite (or at most countable) number of such constancy subintervals, and then the inverse functions are piecewise continuous and monotone with a finite (or at most countable) number of discontinuity points [36]. In this way we can employ a class of functions larger than continuous ones. This is the class of real-valued functions of bounded (finite) variation, BV [41].

Step-Ordered Fuzzy Numbers
In 2006 Kosiński introduced a generalization of the original definition of OFNs to make the algebra a more efficient tool in dealing with imprecise, fuzzy quantitative terms [36].

Definition 1
By an OFN A (in the generalized form) we mean an ordered pair (f , g) of functions such that f , g : [0, 1] → R are of bounded variation, that is, f , g ∈ BV .
Let R BV denote the set of all generalized OFNs, that is, those that meet Definition 1. Notice that all convex fuzzy numbers are contained in this new space, R ⊂ R BV . Operations for generalized OFNs are defined in a similar way to operations for orthodox OFNs, the norm, however, will change into the norm of the Cartesian product of the space of functions of bounded variations.
An important consequence of this generalization is the possibility of introducing a subspace of an OFN composed of pairs of step functions [37]. First, a natural number K is fixed and [0, 1) is split into K − 1 subintervals [a i , a i+1 ); that is, where the Kth value u K corresponds to y = 1; that is, f (1) = u K . Taking a pair of such functions we have an OFN from R BV .

Definition 2 By a
Step-Ordered Fuzzy Number A of resolution K we mean an ordered pair (f , g) of functions such that f , g : [0, 1]→R are step functions of resolution K.
We use R K for denotation of the set of elements satisfying the above definition. The example of an SOFN (also called Step Kosiński's fuzzy number, SKFN) and its membership relation (represented by a curve) are shown in Figs. 7.1 and 7.2. The set R K ⊂ R BV has been extensively elaborated in [22,35].
We can identify R K with the Cartesian product of R K × R K because each K-step function is represented by its K values. It is obvious that each element of the space R K may be regarded as an approximation of elements from R BV ; by increasing the number K of steps we are getting a better approximation. The norm of R K is assumed to be the Euclidean one of R 2K , thus we have an inner-product structure at our disposal. Now let B be the set of two binary values: 0, 1 and let us introduce the particular subset N of R K

Lattice on R K
Let us consider the set R K of SOFNs with operations Notice that ∨ and ∧ are actually operations in R K ; that is, they are defined for all A, B ∈ R K and the result of the operations is in R K . Next, let us observe that operation ∨ is • Idempotent: Whenever it is applied to two equal values, it gives that value as the result: • Commutative: • Associative: The same properties characterize the operation ∧. Moreover, these two operations are connected by the absorption law: The absorption laws ensure that the set R K with an order ≤ defined as is a partial order within which meets and joins are given through the operations ∨ and ∧. It is easy to show that for every A, Moreover, joints and meets exist for every two elements of R. The following theorem is the consequence of the above reasoning.

Complements and Negation on N
Now let us consider the subset N of R K defined in Sect. 7.2.1. As we have already noted above, every element of N can be represented by a binary vector and thereby N is isomorphic to the space of Boolean vectors. Below, we use the notation A (a 1 ,a 2 ,...,a 2K ) for a number A represented by vector (a 1 , a 2 , . . . , a 2K ) and we show that N is a Boolean algebra. It is easy to observe that all subsets of N have both a join and a meet in N . In fact, for every pair of numbers from the set {0, 1} we can determine max and min and it is always 0 or 1. Therefore N creates a complete lattice. In such a lattice we can distinguish the greatest element 1 = A (1,1,...,1) and the least element 0 = A (0,0,...,0) .
In a lattice in which the greatest and the least elements exist it is possible to define complements. We say that two elements A and B are complements of each other if and only if The complement of a number A is marked with ¬A and is defined as follows.
A bounded lattice for which every element has a complement is called a complemented lattice. The structure of Step-Ordered Fuzzy Numbers (N , ∨, ∧) forms complete and complemented lattices in which complements are unique. In fact it is a Boolean algebra. An example of such an algebra is depicted in Fig. 7.3. A set of universe is created by numbers The complements of elements are:

Now we can rewrite the definition of the complement in terms of a new mapping.
Definition 5 For any A ∈ N we define its negation as It is obvious, from Definitions 4 and 5, that the negation of a given number A is its complement. Moreover, the operator N is a strong negation, because it is involutive:

Fig. 7.3 A complete and complemented lattice defined on the set
One can refer here to known facts from the theory of fuzzy implications (cf. [6,7,21]) and write the strong negation N in terms of the standard strong negation N I on the unit interval

Fuzzy Implication on BSOFN
The implication operator holds center stage in the inference mechanisms of any logic. Thus, the obvious question is whether and how one can define an implication on an OFN. Studies on this issue were initiated in the works by Kacprzak and Kosiński in 2011 [28,38]. The aim was to propose an implication operation on Ordered Fuzzy Numbers analogous to classical implication that preserves its main properties. In the literature we can find several different definitions of fuzzy implications. Some of them are built from basic fuzzy logic connectives. In Sect. 7.2.2 conjunction and disjunction operations for any two-order fuzzy numbers are defined. However, the main problem is the negation operation. In Sect. 7.2.3 complements for SOFNs from the set N are constructed. Thus given disjunction and complement, implication can be defined in the standard way. Such a new operator on the set N was introduced by Kacprzak and Kosiński and is called 2K-fuzzy implication [28,29,38]. The set of all OFNs is not a complete lattice, therefore the way of defining implication is still an open question.
In the classical Zadeh fuzzy logic the definition of a fuzzy implication on an abstract lattice L = (L, ≤ L ) is based on the notation from fuzzy set theory introduced in [21].
L is called a fuzzy implication on L if it is decreasing with respect to the first variable, increasing with respect to the second variable, and fulfills the border conditions Now, possessing the lattice structure of R K and the Boolean structure of our lattice N , we can repeat most of the definitions known in Zadeh's fuzzy set theory. The first one is the Kleene-Dienes operation, called 2K-fuzzy implication [28] In other words, the result of the binary implication I b (A, B), denoted in [28] by A → B, is equal to the result of operation sup for the number B and the complement of A: For illustration, let us assume two numbers A (0,1,1,0) and A (0,1,0,1) . The implication Examples of other implications are given in Table 7.1. 2K-fuzzy implication satisfies the basic property of logical implication: it returns false if and only if the first term is true, and the second term is false.
Proposition 1 Let us consider the Boolean algebra (N , ∨, ∧, ¬, 1, 0). The values of the 2K-fuzzy implication on the greatest and the least elements of this algebra are given in Table 7.2.
In fact, because ¬ 0 = 1 and ¬ 1 = 0 it holds that: Next we may introduce the Zadeh implication by In our lattice R K the arithmetic operations are well defined, therefore we may introduce the counterpart of the Łukasiewicz implication by When calculating the right-hand side of (7.9) we have to regard all numbers as elements of R K , because by adding step fuzzy number A from N to the crisp number 1 we may leave the subset N ⊂ R K . However, the operation ∧ takes us back to the lattice N . It is obvious that in our notation 1 N = 1. The explicit calculation It is obvious that all implications I b , I Z , and I L satisfy the border conditions (7.6) as well as the fourth condition of the classical binary implication, namely

Applications
Initially, OFNs were designed to deal with optimization problems when data are fuzzy [14,15,17,20]. When Kacprzak and Kosiński observed that a subspace of OFNs, called SOFN, may be equipped with a lattice structure, it turned out that OFNs have a much wider field of application. The ability to define Boolean operations such as conjunction, disjunction, and, more important, diverse types of implications, has become the basis for creating a new logical system. In consequence, it turned out that SOFNs can be used not only for evaluation of linguistic statements such as, "A patient is fat" or "A car is fast," but also for approximate reasoning on such imprecise notions.
One of the important applications is employing SOFNs in multiagent systems for modeling agents' beliefs about fuzzy expressions [27]. This can be helpful in evaluating features of multiagent systems concerning agents' fuzzy beliefs. If some sentence is expressed by an agent in a multiagent system then we could try to evaluate the level of truth for an agent's belief about another agent's belief. This is the first step in the application of the fuzzy logic that stands behind the SOFN.
Just before his death, Kosiński with his coworkers Kacprzak and Wȩgrzyn-Wolska showed another application of SOFNs in specification and automatic verification of diversity of opinion [30]. As a consequence, SOFN can also be used in reasoning about communicating software agents or boots that are decision-support systems. For example, we can analyze activity of agents that assists clients with their decisions in e-shops, that is, agents which support users of a system in making decisions and choosing the right product.

Metasets
The metaset is the new concept of a set with a partial membership relation. It was inspired by the method of forcing [11,47] in the classical Zermelo-Fraenkel set theory (ZFC) [23,39]. Nonetheless it is directed towards artificial intelligence applications and efficient computer implementations. Its scope of practical usage is similar to fuzzy sets [57], intuitionistic fuzzy sets [5], or rough sets [45]. There are close relationships between fuzzy set and metaset approaches, described in [50,55].
Metasets admit standard set-theoretic relations that are valued in a nontrivial Boolean algebra, and therefore enable expressing fractional degrees of membership, equality, subset, and their negations. Algebraic operations for metasets are defined and they satisfy Boolean algebra axioms [54].
Metasets enable the representation and processing of vague imprecise notions and data. Recent development in applications of metasets is focused on decision systems [31][32][33]. There have been successful attempts to utilize metasets in character recognition problems [49,51].
Before we discuss the definition of a metaset we review some necessary basic notions and establish a notation.

The Binary Tree T and the Boolean Algebra B
The binary tree T is the set of all finite binary sequences, that is, functions whose domains are finite ordinals, valued in 2 (ω is the set of all finite ordinals) 1 : (7.10) [1] P P P P P [00] [01] @ @ [10] [11] @ @ 1 1 The ordering ≤ in the tree T (see Fig. 7.4) is the reverse inclusion of functions: for p, q ∈ T such that p : n → 2 and q : m → 2, we have p ≤ q whenever p ⊇ q; that is, n ≥ m and p m = q. The root 1, being the empty function, is the largest element of T in this ordering. Nodes of T are sometimes called conditions. We denote binary sequences that are elements of T using square brackets, for example: [00], [101]. A level in T is the set of all finite binary sequences with the same length. The set 2 n consisting of all sequences of the same length n is the level n, denoted by T n . The level 0 consists of the empty sequence 1 only. A branch C in T is an infinite binary sequence, that is, a function ω → 2. We write p ∈ C to mark that the binary sequence p ∈ T is a prefix of the branch C. We use the algebra B to evaluate metaset sentences, particularly to evaluate membership degrees.

General Definition of Metaset
A metaset is a classical set with a specific structure coding membership degrees of metaset members. The degrees, by construction, are expressed as nodes of the tree T but they represent elements of the algebra B.

Definition 7
A set that is either the empty set ∅ or has the form: Thus the structure we use to encode the degrees of membership is based on ordered pairs. The first element of each pair is the member and the second element is a node of the binary tree that contributes to the membership degree of the first element.
Formally, this is a definition by induction on the well-founded relation ∈. By the axiom of foundation in Zermelo-Fraenkel set theory there are no infinite branches in the recursion as well as there are no cycles. Therefore, no metaset is a member of itself. From the point of view of ZFC a metaset is a particular case of a P-name (see also [39, Chap. VII, Sect. 2] for justification of such type of definition).
For the given metaset τ , the sets: are called the domain and the range of the metaset τ , respectively.

Interpretations of Metasets
An interpretation of a metaset is a classical crisp set. It is produced from the given metaset with a branch of the binary tree. Different branches determine different interpretations of the given metaset. All of them taken together make up a collection of sets with specific internal dependencies, which represents the source metaset by means of its crisp views. Properties of sets that are interpretations of the given metaset determine the properties of the metaset itself. In particular we use interpretations to define set-theoretic relations for metasets.

Definition 8
Let τ be a metaset and let C ⊂ T be a branch. The set is called the interpretation of the metaset τ given by the branch C.
The process of producing an interpretation of a metaset consists of two stages, repeated recursively. In the first stage we remove all the ordered pairs whose second elements are nodes that do not belong to the branch C. The second stage replaces the remaining pairs -whose second elements lie on the branch C -with interpretations of first elements. As the result we obtain a classical set.
Example 1 Let p ∈ T and let τ = { ∅, p }. If C is a branch, then Depending on the branch the metaset τ acquires one of two different interpretations: As we see, a metaset may have multiple different interpretations: each branch in the tree determines one of them. Usually, most of them are pairwise equal, thus the number of different interpretations is much less than the number of branches.

Forcing
We define and investigate a relation between a condition and a sentence. This relation, called the forcing relation, is designed to describe the level of confidence or certainty assigned to the sentence. The level is evaluated by means of conditions in T that determine elements of the Boolean algebra B. The root condition 1 specifies the absolute certainty, whereas its descendants represent less certain degrees. The sentences are classical set theory formulas, where free variables are substituted by metasets and bound variables range over the class of metasets.
Given a branch C, we may substitute particular metasets in the sample sentence σ ∈ τ with their interpretations that are ordinary sets: σ C ∈ τ C . The resulting sentence is a ZFC sentence expressing some property of the sets τ C and σ C , the membership relation in this case. Such a sentence may be either true or false, depending on τ C and σ C .
For the given metaset τ each condition p ∈ T specifies a family of interpretations of τ : they are determined by all the branches C containing this particular condition p. If for each such branch the resulting sentence (after substituting metasets with their interpretations) has constant logical value, then we may think of a conditional truth or falsity of the given sentence, which is qualified by the condition p. Therefore, we may consider p as the certainty degree for the sentence.
Let Φ be a formula built using the following symbols: variables (x 1 , x 2 , . . .), the constant symbol (∅), the relational symbols (∈, =, ⊂), logical connectives (∧, ∨, ¬, →), quantifiers (∀, ∃), and parentheses. If we substitute each free variable x i (i = 1 . . . n) with some metaset ν i , and restrict the range of each quantifier to the class of metasets M, then we get as the result the sentence Φ(ν 1 , . . . , ν n ) of the metaset language that states some property of the metasets ν 1 , . . . , ν n . It is called a metaset sentence. By the interpretation of this sentence, determined by the branch C, we understand the sentence Φ(ν 1 C , . . . , ν n C ) denoted in brief by Φ C . The sentence Φ C is the result of substituting free variables of the formula Φ with the interpretations ν i C of the metasets ν i , and restricting the range of bound variables to the universe of all sets V. In other words, we replace the metasets in the sentence Φ with their interpretations. The only admissible constant ∅ in Φ as well as in Φ C denotes the empty set which is the same set in both cases. x 1 , x 2 , . . . x n all be free variables of the formula Φ and let ν 1 , . . . ν n be metasets. We say that the condition p ∈ T forces the sentence Φ(ν 1 , ν 2 , . . . ν n ), whenever for each branch C ⊂ T containing p, the sentence Φ(ν 1 C , . . . ν n C ) is true. We denote the forcing relation with . Thus,

Definition 9 Let
The key idea behind the forcing relation lies in transferring classical properties from sets onto metasets. Let a property described by a formula Φ(x) be satisfied by all sets of form ν C , where ν is a metaset and C is a branch in T. In other words, Φ(ν C ) holds for all the sets that are interpretations of the metaset ν given by all branches C in T. Then we might suppose that this property also "holds" for the metaset ν, and we formulate this fact by saying that 1 forces Φ(ν). If Φ(ν C ) holds only for branches C containing some condition p, then we might suppose that it "holds to the degree p" for the metaset ν; we say that p forces Φ(ν) in such a case. Because we try to transfer, or force, satisfiability of some property from classical sets onto metasets, we call this mechanism forcing. 3 The next example shows how to transfer the property of being equal onto two specific metasets.
Of course, the last case is possible only when p = 1, because the root of T is contained in each branch. As we can see, the interpretations of τ and σ are always pairwise equal, although they are different sets depending on the chosen branch C. Analyzing only the structure of τ and σ we may easily conclude that p τ = σ. However, because for any branch C that does not contain p the interpretations of τ and σ are both empty, then also 1 τ = σ.
Thus, for the given metaset sentence Φ, the set of all conditions that force it, { p ∈ T : p Φ }, determines an element of the Boolean algebra B. We interpret it as the certainty degree for Φ (cf. [55,56]) Definition 10 Let Φ be a metaset sentence. The following element of algebra B is called the certainty degree for Φ. (7.13) where b p is the set of all branches containing p.
In other words b p is the set of infinite binary sequences sharing the common prefix p.

Set-Theoretic Relations for Metasets
We briefly sketch the methodology behind the definitions of standard set-theoretic relations for metasets. For a detailed discussion of the relations or their evaluation the reader is referred to [54,55].

Definition 11
We say that the metaset σ belongs to the metaset τ under the condition p ∈ T, whenever p σ ∈ τ . We use the notation σ ε p τ .
In other words, σ ε p τ whenever for each branch C containing p, it holds σ C ∈ τ C . Formally, we define an infinite number of membership relations: each p ∈ T specifies another relation ε p . Any two metasets may simultaneously be in multiple membership relations qualified by different conditions: σ ε p τ ∧ σ ε q τ . Membership under the root condition 1 resembles the full unconditional membership of crisp sets, inasmuch as it is independent of interpretations. By the Definition 10, the membership degree of σ in τ is |σ ∈ τ |. This degree encompasses all the p that force the membership; it is the union of elements of B corresponding to these p.
The metaset membership admits a hesitancy degree known from the intuitionistic fuzzy sets' field. It is possible that degrees of membership and nonmembership do not sum up to unity. The remaining part is called the hesitancy degree of membership (see [55,56]). This property has important consequences mentioned in Sect. 7.3.7.
Conditional equality and subset relations for metasets are defined similarly as for a membership.

Applications of Metasets
The conditional membership reflects the idea that a metaset μ belongs to a metaset τ whenever some conditions are fulfilled. The conditions are represented by nodes of T but they relate to elements of algebra B. In applications they refer to a modeled reality and denote some real conditions that justify the statement. Let μ be some individual and let τ be the family of those individuals who are nice: they satisfy the property of being nice. The sentence μ ε p τ says that μ is nice under the condition p, or, in other words, to the degree p. The condition p itself might be expressed using human language terms, for example: pretty face (thus σ is nice because of pretty face). Labeling conditions with human language terms requires imposing partial ordering on these terms, which is generally rather subjective and not straightforward. We investigated such orderings in a series of papers discussing a new decision-support system based on this idea (see [31][32][33]

Classical and Fuzzy Implication
We may easily define classical implication on the algebra B as follows.
b ⇒ c ≡ ¬b ∪ c, b, c ∈ B . (7.14) Clearly, it is a fuzzy implication. We may define other fuzzy implications on B too, however, from the point of view of metaset theory we are interested in those that satisfy the following. |Φ| ⇒ |Ψ | = |Φ → Ψ | . (7.15) Here, Φ and Ψ are metaset sentences and |Φ|, |Ψ | are their corresponding certainty degrees, which are members of B. We would like the implication to commute with the forcing relation that determines certainty degrees for sentences. In other words, we want to have certainty degree of implication Φ → Ψ to be equal to the implication of certainty degrees for sentences Φ and Ψ . Unfortunately, in the general case (7.15) does not hold. In other words, generally ¬|Φ| ∪ |Ψ | does not have to be equal |¬Φ ∨ Ψ | and also the border condition I (0 L , 0 L ) = 1 L of definition (6) might not be satisfied. The reason for this is metasets' capability of expressing uncertainty. The value of |Φ| is the measure of certainty, that is, our knowledge about Φ. However, in general, ¬|Φ| is not equal to the certainty degree of ¬Φ, but it is not less and it might also include the hesitancy degree of Φ, just as in intuitionistic fuzzy sets. 4 To exclude the uncertainty issues one has to limit the scope to the class of hereditarily finite metasets. A metaset σ is hereditarily finite when it is a hereditarily finite set: ran(σ) is finite and dom(σ) consists of hereditarily finite metasets only. For such metasets uncertainty vanishes, ¬|Φ| = |¬Φ|, and (7.15) holds (see [55]). 5 The class of hereditarily finite metasets includes metasets representable in machines and it is sufficient for applications. Investigating implication (7.14), which satisfies (7.15), is one of the next goals in the development of metaset theory and related logic of metaset sentences.

Conclusions and Further Research
The purpose of this chapter was to present new operators that satisfy the conditions for fuzzy implication in the classical sense [6]. These results emerged from the research conducted by Kosiński, undertaken in his last years of life. They were initiated by investigation of applications of Ordered Fuzzy Numbers, alternatively called Kosiński's fuzzy numbers. Even though the described approaches stem from completely different areas, it turned out that they lead to similar applications and results. Furthermore, they launched a new stream of research that has continued by his coworkers Kacprzak, Starosta, and Wȩgrzyn-Wolska after Kosiński's death. The applications of the research on OFNs and metasets concern not only approximate reasoning but also decision-support systems and opinion mining [31][32][33].
In this chapter we discussed two structures for fuzzy implication: the lattice of Step-Ordered Fuzzy Numbers and the Boolean algebra B of membership degrees for metasets. In both of them a fuzzy implication operator (FI) is defined. The implication operator holds center stage in the inference mechanisms of any logic. We can find several different definitions of fuzzy implications in the literature. They play a similar role to Boolean implications that are employed in inference schemes such as modus ponens and modus tollens. However, now reasoning is done with fuzzy statements whose truth values lie in [0, 1] instead of {0, 1}. The most exploited area of applications of fuzzy implications is approximate reasoning, wherein from imprecise inputs and fuzzy premises or rules we can obtain imprecise conclusions.
In the the first part of the chapter the binary Step-Ordered Fuzzy Numbers are explored. As mentioned earlier, Kosiński was looking for new inference schemas and thereby implications based on the orthodox Ordered Fuzzy Numbers (f , g), where functions f and g are assumed to be continuous. This question still remains unanswered and studies are in progress. The biggest challenge was to define a negation operator. During the research Kacprzak and Kosiński observed that BSOFN (f , g), in which functions f and g are step functions that can return binary values 1 or 0, form a lattice. This property allows us to define the fuzzy implications similar to those proposed by Kleene-Dienes, Zadeh, or Łukasiewicz.
The second part of the chapter focuses on the results obtained by Starosta and Kosiński in the field of metasets. In the algebra B we can also define some fuzzy implication operators analogous to those from classical fuzzy set theory. However, the most important property that we are interested in is the equality of the certainty degree of the sentence Φ → Ψ and the result of applying the operator ⇒ to the certainty degrees of sentences Φ and Ψ . Unfortunately, in the general case, this equality does not hold. Only when we make certain restrictions and limit the scope to the class of hereditarily finite metasets, we get the desired behavior of the operator.
We dedicate future research on fuzzy implications aimed at developing theories and searching for the answers to the questions that are still open to the memory of Professor Kosiński.
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.