Some results on extension of lattice-valued QL-implications

Abstract

Background

A very important issue in lattice theory is how to extend a given operator preserving its algebraic properties. For lattice-valued fuzzy operators framework, in 2008 Saminger-Platz presented a way to extend t-norms which was generalized by Palmeira et al. (2011) for t-norms, t-conorms, fuzzy negations and implications, considering the scenery provided by the (r,s)-sublattice.

Methods

In this paper we investigated how to extend QL-implications and which properties of it are preserved by the extension method via retractions (EMR).

Results

As results, we proved that properties (LB), (RB), (CC1), (CC2), (CC3), (CC4), (L-NP), (EP) and (IP) are preserved by EMR.

Conclusions

However, the extension method via retractions fails in preserving the important properties (NP), (OP), (IBL), (CP), (P) and (LEM).

Background

Let L and K be nonempty sets and suppose that M is a subset of L. Given a function f:MK, if we want to extend the domain of f to cover the whole L, what is the best choice to define f(x) for the elements xLM? The answer is: it depends! This is very simple if we want only to construct a new function that has L as its domain. In this case, it is enough, for example, to define f(x)=a for a suitable and fixed a belonging to K (i.e., define f as a constant function for the elements belonging to LM). However, this task becomes more complex if we want to preserve some characteristics and properties of f.

In fuzzy logic, the problem of extending functions can be considered for lattice-valued fuzzy connectives (t-norms, t-conorms, negations, and others) since these connectives are functions, in particular. The pioneer work in this framework was put forward by Saminger-Platz et al. in  which provides a method to extend a t-norm T from a complete sublattice M to a bounded lattice L. Later, we have developed in  an extension method to extend t-norms, t-conorms, and fuzzy negations that generalizes the method proposed in  considering a modified notion of sublattice. Also, we have applied this method for fuzzy implications in .

The class of QL-implications is the generalization for fuzzy logic of the implications of quantum logic which raised from the Garrett Birkhoff and John von Neumann conclusion that “propositional calculus of quantum mechanics has the same structure as an abstract projective geometry.” It opened the way for the development algebraic logic that have much weaker properties than Boolean algebras. Another interesting fact is that projective geometry is a non-distributive modular lattice.

In this work, we apply the extension method developed in  for QL-implications. To do so, we recall some elementary concepts related to lattice theory in Section “Background and literature review.” The extension method via retractions is presented in Section “Research design and methodology,” for t-norms, t-conorms, fuzzy negations, and implications. Section “Methods” is devoted to present the main results of this paper, namely the results concerning to the extension of QL-implications.

This is an extension of one of the best papers awarded in WEIT 2013 invited to be published at the Journal of the Brazilian Computer Society (JBCS).

Background and literature review

Lattice-valued fuzzy logic and related theories have been studied by many researchers since lattice provides a very good scenery for the real world issues. For example, in mathematical morphology, lattice appeals to integral geometry, stereolgy, and random set models; it is mainly its algebraic facet which has become popular. There are also many other applications for lattice in image processing. So it is essential to have a very consistent mathematical theory in order to provide a safe framework to deal with those issues (see [4, 5]).

In this paper, we rise up a discussion on the lattice-valued QL-implications and its algebraic extension as a function. To do so, in which follows, we provide a review on some important definitions and results.

Bounded lattices: definition and related concepts

We consider here the algebraic notion of lattices the reasons for this choice will be clear from the context. But a discussion about the other approach to lattices (i.e., as posets) can be found in .

Definition 1

Let L be a nonempty set. If L and L are two binary operations on L, then 〈L, L , L 〉 is a lattice provided that for each x,y,z L, the following properties hold:

1. 1.

x L y=y L x and x L y=y L x (symmetry);

2. 2.

(x L y) L z=x L (y L z) and (x L y) L z=x L (y L z) (associativity);

3. 3.

x L (x L y)=x and x L (x L y)=x (distributivity).

If in 〈L, L , L 〉 there are elements 0 L and 1 L such that, for all xL, x L 1 L =x and x L 0 L =x, then 〈L, L , L ,0 L ,1 L 〉 is called a bounded lattice. Moreover, it is known that, given a lattice L, the relation x L y if and only if x L y=x defines a partial order on L. Recall also that a lattice L is called a complete lattice if every subset of it has a supremum and an infimum element1.

Example 1

The set [0,1] endowed with the operations defined by xy= min{x,y} and xy= max{x,y} for all x,y[0,1] is a (complete) bounded lattice in the sense of Definition 1 which has 0 as the bottom and 1 as the top element.

Remark 1

In order to simplify the notation, throughout this paper when we say that L is a bounded lattice, it means that L has a structure as in Definition 1.

Definition 2

Let (L, L , L ,0 L ,1 L ) and (M, M , M ,0 M ,1 M ) be bounded lattices. A mapping f:LM is said to be a lattice homomorphism if, for all x,yL, we have

1. 1.

f(x L y)=f(x) M f(y)

2. 2.

f(x L y)=f(x) M f(y)

3. 3.

f(0 L )=0 M and f(1 L )=1 M .

Remark 2

Recall that, an injective (a surjective) lattice homomorphism is called a monomorphism (epimorphism) and a bijective lattice homomorphism is called an isomorphism. An automorphism is an isomorphism from a lattice onto itself.

Proposition 1

[ 2 ] Every lattice homomorphism preserves the order.

Proposition 2

[ 9 ] Let L be a bounded lattice. Then, a function ρ:LL is an automorphism if and only if (1) ρ is bijective and (2) x L y if and only if ρ(x)≤ L ρ(y).

From now on, lattice homomorphisms will be called just homomorphisms for simplicity.

Definition 3

Given a function f:L nL, the action of an L-automorphism ρ over f results in the function f ρ:L nL defined as

$$f^{\rho}(x_{1},\ldots,x_{n})=\rho^{-1}(f(\rho(x_{1}),\ldots,\rho(x_{n})))$$
(1)

In this case, f ρ is said to be a conjugate of f (see [ 10 ]).

Let f:L nL be a conjugate of g:L nL. If f(x 1,…,x n )≤ L g(x 1,…,x n ) for each x 1,…,x n L then we denote it by fg.

Retracts and sublattices

In general, given a bounded lattice L and a nonempty subset ML, it is said that M is a sublattice of L if, for all x,yM, the following conditions hold: x L yM and x L yM. In other words, M equipped with the restriction of the operations L and L inherits the lattice structure of L.

We would like to work in a generalized notion of sublattice in which the condition ML is somewhat weakened.

Definition 4

[ 11 ] A homomorphism r of a lattice L onto a lattice M is said to be a retraction if there exists a homomorphism s of M into L which satisfies rs=i d M . A lattice M is called a retract of a lattice L if there is a retraction r, of L onto M, and s is then called a pseudo-inverse of r.

Definition 5

Let L and M be arbitrary bounded lattices. We say that M is a (r,s)-sublattice of L if M is a retract of L (i.e., M is a sublattice of L up to isomorphisms). In other words, M is a (r,s)-sublattice of L if there is a retraction r of L onto M with pseudo-inverse s:ML.

The purpose of defining (r,s)-sublattices as done in Definition 5 is to provide a relaxed notion of this concept. It is done an identification of M with a subset K=s(M) of L in order to carry on some properties of M to K, including its lattice structure via retraction r. In this case, K works as an algebraic copy of M embedded into L since r is a homomorphism.

Remark 3

Throughout this paper, the concept of (r,s)-sublattice as in Definition 5 is used. Whenever the usual definition of sublattice is used and this is not clear from the context, this sublattice will be called ordinary sublattice.

The main advantage behind the idea of using this relaxed version of sublattice is that it allows us to verify the validity for L of a property which is invariant under homomorphisms from a lattice M without requiring M be a subset of L.

Definition 6

Every retraction r:LM (with pseudo-inverse s) which satisfies sri d L 2 (i d L sr) is called a lower (an upper) retraction. In this case, M is called a lower (an upper) retract of L.

Notice that both in Definitions 5 and 6, the pseudo-inverse s of a retraction r cannot be unique. This is an advantage of our notion of sublattice since if there exist more than one pseudo-inverse for the same retraction, it is possible to identify M with a subset of L in different ways what give us the possibility to choose the best one for our proposes. But we must be clear that when we say that M is a (lower, upper or neither) (r,s)-sublattice of L, we are considering the existence of at least one pseudo-inverse s and fixing it. No matter which pseudo-inverse is taken, every result presented here remains working.

Example 2

Let M and L be bounded lattices as shown in Fig. 1. A mapping r:LM given by r(x)= sup{zM | s(z)≤ L x} is a lower retraction whose pseudo-inverse is the mapping s:ML defined by s(1 M )=1 L , s(a)=v, s(b)=x, s(c)=y, s(d)=z and s(0 M )=0 L . Therefore, it follows that M is a (r,s)-sublattice of L in the sense of Definition 5.

Remark 4

Note that given a lower retraction, it is sometimes possible to define an upper retraction with the same pseudo-inverse. For instance, let L and M be lattices as shown in Fig. 1. If r is a lower retraction with pseudo-inverse s as defined in the Example 2, then the function r given by $$r^{\prime }(x) = \inf \{ z \in M \ | \ s(z) \geqslant _{L} x\}$$ is an upper retraction since i d L sr . It is easy to check that s is also a pseudo-inverse of r .

It is worth noting that if M is a (r,s)-sublattice of L then there is a retraction r from L onto M, but it is not required to r to be a lower or an upper retraction. Nevertheless, as shown in the Remark above, there may be more than one retraction from L onto M with the same pseudo-inverse. This is a very useful particularity of Definition 5 and we would like to highlight it in a definition.

Definition 7

Let M be a (r 1,s)-sublattice of L. We say that

1. 1.

M is a lower (r 1,s)-sublattice of L if r 1 is a lower retraction. Notation: M<L with respect to (r 1,s)

2. 2.

M is an upper (r 1,s)-sublattice of L whenever r 1 is an upper retraction. Notation: M>L with respect to (r 1,s)

3. 3.

If r 1 is a lower retraction and there is an upper retraction r 2:LM such that its pseudo-inverse is also s, then M is called a full (r 1,r 2,s)-sublattice of L. Notation: $$M \unlhd L$$ with respect to (r 1,r 2,s).

Remark 5

Let L be a complete bounded lattice. We define the case when M is a complete and lower (respectively upper) (r,s)-sublattice of L by ML (by $$M \gtrdot L$$).

An immediate consequence of the definition of lower (upper) retraction is that if $$M \unlhd L$$ then it follows that sr 1i d L sr 2.

Fuzzy connectives

In which follows, we define some well-known interpretation of the classical connectives in lattice-valued fuzzy logic [12 14].

Definition 8

Let L be a bounded lattice. A binary operation T(S):L×LL is a t-norm (t-conorm) if, for all x,y,zL, it satisfies:

1. 1.

T(x,y)=T(y,x) (S(x,y)=S(y,x)) (commutativity)

2. 2.

T(x,T(y,z))=T(T(x,y),z) (S(x,S(y,z))=S(S(x,y),z)) (associativity)

3. 3.

If x L y then T(x,z)≤ L T(y,z) (S(x,z)≤ L S(y,z)), zL (monotonicity)

4. 4.

T(x,1 L )=x (S(x,0 L )=x) (boundary condition).

Dually, it is possible to define the concept of t-conorms.

Definition 9

Let L be a bounded lattice. A binary operation S:L×LL is said be a t-conorm if, for all x,y,zL, we have:

1. 1.

S(x,y)=S(y,x) (commutativity)

2. 2.

S(x,S(y,z))=S(S(x,y),z) (associativity)

3. 3.

If x L y then S(x,z)≤ L S(y,z), zL (monotonicity)

4. 4.

S(x,0 L )=x (boundary condition).

Definition 10

A function N:LL is called a fuzzy negation if it satisfies: (N1) N(0 L )=1 L and N(1 L )=0 L (N2) If x L y then N(y)≤ L N(x), for all x,yL.

Moreover, the negation N is strong if it also satisfies the involution property, namely (N3) N(N(x))=x, for all xL

In case N satisfies (N4) N(x){0 L ,1 L } if and only if x=0 L or x=1 L ,

it is called frontier. In addition, every element xL such that N(x)=x is said to be an equilibrium point of N.

From the point of view of lattice theory, a strong negation corresponds to what is known as involution (see ).

Definition 11

Let T be a t-norm on the complete lattice L. The function N T :LL given by

$$N_{T}(x) = \sup \{ y \in L \ | \ T(x,y) = 0_{L} \}$$
(2)

is a fuzzy negation, called natural negation of T or the negation induced by T.

Similarly, we can define a natural negation of a t-conorm S as follows.

Definition 12

Let S be a t-conorm on the complete lattice L. The function N S :LL given by

$$N_{S}(x) = \inf \{ y \in L \ | \ S(x,y) = 1_{L} \}$$
(3)

is a fuzzy negation, called natural negation of S or the negation induced by S.

Proposition 3

Let T be a t-norm and S be a t-conorm on complete lattice L. Thus

1. 1.

if T(x,y)=0 L for some x,yL then yN T (x)

2. 2.

if S(x,y)=1 L for some x,yL then $$y \geqslant N_{S}(x)$$

3. 3.

if z<N T (x) for some x,yL then T(x,z)=0 L

4. 4.

if z>N S (x) for some x,yL then S(x,z)=1 L

Proof

Similar to Remark 2.3.2(iii) of . □

Finally, we present the notion of fuzzy implication. There are some different interpretations of this fuzzy operator in the literature (see ) since there is no consensus on the way to define it just that fuzzy implication have to behavior at least as in the crisp case. Here, we consider the notion presented in  because we believe such a definition has the properties necessary for a fuzzy implication.

Definition 13

A function I:L×LL is a fuzzy implication on L if for each x,y,zL the following properties hold:

1. 1.

(FPA) if x L y then I(y,z)≤ L I(x,z) (first place antitonicity)

2. 2.

(SPI) if y L z then I(x,y)≤ L I(x,z) (second place isotonicity)

3. 3.

(CC1) I(0 L ,0 L )=1 L (corner condition 1)

4. 4.

(CC2) I(1 L ,1 L )=1 L (corner condition 2)

5. 5.

(CC3) I(1 L ,0 L )=0 L (corner condition 3)

Consider also the following properties of an implication I on L:

1. (LB)

I(0 L ,y)=1 L , for all yL

2. (RB)

I(x,1 L )=1 L , for all xL

3. (CC4)

I(0 L ,1 L )=1 L

4. (NP)

I(1 L ,y)=y for each yL (left neutrality principle)

5. (L-NP)

I(1 L ,y)≤ L y for each yL

6. (EP)

I(x,I(y,z))=I(y,I(x,z)) for all x,y,zL (exchange principle)

7. (IP)

I(x,x)=1 L for each xL (identity principle)

8. (OP)

I(x,y)=1 L if and only if xy (ordering property)

9. (IBL)

I(x,I(x,y))=I(x,y) for all x,y,zL (iterative Boolean law)

10. (CP)

I(x,y)=I(N(y),N(x)) for each x,yL with N a fuzzy negation on L (law of contraposition)

11. (L-CP)

I(N(x),y)=I(N(y),x) (law of left contraposition)

12. (R-CP)

I(x,N(y))=I(y,N(x)) (law of right contraposition)

13. (P)

I(x,y)=0 L if and only if x=1 L and y=0 L (Positivety)

14. (LEM)

S(N(x),x)=1 L for each xL (law of excluded middle)

Note that, a special class of fuzzy implication can be naturally obtained by generalizing the implication operator from the quantum logic, namely pq¬p(pq). For bounded lattices, this implication is given as follows.

Definition 14

A function I:L×LL is called a QL-implication if there exist a t-norm T, a t-conorm S and a fuzzy negation N such that

$$I(x,y) = S(N(x),T(x,y))$$
(4)

for all x,yL, is a fuzzy implication. If I is a QL-implication generated by the triple 〈T,S,N〉, then we will often denote it by I T,S,N .

Remark 6

 Notice that not all function I satisfying Eq. (4) is a fuzzy implication. For instance, if L=[0,1], T is the drastic t-norm, i.e.,

$$T(x,y) = \left\{ \begin{array}{rl} x, & y=1;\\ y, & x=1;\\ 0, & \text{otherwise}. \end{array} \right.$$

then the function

$$I_{T,S,N}(x,y) = \left\{ \begin{array}{rl} 1, & y=1;\\ y, & x=1;\\ N(x), & \text{otherwise}. \end{array} \right.$$

is not always a fuzzy implication, even if S and N satisfy (LEM).

Definition 15

Let T, S, and N be a t-norm, a t-conorm, and fuzzy negation on L, respectively. Then, the function $$N_{I_{T,S,N}}: L \rightarrow L$$ given by

$$N_{I_{T,S,N}}(x) = I_{T,S,N}(x,0_{L})$$
(5)

for all xL is a fuzzy negation. Usually $$N_{I_{T,S,N}}$$ is called the natural negation generated from I T,S,N .

Proposition 4

 Let T be a t-norm, S a t-conorm, and N a fuzzy negation defined on L. Then

1. 1.

I T,S,N satisfies (SPI), (CC1), (CC2), (CC3), (CC4), (LB), and (NP)

2. 2.

$$N_{I_{T,S,N}}=N$$

Proposition 5

 If I T,S,N is a QL-implication, then the conjugate of I T,S,N is also a QL-implication generated from the conjugate of T, S and N, i.e.,

$$(I_{T,S,N})^{\rho} = I_{T^{\rho},S^{\rho},N^{\rho}}$$

Research design and methodology

As explained at the beginning, the main goal of this paper is to provide a discussion about the extension of lattice-valued QL-implications applying the method proposed in  in order to verify which properties are preserved by the extension operator. Because it is a theoretical research the methodology is basically to state and prove results.

Methods

We start this section presenting the extension method developed in [2,21] for t-norms, t-conorms, and fuzzy negations. Also in this framework, we apply this method for extending QL-implications considering our previous study about extension of fuzzy implications described in .

Extension method via retractions (EMR)

We start this section presenting the extension method developed in  for t-norms, t-conorms and fuzzy negations. Also in this framework, we apply this method for extending QL-implications considering our previous study about extension of fuzzy implications described in .

Consider an ordinary sublattice M of a bounded lattice L (i.e., ML) and T a t-norm on M. Since a t-norm is particularly a function, it is natural to think if it is possible to extend T from M to L in order to obtain a new t-norm T E on L.

One of the first published works on this subject was put forward by Saminger-Platz et al. in . There, it was proposed a method to extend a given t-norm T defined on a complete ordinary sublattice M of lattice L.

Seeking to generalize this extension method considering the relaxed notion of sublattice as in Definition 5, Palmeira and Bedregal presented in  other way to extend t-norms, t-conorms, and fuzzy negations as we can see in the following propositions.

Proposition 6

 Let M<L with respect to (r,s). If T is a t-norm on M then T E:L×LL defined by

$$T^{E}(x,y) = \left\{ \begin{array}{rl} x \wedge_{L} y, & \ if \ 1_{L} \in \{x, y\}\\ s(T(r(x),r(y))), & \ \text{otherwise}. \end{array} \right.$$
(6)

is a t-norm which extends T from M to L.

It is also possible to apply the method of extending t-norms for t-conorms and fuzzy negations under similar conditions as one can see in Propositions 7 and 8 below.

Proposition 7

 Let M>L with respect to (r,s). If S is a t-conorm on M, then S E:L×LL defined by

$$S^{E}(x,y) = \left\{ \begin{array}{rl} x \vee_{L} y, & \ if \ 0_{L} \in \{x, y\}\\ s(S(r(x),r(y))), & \ \text{otherwise}. \end{array} \right.$$
(7)

is a t-conorm which extends S from M to L.

Corollary 1

 Let M>L with respect to (r,s), ρ be an automorphism on M and T be a t-norm on M. Moreover, suppose ψ:LL is an automorphism on L such that rψ=ρr. Then, $$(S^{\rho })^{E} \geqslant (S^{E})^{\psi }$$.

Proposition 8

 Let M be a (r,s)-sublattice of L and N:MM be a fuzzy negation. Then

$$N^{E}(x) = s(N(r(x)))$$
(8)

for each xL is a fuzzy negation that extends N from M to L.

It is worth noting that in Proposition 8, it is required only that r needs to be a retraction (it is not necessary to be neither a lower nor an upper retraction), and hence if r is a lower retraction or an upper retraction, the result remains valid. This fact allows us to extend fuzzy negations in a more flexible way than t-norms and t-conorms.

Proposition 9

Let T be a t-norm and S be a t-conorm on lattice M. Thus

1. 1.

if ML with respect (r 1,s) and T E(x,y)=0 L for some x,yL then $$s(r_{1}(y)) \leqslant {N^{E}_{T}}(x)$$

2. 2.

if $$M \gtrdot L$$ with respect (r 2,s) and S E(x,y)=1 L for some x,yL then $$s(r_{2}(y)) \geqslant {N^{E}_{S}}(x)$$

3. 3.

if ML and $$z < {N^{E}_{T}}(x)$$ for some x,zL then T E(x,z)=0 L

4. 4.

if $$M \gtrdot L$$ and $$z > {N^{E}_{S}}(x)$$ for some x,zL then S E(x,z)=1 L

Proof

1. 1.

Suppose T E(x,y)=0 L e $${N^{E}_{T}}(x) = s(N_{T}(r_{1}(x)))$$ for each xL. Hence, if x=1 L or y=1 L , we have that T E(x,y)=xy=0 L . Without loss of generality, put x=1 L and then y=0 L . Therefore, $$0_{L} = s(r_{1}(y)) < {N^{E}_{T}}(x) = 1_{L}$$. On the other hand, if x≠1 L and y≠1 L then

$${}s(T(r_{1}(x),r_{1}(y))) = 0_{L} \ \Rightarrow \ T(r_{1}(x),r_{1}(y)) = r(0_{L}) \!= 0_{M} \! \Rightarrow \$$
$$\Rightarrow \ r_{1}(y) \leqslant N_{T}(r_{1}(x)) \ \Rightarrow \ s(r_{1}(y)) \leqslant {N^{E}_{T}}(x).$$
2. 2.

For this item, we take $${N^{E}_{S}}(x) = s(N_{S}(r_{2}(x)))$$ for each xL. If S E(x,y)=1 L for x≠0 L and y≠0 L then s(S(r 2(x),r 2(y)))=1 L . Since r 1 is order-preserving, it follows that S(r 2(x),r 2(y))=r 1(1 L )=1 M , and by Proposition 3 item 2, $$r_{2}(y) \geqslant N_{S}(r_{2}(x))$$ which implies $$s(r_{2}(y)) \geqslant s(N_{S}(r_{2}(x))) = {N^{E}_{S}}(x)$$. If x=0 L or y=0 L , then supposing x=0 L , we have that 1 L =S E(x,y)=xy and hence y=1 L . Therefore, $$s(r_{2}(1_{L})) = 1_{L} = {N^{E}_{S}}(0_{L})$$.

3. 3.

If $$z < {N^{E}_{T}}(x) = s(N_{T}(r_{1}(x)))$$ then r 1(z)≤N T (r 1(x)). By Proposition 3 item 3, we have T(r 1(x),r 1(z))=0 M and hence s(T(r 1(x),r 1(z)))=s(0 M )=0 L . Thus T E(x,z)=0 L .

4. 4.

Consider $${N^{E}_{S}}$$ as defined at item 2. If $$z > {N^{E}_{S}}(x) = s(N_{S}(r_{2}(x)))$$ then $$r_{2}(z) \geqslant N_{S}(r_{2}(x))$$. Again by Proposition 3, it follows that

\begin{aligned} {}S(r_{2}(x),r_{2}(z)) &= 1_{M} \ \Rightarrow \ s(S(r_{2}(x),r_{2}(z)) \\&\quad= s(1_{M}) = 1_{L} \ \Rightarrow \ S^{E}(x,z) = 1_{L} \end{aligned}

The following theorem presents a way to extend fuzzy implications by applying the method of extending fuzzy operators as introduced in .

Theorem 1

 Let M be a (r,s)-sublattice of L. If I is an implication on M then the function I E:L×LL given by

$$I^{E}(x,y) = s(I(r(x),r(y)))$$
(9)

for all x,yL, is an implication on L. In this case, I E is called the extension of I from M to L.

Proposition 10

 Under the same conditions as in Theorem 1, if I is an implication on M satisfying some of properties (LB), (RB), (CC4), (EP), (IP), (IBL), and (CP), then I E is an implication on L which satisfies the same properties.

Proposition 11

 Let M be a (r,s)-sublattice of L, ρ be an automorphism on M and I be an implication on M. Moreover, suppose ψ:LL is an automorphism on L such that rψ=ρr and ψ −1s=sρ −1. Then, (I ρ)E=(I E)ψ.

Results and discussion

The main results are presented in what follows as well as a critical analysis of them. We start presenting the extension of the QL-implications in the first subsection and then a discussion is done for its extension and properties (EP) and (IP). Finally, a table summarize which properties of QL-implications are or not preserved by the extension method.

Extension of QL-implications

As shown in the previous subsection, the extension method via retractions can be used for extending t-norms, t-conorms, fuzzy negations, and implications. Now, we want to apply this method to extend QL-implications and test which properties related to this operator can be preserved by this extension method.

Theorem 2

Let $$M \unlhd L$$ with respect to (r 1,r 2,s). If I T,S,N is a QL-implication on M, then the function given by $$I^{E}_{T,S,N}(x,y)= s(I_{T,S,N}(r_{1}(x),r_{1}(y))\phantom {\dot {i}\!}$$ for each x,yL is a QL-implication on L.

Proof

Straightforward from Theorem 1. □

Proposition 12

Let $$M \unlhd L$$ with respect to (r 1,r 2,s). If T, S, and N are a t-norm, a t-conorm, and a fuzzy negation respectively defined on M, such that I T,S,N is a QL-implication on M, then the function given by $$I_{T^{E},S^{E},N^{E}}(x,y)= S^{E}(N^{E}(x),T^{E}(x,y))\phantom {\dot {i}\!}$$ for each x,yL is a QL-implication.

Proof

Since r 1 and r 2 are a lower and an upper retractions, respectively, we can extend T with respect to (r 1,s) as in (6) and S with respect to (r 2,s) as in (7). Moreover, for each xL, N E(x)=s(N(r 1(x))) is an extension of N from M to L (see Proposition 8). In this case, we have that

$$\begin{array}{rcl} I_{T^{E},S^{E},N^{E}}(x,y) & = & S^{E}(N^{E}(x),T^{E}(x,y)) \\ & = & s(S(r_{2}(N^{E}(x)),r_{2}(T^{E}(x,y)))) \\ & = & s(S(r_{2}(s(N(r_{1}(x)))),\\ & & r_{2}(s(T(r_{1}(x),r_{1}(y)))))) \\ & = & s(S(N(r_{1}(x)),T(r_{1}(x),r_{1}(y)))) \\ & = & s(I_{T,S,N}(r_{1}(x),r_{1}(y))) \end{array}$$

for all x,yL.

Considering this fact, we shall prove that $$I_{T^{E},S^{E},N^{E}}\phantom {\dot {i}\!}$$ satisfies (F P A), (S P I), (C C1), (C C2), and (C C3). (FPA)Let x,yL such that x L y. Since I T,S,N is a QL-implication (in this case, it satisfies (FPA)) and r 1(x)≤ M r 1(y) then, for all zL, it follows that

$$\begin{array}{rcl} I_{T^{E},S^{E},N^{E}}(y,z) &= & s(I_{T,S,N}(r_{1}(y),r_{1}(z))) \\ & \leqslant_{L} & s(I_{T,S,N}(r_{1}(x),r_{1}(z))) \\ & = & I_{T^{E},S^{E},N^{E}}(x,z) \end{array}$$

Analogously, it can be proved that $$I_{T^{E},S^{E},N^{E}}\phantom {\dot {i}\!}$$ satisfies (SPI) since I T,S,N satisfies (SPI).

Moreover, (CC1)

$$\begin{array}{rcl} I_{T^{E},S^{E},N^{E}}(0_{L},0_{L}) &= &s(S(N(r_{1}(0_{L})),T(r_{1}(0_{L}),r_{1}(0_{L})))) \\ & = & s(S(1_{M},0_{M}))\\ & = & s(1_{M}) = 1_{L} \end{array}$$

(CC2)

$$\begin{array}{rcl} I_{T^{E},S^{E},N^{E}}(1_{L},1_{L}) & = & s(S(N(r_{1}(1_{L})),T(r_{1}(1_{L}),r_{1}(1_{L})))) \\ & = & s(S(N(1_{M}),T(1_{M},1_{M}))) \\ & = & s(1_{M}) = 1_{L} \end{array}$$

(CC3)

$$\begin{array}{rcl} I_{T^{E},S^{E},N^{E}}(1_{L},0_{L}) &= & s(S(N(r_{1}(1_{L})),T(r_{1}(1_{L}),r_{1}(0_{L})))) \\ & = & s(S(0_{M},0_{M}))\\ & = & s(0_{M}) = 0_{L} \end{array}$$

Corollary 2

Let $$M \unlhd L$$ with respect to (r 1,r 2,s). If T, S, and N are a t-norm, a t-conorm, and a fuzzy negation, respectively, all of them defined on M, then $$I_{T^{E},S^{E},N^{E}}= I^{E}_{T,S,N}$$.

Proof

For all x,yL, it follows that

$$\begin{array}{rcl} {}I_{T^{E},S^{E},N^{E}}(x,y) &\!\!= & S^{E}(N^{E}(x)T^{E}(x,y))\\ & \!\!= & s(S(r_{2}(s(N(r_{1}(x)))),r_{2}(s(T(r_{1}(x),\!r_{1}(y)))))\!) \\ & \!\!= & s(S(N(r_{1}(x)),T(r_{1}(x),r_{1}(y)))) \\ & \!\!= & s(I_{T,S,N}(r_{1}(x),r_{1}(y))\\ & \!\!= & I^{E}_{T,S,N}(x,y) \end{array}$$

Proposition 13

Let $$M \unlhd L$$ with respect to (r 1,r 2,s). If T is a t-norm, S a t-conorm, and N a fuzzy negation defined on M, respectively, then

1. 1.

$$I_{T^{E},S^{E},N^{E}}\phantom {\dot {i}\!}$$ satisfies (SPI), (CC1), (CC2), (CC3), (CC4), (LB), (RB), and (L-NP)

2. 2.

$$N_{I_{T^{E},S^{E},N^{E}}}=N^{E}\phantom {\dot {i}\!}$$

Proof

1. From Proposition 12, we can conclude that $$I_{T^{E},S^{E},N^{E}}\phantom {\dot {i}\!}$$ satisfies (SPI), (CC1), (CC2), and (CC3). Moreover, for all yL we have that

$$\begin{array}{rcl} {}I_{T^{E}\!,S^{E}\!,N^{E}}(0_{L},\!y) & \!\!= & \!s(S(r_{2}(s(N(r_{1}(0_{L})))),\!r_{2}(s(T(r_{1}(0_{L}),\!r_{1}(y)\!)\!)\!)\!)\!)\\ &\!\! = & \!s(S(N(r_{1}(0_{L})),T(r_{1}(0_{L}),r_{1}(y))))\\ &\!\! = & \!s(S(1_{M},0_{M})) \\ &\!\! = &\! s(1_{M}) = 1_{L} \end{array}$$

and

$$\begin{array}{rcl} {}I_{T^{E\!},S^{E\!},N^{E}}(x,\!1_{L}) & \!= & \!s(S(r_{2}(s(N(r_{1}\!(x)))),\!r_{2}(s(T(r_{1}\!(x),\!r_{1}\!(1_{L}\!))))))\\ & \!= & \!s(S(N(r_{1}(x)),T(r_{1}(x),r_{1}(1_{L}))))\\ & \!= &\! s(S(N(r_{1}(x)),T(r_{1}(x),1_{M})))\\ &\! = & \!s(S(N(r_{1}(x)),r_{1}(x)))\\ &\! = &\! s(1_{M}) = 1_{L} \end{array}$$

what means that $$I_{T^{E},S^{E},N^{E}}\phantom {\dot {i}\!}$$ satisfies (LB) and (RB). For showing that it satisfies (L-NP), it is enough to see that for each yL we have

$$\begin{array}{rcl} I_{T^{E},S^{E},N^{E}}(1_{L},y) & = & s(S(N(r_{1}(1_{L})),T(r_{1}(1_{L}),r_{1}(y)))) \\ & = & s(S(0_{M},r_{1}(y))) \\ & = & s(r_{1}(y)) \leqslant_{L} y \end{array}$$

It is easy to see that $$I_{T^{E},S^{E},N^{E}}\phantom {\dot {i}\!}$$ satisfies (CC4) since it satisfies (LB).

2. For each xL, it follows that

$$\begin{array}{rcl} N_{I_{T^{E},S^{E},N^{E}}}(x) & = & I_{T^{E},S^{E},N^{E}}(x,0_{L})\\ & = & S^{E}(N^{E}(x),T^{E}(x,0_{L})) \\ & = & S^{E}(N^{E}(x),0_{L}) = N^{E}(x) \end{array}$$

In which follows, some results on properties preserved by the extension method via retractions and demonstrate proposition about the relationship of extension of QL-implications and its properties is presented.

Proposition 14

Let $$M \unlhd L$$ with respect to (r 1,r 2,s). Suppose T is a t-norm, S a t-conorm, and N a fuzzy negation defined on M respectively and I T,S,N is the QL-implication on M generated by T, S, and N. If I T,S,N satisfies (EP) then $$I^{E}_{T,S,N}\phantom {\dot {i}\!}$$ satisfies (EP).

Proof

For each x,y,zL, we have that

$$\begin{array}{rcl} {} I^{E}_{T\!,S,N}\!(x,\!I^{E}_{T\!,S,N}\!(y,\!z)) & \!\!= &\! s(I_{T,S,N}(r_{1}(x),r_{1}(I^{E}_{T,S,N}(y,z))))\\ & \!= &\! s(I_{T\!,S,N\!}(r_{1}\!(x),r_{1}\!(s(I_{T,S,N\!}(r_{1\!}(y),\!r_{1}(z)))))\\ &\! = & \!s(I_{T,S,N}(r_{1}(x),I_{T,S,N}(r_{1}(y),r_{1}(z))))\\ &\! = & \!s(I_{T,S,N}(r_{1}(y),I_{T,S,N}(r_{1}(x),r_{1}(z))))\\ &\! = &\! s(I_{T\!,S,N}\!(r_{1}\!(y),\!r_{1\!}(s(I_{T,S,N\!}(r_{1\!}(x),\!r_{1\!}(z))))))\\ &\! = & \!s(I_{T,S,N}(r_{1}(y),r_{1}(I^{E}_{T,S,N}(y,z)))))\\ & \!= &\! I^{E}_{T,S,N}(y,I^{E}_{T,S,N}(x,z)) \end{array}$$

Proposition 15

Let $$M \unlhd L$$ with respect to (r 1,r 2,s). Suppose T is a t-norm, S a t-conorm, and N a fuzzy negation defined on M respectively and I T,S,N is the QL-implication on M generated by T, S, and N. If I T,S,N satisfies (IP), then $$I_{T^{E},S^{E},N^{E}}\phantom {\dot {i}\!}$$ satisfies (IP).

Proof

Notice that if x=1 L , then

$$\begin{array}{rcl} I_{T^{E},S^{E},N^{E}}(1_{L},1_{L}) & = & S^{E}(N^{E}(1_{L}),T^{E}(1_{L},1_{L})) \\ & = & S^{E}(0_{L},1_{L}) = 1_{L} \end{array}$$

On the other hand, supposing x≠1 L , hence

$$\begin{array}{rll} {}I_{T^{E},S^{E},N^{E}}(x,1_{L}) &\!\! = &\! S^{E}(N^{E}(x),T^{E}(x,x)) \\ &\! \!= & \!s(\!S(r_{2}\!(\!s(N\!(r_{1}\!(x)))),r_{2}(s(T(r_{1}(x),r_{1}(x))))))\\ &\! \!= & \!s(S(N(r_{1}(x)),T(r_{1}(x),r_{1}(x))))\\ &\! \!= & \!s(I_{T,S,N}(r_{1}(x),r_{1}(x)))\\ &\!\! = &\! s(1_{M}) = 1_{L} \end{array}$$

Proposition 16

Let M<L with respect (r 1,s). If I T,S,N is a QL-implication on M satisfying (IP), then $$T^{E}(x,x) \geqslant {N^{E}_{S}} \circ N^{E}(x)$$ for all xL.

Proof

For each xL, we have

$$\begin{array}{rcl} T^{E}(x,x) & = & s(T(r_{1}(x),r_{1}(x)))\\ & \geqslant & s(N_{S}(N(r_{1}(x))))\\ & = & s(N_{S}(r_{1}(s(N(r_{1}(x))))))\\ & = & {N^{E}_{S}}(N^{E}(x)) = {N^{E}_{S}} \circ N^{E}(x) \end{array}$$

QL-implications and identity principle (LEM)

Suppose S is a t-conorm on M and N is a fuzzy negation on M given by N E(x)=s(N(r 2(x))) which satisfy property (LEM). If 1 L xL, then

$$\begin{array}{rcl} S^{E}(N^{E}(x),x) & = & s(S(r(s(N(r_{2}(x)))),r_{2}(x)))\\ & = & s(S(N(r_{2}(x)),r_{2}(x)))\\ & = & s(r_{2}(x)) \geqslant 1_{L} \end{array}$$

Since 1 L is the top element of lattice L then S E(N E(x),x)=1 L .

In case x=1 L , it follows that S E(N E(1 L ),1 L )=s(S(r(s(N(r 2(1 L )))),r 2(1 L )))=s(S(N(1 M ),1 M ))=s(1 M )=1 L . Therefore, we can state that

Proposition 17

Let M>L with respect (r 2,s). If S is a t-conorm on M and N is a fuzzy negation on M given by N E(x)=s(N(r 2(x))) which satisfy property (LEM), then S E(N E(x),x)=1 L for all xL.

The table below shows a description about the properties that are preserved by extension method via retraction and those that are not preserved by EMR.

This results shows that this extension method is efficient if one wishes to obtain a minimal extension of the operator. However, some important properties regarding to implications are not preserved by this extension method. For instance ordering property (OP).

As we can in the Table 1, every property resulting from those xL/M that not satisfies s(r(x))=x implies in some problem for the extension method. This problem can be solved if we consider a more powerful extension method (via e-operators, for short EMEP) as one can see in . The results shown in  allow us to say that the extension method via retraction is better to obtain minimal extension whereas EMEP is more efficient in preserving properties.

Conclusions

We have investigated in this paper the behavior of extension method via retractions when applied for lattice-valued QL-implications. As occurred for other fuzzy operators (t-norms, t-conorms, and negations, see ), the results have shown some properties of this class of implication are not preserved by this method. For instance, it does not preserve property (NP) (see Proposition 3.6). It is desirable to propose an extension method more efficient in preserving the properties of extended operator.

For future works, we also wish to apply the extension method we have developed in  for QL-implications (actually, we want to study the extension of a more general class of implication operators and its properties) and make a comparison of the results.

Endnotes

1 An element aL is called a supremum (infimum) if it is the least (greatest) element in L satisfying property $$a \geqslant x$$ (ax) for all xL.

2 If f and g are functions on a lattice L, it is said that fg if and only if f(x)≤ L g(x) for all xL.

References

1. 1

Saminger-Platz S, Klement EP, Mesiar R (2008) On extensions of triangular norms on bounded lattices. Indagationes Mathematicae 19(1): 135–150.

2. 2

Palmeira ES, Bedregal BC (2012) Extension of fuzzy logic operators defined on bounded lattices via retractions. Comput Math Appl 63: 1026–1038.

3. 3

Palmeira ES, Bedregal BC, Fernández J, Jurio A (2014) On extension of lattice-valued implications via retractions. Fuzzy Sets Syst 240: 66–85.

4. 4

Nachtegael M, Sussner P, Kerre EE (2011) On the role of complete lattices in mathematical morphology: from tool to uncertainty model. Inform Sci 181: 1971–1988.

5. 5

Ronse C (1990) Why mathematical morphology needs complete lattices. Signal Process 21: 129–154.

6. 6

Birkhoff G (1973) Lattice Theory. American Mathematical Society, Providence. RI.

7. 7

Burris S, Sankappanavar HP (2005) A course in universal algebra. The Millennium Edition, New York.

8. 8

Davey BA, Priestley HA (2002) Introduction to lattices and order. 2nd ed. Cambridge University Press, Cambridge.

9. 9

Palmeira ES, Bedregal BC (2014) A new way to extend T-norms, T-conorms and negations. Fuzzy Sets Syst 240: 1–21.

10. 10

da Costa CG, Bedregal BRC, Dória Neto AD (2011) Relating De Morgan triples with Atanassov’s Intuitionistic De Morgan triples automorphisms. Int J Approximate Reasoning 52(4): 473–487.

11. 11

De Cooman G, Kerre EE (1994) Order norms on bounded partially ordered sets. J Fuzzy Math 2: 281–310.

12. 12

Klement EP, Mesiar R (2005) Logical, algebraic, analytic, and probabilistic aspects of triangular norms. Elsevier B.V., The Netherlands.

13. 13

Klement EP, Mesiar R, Pap E (2000) Triangular norms. Kluwer Academic Publishers, Dordrecht.

14. 14

Klir GJ, Yuan B (1995) Fuzzy sets and fuzzy logic, theory and applications. Prentice Hall PTR, NJ.

15. 15

Baczyński M, Jayaram B (2008) Fuzzy implications. Studies in fuzziness and soft computing. Springer-Verlag, Berlin Heidelberg.

16. 16

Baczyński M (2004) Residual implications revisited. Notes on the Smets–Magrez theorem. Fuzzy Sets Syst 145(2): 267–277.

17. 17

Bedregal BC, Beliakov G, Bustince H, Fernandez J, Pradera A, Reiser R (2013) (S,N)-Implications on bounded lattices. M. Baczyński et al. (eds), Advances in fuzzy implication functions. Stud Fuzziness Soft Comput Springer-Verlag, Berlin Heidelberg 300: 101–124.

18. 18

Bustince H, Burillo P, Soria F (2003) Automorphisms, negations and implication operators. Fuzzy Sets Syst 134(2): 209–229.

19. 19

Mas M, Monserrat M, Torrens J, Trillas E (2007) A survey on fuzzy implications functions. IEEE Trans Fuzzy Syst 15(6): 1107–1121.

20. 20

Yager RR (1983) On the implication operator in fuzzy logic. Inform Sci 31(2): 141–164.

21. 21

Palmeira ES, Bedregal BC (2011) Extension of T-subnorms on bounded lattices via retractions In: 30th Annual Conference of the North American Fuzzy Information Processing Society.. El Paso, TX.

Acknowledgements

We would like to thank the State University of Santa Cruz and FAPESB for the financial support (author Eduardo S. Palmeira).

Authors’ contributions

All of the results presented here were proposed and proved by us. We have introduced the extension method in our previous works. In this paper, our main contribution was to provide a study about which properties of lattice-valued QL-implications are preserved by the application of the extension method via retractions. All authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

Author information

Authors

Corresponding author

Correspondence to Eduardo S. Palmeira.

Rights and permissions 