 Research
 Open Access
 Published:
Some results on extension of latticevalued QLimplications
Journal of the Brazilian Computer Society volume 22, Article number: 4 (2016)
Abstract
Background
A very important issue in lattice theory is how to extend a given operator preserving its algebraic properties. For latticevalued fuzzy operators framework, in 2008 SamingerPlatz presented a way to extend tnorms which was generalized by Palmeira et al. (2011) for tnorms, tconorms, fuzzy negations and implications, considering the scenery provided by the (r,s)sublattice.
Methods
In this paper we investigated how to extend QLimplications 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), (LNP), (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:M→K, 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 x∈L∖M? 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 L∖M). 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 latticevalued fuzzy connectives (tnorms, tconorms, negations, and others) since these connectives are functions, in particular. The pioneer work in this framework was put forward by SamingerPlatz et al. in [1] which provides a method to extend a tnorm T from a complete sublattice M to a bounded lattice L. Later, we have developed in [2] an extension method to extend tnorms, tconorms, and fuzzy negations that generalizes the method proposed in [1] considering a modified notion of sublattice. Also, we have applied this method for fuzzy implications in [3].
The class of QLimplications 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 nondistributive modular lattice.
In this work, we apply the extension method developed in [2] for QLimplications. 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 tnorms, tconorms, fuzzy negations, and implications. Section “Methods” is devoted to present the main results of this paper, namely the results concerning to the extension of QLimplications.
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
Latticevalued 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 latticevalued QLimplications 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 [6–8].
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.
x∧_{ L } y=y∧_{ L } x and x∨_{ L } y=y∨_{ L } x (symmetry);

2.
(x∧_{ L } y)∧_{ L } z=x∧_{ L }(y∧_{ L } z) and (x∧_{ L } y)∨_{ L } z=x∨_{ L }(y∧_{ L } z) (associativity);

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 x∈L, 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 element^{1}.
Example 1
The set [0,1] endowed with the operations defined by x∧y= min{x,y} and x∨y= 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:L→M is said to be a lattice homomorphism if, for all x,y∈L, we have

1.
f(x∧_{ L } y)=f(x)∧_{ M } f(y)

2.
f(x∨_{ L } y)=f(x)∨_{ M } f(y)

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 ρ:L→L 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 ^{n}→L, the action of an Lautomorphism ρ over f results in the function f ^{ρ}:L ^{n}→L defined as
In this case, f ^{ρ} is said to be a conjugate of f (see [ 10 ]).
Let f:L ^{n}→L be a conjugate of g:L ^{n}→L. If f(x _{1},…,x _{ n })≤_{ L } g(x _{1},…,x _{ n }) for each x _{1},…,x _{ n }∈L then we denote it by f≤g.
Retracts and sublattices
In general, given a bounded lattice L and a nonempty subset M⊆L, it is said that M is a sublattice of L if, for all x,y∈M, the following conditions hold: x∧_{ L } y∈M and x∨_{ L } y∈M. 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 M⊆L 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 r∘s=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 pseudoinverse 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 pseudoinverse s:M→L.
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:L→M (with pseudoinverse s) which satisfies s∘r≤i d _{ L } ^{2} (i d _{ L }≤s∘r) 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 pseudoinverse s of a retraction r cannot be unique. This is an advantage of our notion of sublattice since if there exist more than one pseudoinverse 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 pseudoinverse s and fixing it. No matter which pseudoinverse 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:L→M given by r(x)= sup{z∈M  s(z)≤_{ L } x} is a lower retraction whose pseudoinverse is the mapping s:M→L 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 pseudoinverse. For instance, let L and M be lattices as shown in Fig. 1. If r is a lower retraction with pseudoinverse 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 }≤s∘r ^{′}. It is easy to check that s is also a pseudoinverse 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 pseudoinverse. 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.
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.
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.
If r _{1} is a lower retraction and there is an upper retraction r _{2}:L→M such that its pseudoinverse 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 M⋖L (by \(M \gtrdot L\)).
An immediate consequence of the definition of lower (upper) retraction is that if \(M \unlhd L\) then it follows that s∘r _{1}≤i d _{ L }≤s∘r _{2}.
Fuzzy connectives
In which follows, we define some wellknown interpretation of the classical connectives in latticevalued fuzzy logic [12 – 14].
Definition 8
Let L be a bounded lattice. A binary operation T(S):L×L→L is a tnorm (tconorm) if, for all x,y,z∈L, it satisfies:

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

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

3.
If x≤_{ L } y then T(x,z)≤_{ L } T(y,z) (S(x,z)≤_{ L } S(y,z)), ∀ z∈L (monotonicity)

4.
T(x,1_{ L })=x (S(x,0_{ L })=x) (boundary condition).
Dually, it is possible to define the concept of tconorms.
Definition 9
Let L be a bounded lattice. A binary operation S:L×L→L is said be a tconorm if, for all x,y,z∈L, we have:

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

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

3.
If x≤_{ L } y then S(x,z)≤_{ L } S(y,z), ∀ z∈L (monotonicity)

4.
S(x,0_{ L })=x (boundary condition).
Definition 10
A function N:L→L 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,y∈L.
Moreover, the negation N is strong if it also satisfies the involution property, namely (N3) N(N(x))=x, for all x∈L
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 x∈L 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 [6]).
Definition 11
Let T be a tnorm on the complete lattice L. The function N _{ T }:L→L given by
is a fuzzy negation, called natural negation of T or the negation induced by T.
Similarly, we can define a natural negation of a tconorm S as follows.
Definition 12
Let S be a tconorm on the complete lattice L. The function N _{ S }:L→L given by
is a fuzzy negation, called natural negation of S or the negation induced by S.
Proposition 3
Let T be a tnorm and S be a tconorm on complete lattice L. Thus

1.
if T(x,y)=0_{ L } for some x,y∈L then y≤N _{ T }(x)

2.
if S(x,y)=1_{ L } for some x,y∈L then \(y \geqslant N_{S}(x)\)

3.
if z<N _{ T }(x) for some x,y∈L then T(x,z)=0_{ L }

4.
if z>N _{ S }(x) for some x,y∈L then S(x,z)=1_{ L }
Proof
Similar to Remark 2.3.2(iii) of [15]. □
Finally, we present the notion of fuzzy implication. There are some different interpretations of this fuzzy operator in the literature (see [15–20]) 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 [15] because we believe such a definition has the properties necessary for a fuzzy implication.
Definition 13
A function I:L×L→L is a fuzzy implication on L if for each x,y,z∈L the following properties hold:

1.
(FPA) if x≤_{ L } y then I(y,z)≤_{ L } I(x,z) (first place antitonicity)

2.
(SPI) if y≤_{ L } z then I(x,y)≤_{ L } I(x,z) (second place isotonicity)

3.
(CC1) I(0_{ L },0_{ L })=1_{ L } (corner condition 1)

4.
(CC2) I(1_{ L },1_{ L })=1_{ L } (corner condition 2)

5.
(CC3) I(1_{ L },0_{ L })=0_{ L } (corner condition 3)
Consider also the following properties of an implication I on L:

(LB)
I(0_{ L },y)=1_{ L }, for all y∈L

(RB)
I(x,1_{ L })=1_{ L }, for all x∈L

(CC4)
I(0_{ L },1_{ L })=1_{ L }

(NP)
I(1_{ L },y)=y for each y∈L (left neutrality principle)

(LNP)
I(1_{ L },y)≤_{ L } y for each y∈L

(EP)
I(x,I(y,z))=I(y,I(x,z)) for all x,y,z∈L (exchange principle)

(IP)
I(x,x)=1_{ L } for each x∈L (identity principle)

(OP)
I(x,y)=1_{ L } if and only if x≤y (ordering property)

(IBL)
I(x,I(x,y))=I(x,y) for all x,y,z∈L (iterative Boolean law)

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

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

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

(P)
I(x,y)=0_{ L } if and only if x=1_{ L } and y=0_{ L } (Positivety)

(LEM)
S(N(x),x)=1_{ L } for each x∈L (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 p→q⇔¬p∨(p∧q). For bounded lattices, this implication is given as follows.
Definition 14
A function I:L×L→L is called a QLimplication if there exist a tnorm T, a tconorm S and a fuzzy negation N such that
for all x,y∈L, is a fuzzy implication. If I is a QLimplication generated by the triple 〈T,S,N〉, then we will often denote it by I _{ T,S,N }.
Remark 6
[15] Notice that not all function I satisfying Eq. (4) is a fuzzy implication. For instance, if L=[0,1], T is the drastic tnorm, i.e.,
then the function
is not always a fuzzy implication, even if S and N satisfy (LEM).
Definition 15
Let T, S, and N be a tnorm, a tconorm, and fuzzy negation on L, respectively. Then, the function \(N_{I_{T,S,N}}: L \rightarrow L\) given by
for all x∈L is a fuzzy negation. Usually \(N_{I_{T,S,N}}\) is called the natural negation generated from I _{ T,S,N }.
Proposition 4
[15] Let T be a tnorm, S a tconorm, and N a fuzzy negation defined on L. Then

1.
I _{ T,S,N } satisfies (SPI), (CC1), (CC2), (CC3), (CC4), (LB), and (NP)

2.
\(N_{I_{T,S,N}}=N\)
Proposition 5
[15] If I _{ T,S,N } is a QLimplication, then the conjugate of I _{ T,S,N } is also a QLimplication generated from the conjugate of T, S and N, i.e.,
Research design and methodology
As explained at the beginning, the main goal of this paper is to provide a discussion about the extension of latticevalued QLimplications applying the method proposed in [2] 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 tnorms, tconorms, and fuzzy negations. Also in this framework, we apply this method for extending QLimplications considering our previous study about extension of fuzzy implications described in [3].
Extension method via retractions (EMR)
We start this section presenting the extension method developed in [2] for tnorms, tconorms and fuzzy negations. Also in this framework, we apply this method for extending QLimplications considering our previous study about extension of fuzzy implications described in [3].
Consider an ordinary sublattice M of a bounded lattice L (i.e., M⊆L) and T a tnorm on M. Since a tnorm 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 tnorm T ^{E} on L.
One of the first published works on this subject was put forward by SamingerPlatz et al. in [1]. There, it was proposed a method to extend a given tnorm 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 [2] other way to extend tnorms, tconorms, and fuzzy negations as we can see in the following propositions.
Proposition 6
[2] Let M<L with respect to (r,s). If T is a tnorm on M then T ^{E}:L×L→L defined by
is a tnorm which extends T from M to L.
It is also possible to apply the method of extending tnorms for tconorms and fuzzy negations under similar conditions as one can see in Propositions 7 and 8 below.
Proposition 7
[2] Let M>L with respect to (r,s). If S is a tconorm on M, then S ^{E}:L×L→L defined by
is a tconorm which extends S from M to L.
Corollary 1
[2] Let M>L with respect to (r,s), ρ be an automorphism on M and T be a tnorm on M. Moreover, suppose ψ:L→L is an automorphism on L such that r∘ψ=ρ∘r. Then, \((S^{\rho })^{E} \geqslant (S^{E})^{\psi }\).
Proposition 8
[2] Let M be a (r,s)sublattice of L and N:M→M be a fuzzy negation. Then
for each x∈L 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 tnorms and tconorms.
Proposition 9
Let T be a tnorm and S be a tconorm on lattice M. Thus

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

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

3.
if M⋖L and \(z < {N^{E}_{T}}(x)\) for some x,z∈L then T ^{E}(x,z)=0_{ L }

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

1.
Suppose T ^{E}(x,y)=0_{ L } e \({N^{E}_{T}}(x) = s(N_{T}(r_{1}(x)))\) for each x∈L. Hence, if x=1_{ L } or y=1_{ L }, we have that T ^{E}(x,y)=x∧y=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.
For this item, we take \({N^{E}_{S}}(x) = s(N_{S}(r_{2}(x)))\) for each x∈L. 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 orderpreserving, 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)=x∨y and hence y=1_{ L }. Therefore, \(s(r_{2}(1_{L})) = 1_{L} = {N^{E}_{S}}(0_{L})\).

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.
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 [2].
Theorem 1
[3] Let M be a (r,s)sublattice of L. If I is an implication on M then the function I ^{E}:L×L→L given by
for all x,y∈L, is an implication on L. In this case, I ^{E} is called the extension of I from M to L.
Proposition 10
[3] 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
[3] Let M be a (r,s)sublattice of L, ρ be an automorphism on M and I be an implication on M. Moreover, suppose ψ:L→L is an automorphism on L such that r∘ψ=ρ∘r and ψ ^{−1}∘s=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 QLimplications 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 QLimplications are or not preserved by the extension method.
Extension of QLimplications
As shown in the previous subsection, the extension method via retractions can be used for extending tnorms, tconorms, fuzzy negations, and implications. Now, we want to apply this method to extend QLimplications 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 QLimplication 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,y∈L is a QLimplication 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 tnorm, a tconorm, and a fuzzy negation respectively defined on M, such that I _{ T,S,N } is a QLimplication 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,y∈L is a QLimplication.
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 x∈L, 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
for all x,y∈L.
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,y∈L such that x≤_{ L } y. Since I _{ T,S,N } is a QLimplication (in this case, it satisfies (FPA)) and r _{1}(x)≤_{ M } r _{1}(y) then, for all z∈L, it follows that
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)
(CC2)
(CC3)
□
Corollary 2
Let \(M \unlhd L\) with respect to (r _{1},r _{2},s). If T, S, and N are a tnorm, a tconorm, 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,y∈L, it follows that
□
Proposition 13
Let \(M \unlhd L\) with respect to (r _{1},r _{2},s). If T is a tnorm, S a tconorm, and N a fuzzy negation defined on M, respectively, then

1.
\(I_{T^{E},S^{E},N^{E}}\phantom {\dot {i}\!}\) satisfies (SPI), (CC1), (CC2), (CC3), (CC4), (LB), (RB), and (LNP)

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 y∈L we have that
and
what means that \(I_{T^{E},S^{E},N^{E}}\phantom {\dot {i}\!}\) satisfies (LB) and (RB). For showing that it satisfies (LNP), it is enough to see that for each y∈L we have
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 x∈L, it follows that
□
In which follows, some results on properties preserved by the extension method via retractions and demonstrate proposition about the relationship of extension of QLimplications and its properties is presented.
QLimplications and exchange principle (EP)
Proposition 14
Let \(M \unlhd L\) with respect to (r _{1},r _{2},s). Suppose T is a tnorm, S a tconorm, and N a fuzzy negation defined on M respectively and I _{ T,S,N } is the QLimplication 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,z∈L, we have that
□
QLimplications and identity principle (IP)
Proposition 15
Let \(M \unlhd L\) with respect to (r _{1},r _{2},s). Suppose T is a tnorm, S a tconorm, and N a fuzzy negation defined on M respectively and I _{ T,S,N } is the QLimplication 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
On the other hand, supposing x≠1_{ L }, hence
□
Proposition 16
Let M<L with respect (r _{1},s). If I _{ T,S,N } is a QLimplication on M satisfying (IP), then \(T^{E}(x,x) \geqslant {N^{E}_{S}} \circ N^{E}(x)\) for all x∈L.
Proof
For each x∈L, we have
□
QLimplications and identity principle (LEM)
Suppose S is a tconorm 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 }≠x∈L, then
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 tconorm 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 x∈L.
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 x∈L/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 eoperators, for short EMEP) as one can see in [9]. The results shown in [9] 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 latticevalued QLimplications. As occurred for other fuzzy operators (tnorms, tconorms, and negations, see [2]), 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 [9] for QLimplications (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 a∈L is called a supremum (infimum) if it is the least (greatest) element in L satisfying property \(a \geqslant x\) (a≤x) for all x∈L.
^{2} If f and g are functions on a lattice L, it is said that f≤g if and only if f(x)≤_{ L } g(x) for all x∈L.
References
 1
SamingerPlatz S, Klement EP, Mesiar R (2008) On extensions of triangular norms on bounded lattices. Indagationes Mathematicae 19(1): 135–150.
 2
Palmeira ES, Bedregal BC (2012) Extension of fuzzy logic operators defined on bounded lattices via retractions. Comput Math Appl 63: 1026–1038.
 3
Palmeira ES, Bedregal BC, Fernández J, Jurio A (2014) On extension of latticevalued implications via retractions. Fuzzy Sets Syst 240: 66–85.
 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
Ronse C (1990) Why mathematical morphology needs complete lattices. Signal Process 21: 129–154.
 6
Birkhoff G (1973) Lattice Theory. American Mathematical Society, Providence. RI.
 7
Burris S, Sankappanavar HP (2005) A course in universal algebra. The Millennium Edition, New York.
 8
Davey BA, Priestley HA (2002) Introduction to lattices and order. 2nd ed. Cambridge University Press, Cambridge.
 9
Palmeira ES, Bedregal BC (2014) A new way to extend Tnorms, Tconorms and negations. Fuzzy Sets Syst 240: 1–21.
 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
De Cooman G, Kerre EE (1994) Order norms on bounded partially ordered sets. J Fuzzy Math 2: 281–310.
 12
Klement EP, Mesiar R (2005) Logical, algebraic, analytic, and probabilistic aspects of triangular norms. Elsevier B.V., The Netherlands.
 13
Klement EP, Mesiar R, Pap E (2000) Triangular norms. Kluwer Academic Publishers, Dordrecht.
 14
Klir GJ, Yuan B (1995) Fuzzy sets and fuzzy logic, theory and applications. Prentice Hall PTR, NJ.
 15
Baczyński M, Jayaram B (2008) Fuzzy implications. Studies in fuzziness and soft computing. SpringerVerlag, Berlin Heidelberg.
 16
Baczyński M (2004) Residual implications revisited. Notes on the Smets–Magrez theorem. Fuzzy Sets Syst 145(2): 267–277.
 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 SpringerVerlag, Berlin Heidelberg 300: 101–124.
 18
Bustince H, Burillo P, Soria F (2003) Automorphisms, negations and implication operators. Fuzzy Sets Syst 134(2): 209–229.
 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
Yager RR (1983) On the implication operator in fuzzy logic. Inform Sci 31(2): 141–164.
 21
Palmeira ES, Bedregal BC (2011) Extension of Tsubnorms 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 latticevalued QLimplications 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
Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided 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.
About this article
Cite this article
Palmeira, E.S., Bedregal, B.R. & dos Santos, J.G. Some results on extension of latticevalued QLimplications. J Braz Comput Soc 22, 4 (2016). https://doi.org/10.1186/s1317301600445
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1317301600445
Keywords
 QLimplication
 Extension
 (r
 s)sublattice
 Lattice