Open Access
This article is

- freely available
- re-usable

*Symmetry*
**2020**,
*12*(1),
155;
https://doi.org/10.3390/sym12010155

Article

A Method of Generating Fuzzy Implications with Specific Properties

Section of Mathematics and Informatics, Department of Civil Engineering, School of Engineering, Democritus University of Thrace, 67100 Kimeria, Greece

^{*}

Author to whom correspondence should be addressed.

Received: 24 December 2019 / Accepted: 8 January 2020 / Published: 12 January 2020

## Abstract

**:**

In this paper we introduce a new method of generating fuzzy implications via known fuzzy implications. We focus on the case of generating fuzzy implications via a fuzzy connective and at least one known fuzzy implication. We present some basic desirable properties of fuzzy implications that are invariant via this method. Furthermore, we suggest some ways of preservation or violation of these properties, based in this method. We show how we can generate not greater or not weaker fuzzy implications with specific properties. Finally, two subclasses of any fuzzy implication arise, the so called T and S subclasses.

Keywords:

fuzzy implication; t-norm; t-conorm## 1. Introduction

The generalization of the notion of implication from a classical to fuzzy topic is a known process. Generation methods of fuzzy implications are also known and proposed in the literature [1,2,3,4,5,6,7]. Specifically, the generation of fuzzy implications via known fuzzy implications has also been studied and many methods have been proposed (see [1] Chapter 6, [7] Subsection 12.2.3, [2,3,5]).

Moreover, many properties of fuzzy implications have been presented and their dependence or independence has also been studied ([1,4] Section 3). Many classes of fuzzy implications have also been proposed, and their properties studied extensively too [1,3].

Although, all of these are basically theoretical approaches, or they seem to be, they often have applicable extensions. These applicable extensions were the starting point of this work. For instance, if we need a fuzzy implication with a specific property (see [8] Equation (6)), how could we get it? Going one step further, how could we produce new fuzzy implications with only specific properties? Both of those questions are answered in this work.

In this work we dealt with another generation of fuzzy implications via known fuzzy implications. Particularly, we studied the case of using fuzzy implications and fuzzy connectives, such as t-norms and t-conorms. Two more construction methods of fuzzy implications are presented. One of their characteristics is that they preserve some properties, such as the left neutrality property, the identity principle, the ordering property, and the (left, right) contrapositive symmetry. Another, more important characteristic is that we studied and proved the conditions, such that these methods produced fuzzy implications with only specific properties from those of the left neutrality property, the identity principle, and the ordering property. In other words, not only the preservation, but also the violation of these properties can be controlled and achieved. One more characteristic of these methods is presented. That is the ability to generate not greater or not weaker fuzzy implications from the given ones with only specific properties of the aforementioned. Finally, two subclasses of any fuzzy implication arise, the so called T and S subclass, or the “not greater” and “not weaker” subclasses respectively.

## 2. Preliminaries

**Definition**

**1**

**Definition**

**2**

(See [1] Definition 2.1.1)

**.**A function $T:{[0,1]}^{2}\to [0,1]$ is called a triangular norm (shortly t-norm), if it satisfies, for all $x,y,z\in [0,1]$, the following conditions
$$T(x,y)=T(y,x),$$

$$T(x,T(y,z))=T(T(x,y),z),$$

$$if\text{}y\le z,\text{}then\text{}T(x,y)\le T(x,z),i.e.,\text{}T(x,\xb7)\text{}is\text{}increasing,$$

$$T(x,1)=x.$$

**Definition**

**3**

(See [1] Definition 2.2.1)

**.**A function $S:{[0,1]}^{2}\to [0,1]$ is called a triangular conorm (shortly t-conorm), if it satisfies, for all $x,y,z\in [0,1]$, the following conditions
$$S(x,y)=S(y,x),$$

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

$$if\text{}y\le z,\text{}thenS(x,y)\le S(x,z),i.e.,\text{}S(x,\xb7)\text{}is\text{}increasing,$$

$$S(x,0)=x.$$

**Definition**

**4**

- (i)
- Idempotent, if$T(x,x)=x$, for all $x\in [0,1]$,(respectively $S(x,x)=x$, for all $x\in [0,1]$),
- (ii)
- Positive, if$T(x,y)=0\iff x=0$or$y=0$,(respectively $S(x,y)=1\iff x=1$ or $y=1$).

**Definition**

**5**

([1,12])

**.**By Φ we denote the family of all increasing bijections from $[0,1]$ to $[0,1]$. We say that functions $f,g:{[0,1]}^{n}\to [0,1]$ are Φ-conjugate, if there exists a $\varphi \in \mathsf{\Phi}$ such that $g={f}_{\varphi}$, where
$${f}_{\varphi}({x}_{1},{x}_{2},\dots ,{x}_{n})={\varphi}^{-1}(f(\varphi ({x}_{1}),\varphi ({x}_{2}),\dots ,\varphi ({x}_{n}))),{x}_{1},{x}_{2},\dots ,{x}_{n}\in [0,1].$$

**Remark**

**1**

([1])

**.**It is easy to prove that if $\varphi \in \mathsf{\Phi}$ and T is a t-norm, S is a t-conorm, and N is a fuzzy negation, then ${T}_{\varphi}$ is a t-norm, ${S}_{\varphi}$ is a t-conorm, and ${N}_{\varphi}$ is a fuzzy negation.**Definition**

**6**

([1,9])

**.**A function $I:{[0,1]}^{2}\to [0,1]$ is called a fuzzy implication if
$$I\text{}is\text{}decreasing\text{}with\text{}respect\text{}to\text{}the\text{}first\text{}variable,$$

$$I\text{}is\text{}increasing\text{}with\text{}respect\text{}to\text{}the\text{}second\text{}variable,$$

$$I(0,0)=1,$$

$$I(1,1)=1,$$

$$I(1,0)=0.$$

**Definition**

**7**

- (i)
- The left neutrality property, if$$I(1,y)=y,y\in [0,1];$$
- (ii)
- The identity principle, if$$I(x,x)=1,x\in [0,1];$$
- (iii)
- The exchange principle, if$$I(x,I(y,z))=I(y,I(x,z)),x,y,z\in [0,1];$$
- (iv)
- The ordering property, if$$I(x,y)=1\iff x\le y,x,y\in [0,1].$$

**Remark**

**2**

([1])

**.**It is proven that, if $\varphi \in \mathsf{\Phi}$ and $I:{[0,1]}^{2}\to [0,1]$ is a fuzzy implication, then ${I}_{\varphi}$ is also a fuzzy implication.**Definition**

**8**

(See [1] Definition 1.5.1)

**.**Let I be a fuzzy implication and N be a fuzzy negation. I is said to satisfy the- (i)
- Law of contraposition with respect to N, if$$I(x,y)=I(N(y),N(x)),x,y\in [0,1];$$
- (ii)
- Law of left contraposition with respect to N, if$$I(N(x),y)=I(N(y),x),x,y\in [0,1];$$
- (iii)
- Law of right contraposition with respect to N, if$$I(x,N(y))=I(y,N(x)),x,y\in [0,1].$$

If I satisfies the (left, right) contrapositive symmetry with respect to N, then we also denote this by CP(N) (respectively, by L-CP(N), R-CP(N)).

**Lemma**

**1**

(See [1] Lemma 1.4.14)

**.**If a function $I:{[0,1]}^{2}\to [0,1]$ satisfies (9), (11) and (13), then the function ${N}_{I}:[0,1]\to [0,1]$ is a fuzzy negation, where
$${N}_{I}(x)=I(x,0),x\in [0,1].$$

**Definition**

**9**

(See [1] Definition 1.4.15)

**.**Let $I:{[0,1]}^{2}\to [0,1]$ be a fuzzy implication. The function ${N}_{I}$ defined by Lemma 1 is called the natural negation of I.**Definition**

**10**

(See [1] Definition 1.6.12)
is called the N- reciprocal of I.

**.**Let N be a fuzzy negation and I be a fuzzy implication. A function ${I}_{N}:{[0,1]}^{2}\to [0,1]$ defined by
$${I}_{N}(x,y)=I(N(y),N(x)),x,y\in [0,1]$$

## 3. The Main Results

#### 3.1. Fuzzy Implications Generated by Known Fuzzy Implications

As we mentioned before, there are many methods to generate fuzzy implications via one or two known fuzzy implications (see [1] Chapter 6, [7] Subsection 12.2.3, [2,3,5]). In this paper, firstly, we introduce another method that generates fuzzy implications via n known fuzzy implications, where n is any positive natural number.

**Theorem**

**1.**

Let $f:{[0,1]}^{n}\to [0,1]$ be an increasing function with respect to any of its variables, and moreover, $f(0,0,\dots ,0)=0$ and $f(1,1,\dots ,1)=1$. If ${I}_{(i)},i=1,2,\dots ,n$ are fuzzy implications, then the function that is defined by
is a fuzzy implication.

$$I(x,y)=f[{I}_{(1)}(x,y),{I}_{(2)}(x,y),\dots ,{I}_{(n)}(x,y)],$$

**Proof.**

I satisfies (9) since for all ${x}_{1},{x}_{2},y\in [0,1]$ with

$$\begin{array}{cc}\hfill {x}_{1}\le {x}_{2}& \Rightarrow {I}_{(i)}({x}_{1},y)\ge {I}_{(i)}({x}_{2},y),i=1,2,\dots ,n\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \Rightarrow f[{I}_{(1)}({x}_{1},y),{I}_{(2)}({x}_{1},y),\dots ,{I}_{(n)}({x}_{1},y)]\ge f[{I}_{(1)}({x}_{2},y),{I}_{(2)}({x}_{2},y),\dots ,{I}_{(n)}({x}_{2},y)]\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \Rightarrow I({x}_{1},y)\ge I({x}_{2},y).\hfill \end{array}$$

I satisfies (10) since for all $x,{y}_{1},{y}_{2}\in [0,1]$ with

$$\begin{array}{cc}\hfill {y}_{1}\le {y}_{2}& \Rightarrow {I}_{(i)}(x,{y}_{1})\le {I}_{(i)}(x,{y}_{2}),i=1,2,\dots ,n\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \Rightarrow f[{I}_{(1)}(x,{y}_{1}),{I}_{(2)}(x,{y}_{1}),\dots ,{I}_{(n)}(x,{y}_{1})]\le f[{I}_{(1)}(x,{y}_{2}),{I}_{(2)}(x,{y}_{2}),\dots ,{I}_{(n)}(x,{y}_{2})]\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \Rightarrow I(x,{y}_{1})\le I(x,{y}_{2}).\hfill \end{array}$$

I satisfies (11) since $I(0,0)=f[{I}_{(1)}(0,0),{I}_{(2)}(0,0),\dots ,{I}_{(n)}(0,0)]=f(1,1,\dots ,1)=1$.

I satisfies (12) since $I(1,1)=f[{I}_{(1)}(1,1),{I}_{(2)}(1,1),\dots ,{I}_{(n)}(1,1)]=f(1,1,\dots ,1)=1$.

I satisfies (13) since $I(1,0)=f[{I}_{(1)}(1,0),{I}_{(2)}(1,0),\dots ,{I}_{(n)}(1,0)]=f(0,0,\dots ,0)=0$.

Thus, I is a fuzzy implication. □

**Remark**

**3.**

The fuzzy implication I defined in (21) is denoted by ${I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}$. So in the rest of this paper when we use the symbolisms ${I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}$ and f, it will be understood that we refer to Theorem 1.

**Proposition**

**1.**

Let ${I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}$ be a fuzzy implication. Then its natural negation is

$$\begin{array}{c}\hfill {N}_{{I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}}(x)=f[{N}_{{I}_{(1)}}(x),{N}_{{I}_{(2)}}(x),\dots ,{N}_{{I}_{(n)}}(x)].\end{array}$$

**Proof.**

It is deduced by Lemma 1, Definition 9 and Theorem 1. □

**Proposition**

**2.**

**Proof.**

Let ${I}_{(i)},i=1,2,\dots ,n$ are fuzzy implications which satisfy (15), then ${I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}$ satisfies (15) since for all $x\in [0,1]$ it is

$$\begin{array}{c}\hfill {I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}(x,x)=f[{I}_{(1)}(x,x),{I}_{(2)}(x,x),\dots ,{I}_{(n)}(x,x)]=f(1,1,\dots ,1)=1.\end{array}$$

If ${I}_{(i)},i=1,2,\dots ,n$ are fuzzy implications which satisfy the contrapositive symmetry (18) with respect to N, then ${I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}$ satisfies (18) with respect to N since for all $x,y\in [0,1]$ it is

$$\begin{array}{cc}\hfill {I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}(x,y)& =f[{I}_{(1)}(x,y),{I}_{(2)}(x,y),\dots ,{I}_{(n)}(x,y)]\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =f[{I}_{(1)}(N(y),N(x)),{I}_{(2)}(N(y),N(x)),\dots ,{I}_{(n)}(N(y),N(x))]\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}(N(y),N(x)).\hfill \end{array}$$

**Remark**

**4.**

Similar to the previous proof we deduce that the N- reciprocal of ${I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}$ is

$$\begin{array}{c}\hfill {({I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}})}_{N}={I}_{f,{({I}_{(1)})}_{N},{({I}_{(2)})}_{N},\dots ,{({I}_{(n)})}_{N}}.\end{array}$$

On the other hand, if ${I}_{(i)},i=1,2,\dots ,n$ are fuzzy implications which satisfy (14) (respectively (16) and (17)), then it is not ensured that ${I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}$ satisfies (14) (respectively (16) and (17)) as it is presented to the following examples.

**Example**

**1.**

Consider the Łukasiewicz’s implication ${I}_{LK}(x,y)=min\{1,1-x+y\}$ and Gödel’s implication ${I}_{GD}(x,y)$= $\left\{\begin{array}{cc}1,\hfill & if\text{}x\le y\hfill \\ y,\hfill & if\text{}xy\hfill \end{array}\right.$ (see [1] Table 1.3) and the function $f(x,y)=x\xb7y,x,y\in [0,1]$. It is known that ${I}_{LK}$ and ${I}_{GD}$ satisfy (14) and (16) (see [1] Table 1.4). On the other hand, ${I}_{f,{I}_{LK},{I}_{GD}}(x,y)={I}_{LK}(x,y)\xb7{I}_{GD}(x,y)$ does not satisfy (14), since for all $y\in [0,1]$ it is

$$\begin{array}{c}\hfill {I}_{f,{I}_{LK},{I}_{GD}}(1,y)={I}_{LK}(1,y)\xb7{I}_{GD}(1,y)=y\xb7y={y}^{2}.\end{array}$$

The same holds for (16), since

$$\begin{array}{c}\hfill {I}_{f,{I}_{LK},{I}_{GD}}(0.9,{I}_{f,{I}_{LK},{I}_{GD}}(1,0.9))=0.7371\ne 1={I}_{f,{I}_{LK},{I}_{GD}}(1,{I}_{f,{I}_{LK},{I}_{GD}}(0.9,0.9)).\end{array}$$

**Example**

**2.**

Consider the function $f(x,y)$= $\left\{\begin{array}{cc}1,\hfill & if\text{}(x,y)\in {(0.5,1]}^{2}\hfill \\ x\xb7y,\hfill & otherwise\hfill \end{array}\right.$. It is known that ${I}_{LK}$ and ${I}_{GD}$ satisfy (17) (see [1] Table 1.4). On the other hand,

$$\begin{array}{c}\hfill {I}_{f,{I}_{LK},{I}_{GD}}(x,y)=\left\{\begin{array}{cc}1,\hfill & if({I}_{LK}(x,y),{I}_{GD}(x,y))\in {(0.5,1]}^{2}\hfill \\ {I}_{LK}(x,y)\xb7{I}_{GD}(x,y),\hfill & otherwise\hfill \end{array}\right.,\end{array}$$

it does not satisfy (17), since ${I}_{f,{I}_{LK},{I}_{GD}}(0.7,0.6)=1$.

**Theorem**

**2.**

If $\varphi \in \mathsf{\Phi}$ and ${I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}$ is a fuzzy implication, then ${({I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}})}_{\varphi}$ is a fuzzy implication, and moreover

$$\begin{array}{c}\hfill {({I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}})}_{\varphi}={I}_{{f}_{\varphi},{({I}_{(1)})}_{\varphi},{({I}_{(2)})}_{\varphi},\dots ,{({I}_{(n)})}_{\varphi}}.\end{array}$$

**Proof.**

Let ${I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}$ be a fuzzy implication; then, ${({I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}})}_{\varphi}$ is a fuzzy implication, according to the Remark 2. So, for all $x,y\in [0,1]$, we deduce that
□

$$\begin{array}{cc}\hfill {({I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}})}_{\varphi}(x,y)& ={\varphi}^{-1}{I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}(\varphi (x),\varphi (y)))\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\varphi}^{-1}(f({I}_{(1)}(\varphi (x),\varphi (y)),{I}_{(2)}(\varphi (x),\varphi (y)),\dots ,{I}_{(n)}(\varphi (x),\varphi (y))))\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\varphi}^{-1}(f(\varphi ({\varphi}^{-1}({I}_{(1)}(\varphi (x),\varphi (y))),\dots ,\varphi ({\varphi}^{-1}({I}_{(n)}(\varphi (x),\varphi (y)))))\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={f}_{\varphi}({({I}_{(1)})}_{\varphi}(x,y),{({I}_{(2)})}_{\varphi}(x,y),\dots ,{({I}_{(n)})}_{\varphi}(x,y))\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={I}_{{f}_{\varphi},{({I}_{(1)})}_{\varphi},{({I}_{(2)})}_{\varphi},\dots ,{({I}_{(n)})}_{\varphi}}(x,y).\hfill \end{array}$$

#### 3.2. Fuzzy Implications Generated by Fuzzy Connectives and Fuzzy Implications

In this section we will study the special case, where $n=2$ and f is a fuzzy connective, i.e. a t-norm or a t-conorm. So firstly we must prove that a t-norm and a t-conorm are suitable functions to replace f; i.e. they satisfy the properties of the function f.

**Corollary**

**1.**

Let T be a t-norm, and ${I}_{(1)}$ and ${I}_{(2)}$ be two fuzzy implications. Then, the function that is defined by ${I}_{T,{I}_{(1)},{I}_{(2)}}(x,y)=T[{I}_{(1)}(x,y),{I}_{(2)}(x,y)]$ is a fuzzy implication.

**Proof.**

Since T is a t-norm, it is increasing with respect to both of its variables. This is deduced by (3) and (1). Furthermore, by (4) it is $T(1,1)=1$ and $T(0,1)=0$. So, since $0\le 1$, by (3) we deduce that $T(0,0)\le T(0,1)=0\Rightarrow T(0,0)=0$. By Theorem 1 we deduce that
is a fuzzy implication. □

$$\begin{array}{c}\hfill {I}_{T,{I}_{(1)},{I}_{(2)}}(x,y)=T[{I}_{(1)}(x,y),{I}_{(2)}(x,y)]\end{array}$$

**Corollary**

**2.**

Let S be a t-conorm and ${I}_{(1)}$, ${I}_{(2)}$ two fuzzy implications. Then, the function that is defined by ${I}_{S,{I}_{(1)},{I}_{(2)}}(x,y)=S[{I}_{(1)}(x,y),{I}_{(2)}(x,y)]$ is a fuzzy implication.

**Proof.**

Since S is a t-conorm, it is increasing with respect to both of its variables. This is deduced by (7) and (5). Furthermore, by (8) it is $S(0,0)=0$ and $S(0,1)=1$. So, since $0\le 1$, by (7) we deduce that $S(0,0)=1\le S(1,1)\Rightarrow S(1,1)=1$. By Theorem 1 we deduce that
is a fuzzy implication. □

$$\begin{array}{c}\hfill {I}_{S,{I}_{(1)},{I}_{(2)}}(x,y)=S[{I}_{(1)}(x,y),{I}_{(2)}(x,y)]\end{array}$$

**Corollary**

**3.**

Let ${I}_{(1)}$, ${I}_{(2)}$ be two fuzzy implications. Then the fuzzy implications ${I}_{T,{I}_{(1)},{I}_{(2)}}$ and ${I}_{S,{I}_{(1)},{I}_{(2)}}$ have, respectively, the following natural negations

$$\begin{array}{c}\hfill {N}_{{I}_{T,{I}_{(1)},{I}_{(2)}}}(x)=T[{N}_{{I}_{(1)}}(x),{N}_{{I}_{(2)}}(x)]and\text{}{N}_{{I}_{S,{I}_{(1)},{I}_{(2)}}}(x)=S[{N}_{{I}_{(1)}}(x),{N}_{{I}_{(2)}}(x)].\end{array}$$

**Proof.**

It is deduced by Proposition 1. □

**Corollary**

**4.**

**Proof.**

It is deduced by Proposition 2. □

**Proposition**

**3.**

**Proof.**

Let ${I}_{(1)}$, ${I}_{(2)}$ be two fuzzy implications that satisfy (17), then

$$\begin{array}{c}\hfill {I}_{(i)}(x,y)=1\iff x\le y,x,y\in [0,1],i=1,2.\end{array}$$

Thus, for all $x,y\in [0,1]$, if $x\le y$ then ${I}_{T,{I}_{(1)},{I}_{(2)}}(x,y)=T[{I}_{(1)}(x,y),{I}_{(2)}(x,y)]=T(1,1)=1$.

Vice versa; if T is a t-norm then it satisfies the equivalence

$$\begin{array}{c}\hfill T(x,y)=1\iff x=y=1.\end{array}$$

Thus,
□

$$\begin{array}{cc}\hfill {I}_{T,{I}_{(1)},{I}_{(2)}}(x,y)=1& \Rightarrow T[{I}_{(1)}(x,y),{I}_{(2)}(x,y)]=1\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \Rightarrow {I}_{(1)}(x,y)={I}_{(2)}(x,y)=1\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \Rightarrow x\le y.\hfill \end{array}$$

**Proposition**

**4.**

Let ${I}_{(1)}$, ${I}_{(2)}$ are two fuzzy implications.

**Proof.**

(i) If ${I}_{(1)}$, ${I}_{(2)}$ satisfy (15), then ${I}_{T,{I}_{(1)},{I}_{(2)}}$ satisfies (15) and the proof is deduced by Proposition 2.

Vice versa; if ${I}_{T,{I}_{(1)},{I}_{(2)}}$ satisfies (15), then for all $x\in [0,1]$ it is

$$\begin{array}{cc}\hfill {I}_{T,{I}_{(1)},{I}_{(2)}}(x,x)=1& \iff T[{I}_{(1)}(x,x),{I}_{(2)}(x,x)]=1\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \iff {I}_{(i)}(x,x)=1,i=1,2.\hfill \end{array}$$

Thus, ${I}_{(i)},i=1,2$ satisfy (15).

(ii) If ${I}_{(1)}$, ${I}_{(2)}$ satisfy (17), then ${I}_{T,{I}_{(1)},{I}_{(2)}}$ satisfies (17) and the proof is deduced by Proposition 3.

Vice versa; if ${I}_{T,{I}_{(1)},{I}_{(2)}}$ satisfies (17), then for all $x,y\in [0,1]$ it is

$$\begin{array}{cc}\hfill x\le y& \iff {I}_{T,{I}_{(1)},{I}_{(2)}}(x,y)=1\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \iff T[{I}_{(1)}(x,y),{I}_{(2)}(x,y)]=1\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \iff {I}_{(i)}(x,y)=1,i=1,2.\hfill \end{array}$$

Thus, ${I}_{(i)},i=1,2$ satisfy (17). □

**Proposition**

**5.**

Let ${I}_{(1)}$, ${I}_{(2)}$ be two fuzzy implications and S is a positive t-conorm. If the fuzzy implication ${I}_{S,{I}_{(1)},{I}_{(2)}}$ satisfies (15), then for all $x\in [0,1]$ it is

$$\begin{array}{c}\hfill {I}_{(1)}(x,x)=1\text{}or\text{}{I}_{(2)}(x,x)=1.\end{array}$$

**Proof.**

If ${I}_{S,{I}_{(1)},{I}_{(2)}}$ satisfies (15), then for all $x\in [0,1]$ it is
since S is a positive t-conorm. □

$$\begin{array}{cc}\hfill {I}_{S,{I}_{(1)},{I}_{(2)}}(x,x)=1& \iff S[{I}_{(1)}(x,x),{I}_{(2)}(x,x)]=1\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \iff {I}_{(1)}(x,x)=1\text{}or\text{}{I}_{(2)}(x,x)=1,\hfill \end{array}$$

**Proposition**

**6.**

**Proof.**

Let ${I}_{(1)}$ and ${I}_{(2)}$ be two fuzzy implications that satisfy (17); then,

$$\begin{array}{cc}\hfill {I}_{(i)}(x,y)=1& \iff x\le y,x,y\in [0,1],i=1,2.\hfill \end{array}$$

Thus, for all $x,y\in [0,1]$ it is
since S is a positive t-conorm. □

$$\begin{array}{cc}\hfill {I}_{S,{I}_{(1)},{I}_{(2)}}(x,y)=1& \iff S[{I}_{(1)}(x,y),{I}_{(2)}(x,y)]=1\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \iff {I}_{(1)}(x,y)=1\text{}or\text{}{I}_{(2)}(x,y)=1\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \iff x\le y,\hfill \end{array}$$

**Proposition**

**7.**

Let ${I}_{(1)}$ and ${I}_{(2)}$ be two fuzzy implications and S is a positive t-conorm. If the fuzzy implication ${I}_{S,{I}_{(1)},{I}_{(2)}}$ satisfies (17), then for any $x,y\in [0,1]$ it is

$$\begin{array}{c}\hfill x\le y\iff {I}_{(1)}(x,y)=1\text{}or\text{}{I}_{(2)}(x,y)=1.\end{array}$$

**Proof.**

If ${I}_{S,{I}_{(1)},{I}_{(2)}}$ satisfies (17), then for all $x,y\in [0,1]$ it is
since S is a positive t-conorm. □

$$\begin{array}{cc}\hfill x\le y& \iff {I}_{S,{I}_{(1)},{I}_{(2)}}(x,y)=1\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \iff S[{I}_{(1)}(x,y),{I}_{(2)}(x,y)]=1\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \iff {I}_{(1)}(x,y)=1\text{}or\text{}{I}_{(2)}(x,y)=1,\hfill \end{array}$$

**Proposition**

**8.**

Let ${I}_{(1)}$ and ${I}_{(2)}$ be two fuzzy implications that satisfy (14). Then the fuzzy implication

**Proof.**

(i) Let ${I}_{(1)}$ and ${I}_{(2)}$ be two fuzzy implications that satisfy (14); then,

$$\begin{array}{c}\hfill {I}_{(i)}(1,y)=y,y\in [0,1],i=1,2.\end{array}$$

So, for all $y\in [0,1]$, we have

$$\begin{array}{c}\hfill {I}_{T,{I}_{(1)},{I}_{(2)}}(1,y)=T[{I}_{(1)}(1,y),{I}_{(2)}(1,y)]=T(y,y).\end{array}$$

Thus, ${I}_{T,{I}_{(1)},{I}_{(2)}}$ satisfies (14), when T is idempotent. Moreover the only idempotent t-norm is $T={T}_{M}=min\{x,y\}$ (see [1] Remark 2.1.4(ii), [11] Proposition 1.9).

Vice versa; if $T={T}_{M}=min\{x,y\}$, then

$$\begin{array}{c}\hfill {I}_{{T}_{M},{I}_{(1)},{I}_{(2)}}(1,y)={T}_{M}[{I}_{(1)}(1,y),{I}_{(2)}(1,y)]=min\{y,y\}=y,y\in [0,1].\end{array}$$

(ii) Similarly, for all $y\in [0,1]$, we have

$$\begin{array}{c}\hfill {I}_{S,{I}_{(1)},{I}_{(2)}}(1,y)=S[{I}_{(1)}(1,y),{I}_{(2)}(1,y)]=S(y,y).\end{array}$$

Thus, ${I}_{S,{I}_{(1)},{I}_{(2)}}$ satisfies (14), when S is idempotent. Moreover the only idempotent t-conorm is ${S}_{M}=max\{x,y\}$ (see [1] Remark 2.2.5(ii)).

Vice versa; if ${S}_{M}=max\{x,y\}$, then
□

$$\begin{array}{c}\hfill {I}_{{S}_{M},{I}_{(1)},{I}_{(2)}}(1,y)={S}_{M}[{I}_{(1)}(1,y),{I}_{(2)}(1,y)]=max\{y,y\}=y,y\in [0,1].\end{array}$$

**Example**

**3.**

Consider the Łukasiewicz’s implication ${I}_{LK}(x,y)=min\{1,1-x+y\}$, Gödel’s implication ${I}_{GD}(x,y)=\left\{\begin{array}{cc}1,\hfill & if\text{}x\le y\hfill \\ y,\hfill & if\text{}xy\hfill \end{array}\right.$ (See [1] Table 1.3) and the positive t-conorm ${S}_{P}(x,y)=x+y-x\xb7y$ (see [1] Table 2.2). It is known that ${I}_{LK}$ and ${I}_{GD}$ satisfy (16) (see [1] Table 1.4). On the other hand,

$$\begin{array}{c}\hfill {I}_{{S}_{P},{I}_{LK},{I}_{GD}}(x,y)={I}_{LK}(x,y)+{I}_{GD}(x,y)-{I}_{LK}(x,y)\xb7{I}_{GD}(x,y)\end{array}$$

does not satisfy (16), since

$$\begin{array}{c}\hfill {I}_{{S}_{P},{I}_{LK},{I}_{GD}}(0.97,{I}_{{S}_{P},{I}_{LK},{I}_{GD}}(1,0.8))=0.9996\ne 0.998844={I}_{{S}_{P},{I}_{LK},{I}_{GD}}(1,{I}_{{S}_{P},{I}_{LK},{I}_{GD}}(0.97,0.8)).\end{array}$$

We have to notice at this point that the same result for the violation of (16) holds if we use a t-norm. This is clear in Example 1, where $f={T}_{M}$.

**Corollary 5.**(i) If $\varphi \in \mathsf{\Phi}$ and ${I}_{T,{I}_{(1)},{I}_{(2)}}$ is a fuzzy implication, then ${({I}_{T,{I}_{(1)},{I}_{(2)}})}_{\varphi}$ is a fuzzy implication, and moreover,

$$\begin{array}{c}\hfill {({I}_{T,{I}_{(1)},{I}_{(2)}})}_{\varphi}={I}_{{T}_{\varphi},{({I}_{(1)})}_{\varphi},{({I}_{(2)})}_{\varphi}}.\end{array}$$

(ii) If $\varphi \in \mathsf{\Phi}$ and ${I}_{S,{I}_{(1)},{I}_{(2)}}$ is a fuzzy implication, then ${({I}_{S,{I}_{(1)},{I}_{(2)}})}_{\varphi}$ is a fuzzy implication, and moreover,

$$\begin{array}{c}\hfill {({I}_{S,{I}_{(1)},{I}_{(2)}})}_{\varphi}={I}_{{S}_{\varphi},{({I}_{(1)})}_{\varphi},{({I}_{(2)})}_{\varphi}}.\end{array}$$

**Proof.**

It is deduced by Theorem 2 and Corollaries 1 and 2. □

Now let us explain a difference between these methods, the one with the t-norms and the other with the t-conorms. Firstly, we prove the following proposition.

**Proposition**

**9.**

For all $x,y\in [0,1]$ it is

$$\begin{array}{c}\hfill T(x,y)\le x\le S(x,y)\text{}and\text{}T(x,y)\le y\le S(x,y).\end{array}$$

**Proof.**

For all $x,y\in [0,1]$ it is $0\le y\le 1$ and by (3) and (4) we deduce that
and similarly by (7), (8), and (5) we deduce that

$$\begin{array}{c}\hfill T(x,y)\le T(x,1)\Rightarrow T(x,y)\le x\end{array}$$

$$\begin{array}{c}\hfill S(x,0)\le S(x,y)\Rightarrow S(0,x)\le S(x,y)\Rightarrow x\le S(x,y).\end{array}$$

Thus, for all $x,y\in [0,1]$ it is
□

$$\begin{array}{c}\hfill T(x,y)\le x\le S(x,y)\text{}\mathrm{and}\text{}(\mathrm{obviously})\text{}T\text{}(x,y)\le y\le S(x,y).\end{array}$$

Proposition 9 testifies to the importance of the method presented, since if we have two fuzzy implications ${I}_{(1)},{I}_{(2)}$ and we want to generate a not greater fuzzy implication of them, a solution is the fuzzy implication ${I}_{T,{I}_{(1)},{I}_{(2)}}$. On the other hand, if we want a not weaker fuzzy implication, then the solution is ${I}_{S,{I}_{(1)},{I}_{(2)}}$. Moreover, since ${T}_{D}\le T\le {T}_{M}\le {S}_{M}\le S\le {S}_{D}$ (see [1] Remarks 2.1.4(ix) and 2.2.5(viii)), where ${T}_{D}$ is the drastic product t-norm (see [1] Table 2.1) and ${S}_{D}$ the drastic sum t-conorm (see [1] Table 2.2), we deduce that

$$\begin{array}{c}\hfill {I}_{{T}_{D},{I}_{(1)},{I}_{(2)}}\le {I}_{T,{I}_{(1)},{I}_{(2)}}\le {I}_{{T}_{M},{I}_{(1)},{I}_{(2)}}\le {I}_{(i)}\le {I}_{{S}_{M},{I}_{(1)},{I}_{(2)}}\le {I}_{S,{I}_{(1)},{I}_{(2)}}\le {I}_{{S}_{D},{I}_{(1)},{I}_{(2)}},i=1,2.\end{array}$$

#### 3.3. Fuzzy Connectives’ Classes of Fuzzy Implications

In this section in an attempt to simplify a previous theoretical approach; we show the special case, where ${I}_{(1)}={I}_{(2)}=\dots ={I}_{(n)}$. Then the corresponding fuzzy implication is denoted by ${I}_{(1)}^{f}$ instead of ${I}_{f,{I}_{(1)},{I}_{(2)},\dots ,{I}_{(n)}}$. Moreover, if f is a fuzzy connective, i.e., a t-norm or a t-conorm, then the corresponding fuzzy implication is denoted by ${I}_{(1)}^{T}$ and respectively ${I}_{(1)}^{S}$.

It is obvious that all the previous Theorems, Propositions, Corollaries, and results hold case-by-case for these implications, since they are special cases of the previous we have mentioned. We just mentioned these cases due to their simplicity, since we used only one and not two fuzzy implications. The previous results of those cases, when we used a fuzzy connective, were transformed to the following corollaries, which are presented without proofs due to their simplicity.

**Corollary**

**6.**

**Corollary**

**7.**

Let ${I}_{(1)}$ be a fuzzy implication.

- (i)
- (ii)
- (iii)
- (iv)

**Corollary**

**8.**

Let${I}_{(1)}$be a fuzzy implication and S be a positive t-conorm.

- (i)
- (ii)
- (iii)
- (iv)

Furthermore, two subclasses of every fuzzy implication were created. The first one is the T subclass of a fuzzy implication ${I}_{(1)}$. If we consider as $\mathbb{T}$ the set of t-norms, then the T subclass of ${I}_{(1)}$ is defined as ${I}_{(1)}^{\mathbb{T}}={\cup}_{T\in \mathbb{T}}\left\{{I}_{(1)}^{T}\right\}$. We must notice that ${I}_{(1)}^{\mathbb{T}}$ contains fuzzy implications that are not greater than ${I}_{(1)}$. Moreover, since ${I}_{(1)}={I}_{(1)}^{{T}_{M}}$, ${I}_{(1)}\in {I}_{(1)}^{\mathbb{T}}\Rightarrow {I}_{(1)}^{\mathbb{T}}\ne \mathsf{\xd8}$, and ${I}_{(1)}$ is the greatest fuzzy implication that is contained in ${I}_{(1)}^{\mathbb{T}}$. On the other hand it is obvious that the weakest fuzzy implication that is contained in ${I}_{(1)}^{\mathbb{T}}$ is ${I}_{(1)}^{{T}_{D}}$.

The second one is the S subclass of a fuzzy implication ${I}_{(1)}$. If we consider as $\mathbb{S}$ the set of t-conorms, then the S subclass of ${I}_{(1)}$ is defined as ${I}_{(1)}^{\mathbb{S}}={\cup}_{S\in \mathbb{S}}\left\{{I}_{(1)}^{S}\right\}$. We must notice that ${I}_{(1)}^{\mathbb{S}}$ contains fuzzy implications that are not weaker than ${I}_{(1)}$. Moreover, since ${I}_{(1)}={I}_{(1)}^{{S}_{M}}$, ${I}_{(1)}\in {I}_{(1)}^{\mathbb{S}}\Rightarrow {I}_{(1)}^{\mathbb{S}}\ne \mathsf{\xd8}$ and ${I}_{(1)}$ is the weakest fuzzy implication that is contained in ${I}_{(1)}^{\mathbb{S}}$. On the other hand, it is obvious that the greatest fuzzy implication that is contained in ${I}_{(1)}^{\mathbb{S}}$ is ${I}_{(1)}^{{S}_{D}}$.

By the previous results it is obvious that ${I}_{(1)}^{\mathbb{T}}\cap {I}_{(1)}^{\mathbb{S}}=\left\{{I}_{(1)}\right\}$. Furthermore these two subclasses construct the fuzzy connectives’ class of a fuzzy implication ${I}_{(1)}$, which is defined by ${I}_{(1)}^{\mathbb{C}}={I}_{(1)}^{\mathbb{T}}\cup {I}_{(1)}^{\mathbb{S}}={\cup}_{C\in \mathbb{C}}\left\{{I}_{(1)}^{C}\right\}$, where $\mathbb{C}$ is the set of fuzzy connectives.

Our interest is focused on T and S subclass of a fuzzy implication. Firstly we must notice that if we use two valued fuzzy implications, such as ${I}_{RS}$, ${I}_{0}$, ${I}_{1}$, ${I}_{3}$, ${I}_{4}$, ${I}_{6}$, ${I}_{10}$, ${I}_{15}$, ${I}_{18}$ (see [1] Table 1.3, Proposition 1.1.7 and [13]), then ${I}_{(1)}^{\mathbb{C}}={I}_{(1)}^{\mathbb{T}}={I}_{(1)}^{\mathbb{S}}=\left\{{I}_{(1)}\right\}$. This means that these fuzzy implications are invariant via this method and there is nothing to study and mention about these cases.

Moreover, according to Corollary 9, (14) is invariant only if we use an idempotent t-norm or t-conorm. On the other hand, as we mentioned before for any fuzzy implication ${I}_{(1)}$ it is ${I}_{(1)}={I}_{(1)}^{{T}_{M}}={I}_{(1)}^{{S}_{M}}$. So another characteristic of these three sets is that if ${I}_{(1)}$ satisfies (14), then ${I}_{(1)}^{\mathbb{C}}-\left\{{I}_{(1)}\right\}$, ${I}_{(1)}^{\mathbb{T}}-\left\{{I}_{(1)}\right\}$ and ${I}_{(1)}^{\mathbb{S}}-\left\{{I}_{(1)}\right\}$, when they are not empty, they are sets that contain only fuzzy implications that violate (14).

At this point let us give an example which explains the aforementioned theoretical approach.

**Example**

**4.**

Consider the Łukasiewicz’s implication ${I}_{LK}(x,y)=min\{1,1-x+y\}$ that satisfies (14), (16), (15), and (17) (see [1] Table 1.4). If we are looking for a weaker fuzzy implication that satisfies (15), (17) and violates (14), this could be ${I}_{LK}^{{T}_{LK}}$, where ${T}_{LK}(x,y)=max\{x+y-1,0\}$ (see [1] Table 2.1). So, it is

$$\begin{array}{cc}\hfill {I}_{LK}^{{T}_{LK}}(x,y)& ={T}_{LK}({I}_{LK}(x,y),{I}_{LK}(x,y))\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =max\{{I}_{LK}(x,y)+{I}_{LK}(x,y)-1,0\}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =max\{2{I}_{LK}(x,y)-1,0\}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =max\left\{2min\right\{1,1-x+y\}-1,0\}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =max\left\{min\right\{1,1-2x+2y\},0\}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =\left\{\begin{array}{cc}0,\hfill & if\text{}x-y\ge 0.5\hfill \\ 1-2x+2y,\hfill & if\text{}0\le x-y\le 0.5\hfill \\ 1,\hfill & if\text{}x\le y\hfill \end{array}\right.\hfill \end{array}$$

Moreover, ${I}_{LK}^{{T}_{LK}}$ violates (16) since

$$\begin{array}{c}\hfill {I}_{LK}^{{T}_{LK}}(0.9,{I}_{LK}^{{T}_{LK}}(1,0.8))=0.4\ne 0.6={I}_{LK}^{{T}_{LK}}(1,{I}_{LK}^{{T}_{LK}}(0.9,0.8)).\end{array}$$

If we consider ${T}_{D}(x,y)=\left\{\begin{array}{cc}0,\hfill & if\text{}x,y\in [0,1)\hfill \\ min\{x,y\},\hfill & otherwise\hfill \end{array}\right.$ (see [1] Table 2.1), then the weakest fuzzy implication we can generate with this method is

$$\begin{array}{cc}\hfill {I}_{LK}^{{T}_{D}}(x,y)& ={T}_{D}({I}_{LK}(x,y),{I}_{LK}(x,y))\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =\left\{\begin{array}{cc}0,\hfill & if\text{}{I}_{LK}(x,y)\in [0,1)\hfill \\ min\{{I}_{LK}(x,y),{I}_{LK}(x,y)\},\hfill & otherwise\hfill \end{array}\right.\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =\left\{\begin{array}{cc}0,\hfill & if\text{}xy\hfill \\ {I}_{LK}(x,y),\hfill & otherwise\hfill \end{array}\right.\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =\left\{\begin{array}{cc}0,\hfill & if\text{}xy\hfill \\ 1,\hfill & if\text{}x\le y\hfill \end{array}\right.={I}_{RS}(x,y),\hfill \end{array}$$

where ${I}_{RS}$ is the Rescher’s fuzzy implication (see [1] Table 1.3). Also, ${I}_{RS}$ satisfies (15), (17) and does not satisfy (14) and (16) (see [1] Table 1.4).

On the other hand, if we are looking for a greater fuzzy implication that satisfies (15) and does not satisfy (14), this could be ${I}_{LK}^{{S}_{LK}}$, where ${S}_{LK}(x,y)=min\{x+y,1\}$ the Lukasiewicz’s t-conorm (see [1] Table 2.2). So, it is

$$\begin{array}{cc}\hfill {I}_{LK}^{{S}_{LK}}(x,y)& ={S}_{LK}({I}_{LK}(x,y),{I}_{LK}(x,y))\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =min\{{I}_{LK}(x,y)+{I}_{LK}(x,y),1\}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =min\{2{I}_{LK}(x,y),1\}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =min\left\{2min\right\{1,1-x+y\},1\}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =min\left\{min\right\{2,2-2x+2y\},1\}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =min\{2-2x+2y,1\}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =\left\{\begin{array}{cc}2-2x+2y,\hfill & if\text{}x-y\ge 0.5\hfill \\ 1,\hfill & otherwise\hfill \end{array}\right.\hfill \end{array}$$

Moreover, ${I}_{LK}^{{S}_{LK}}$ violates (17) and (16), since

$$\begin{array}{c}\hfill {I}_{LK}^{{S}_{LK}}(1,0.8)=1\text{}and\text{}{I}_{LK}^{{S}_{LK}}(0.9,{I}_{LK}^{{S}_{LK}}(0.95,0.1))=0.8\ne 0.9={I}_{LK}^{{S}_{LK}}(0.95,{I}_{LK}^{{S}_{LK}}(0.9,0.1)).\end{array}$$

If we consider ${S}_{D}(x,y)=\left\{\begin{array}{cc}1,\hfill & if\text{}x,y\in (0,1]\hfill \\ max\{x,y\},\hfill & otherwise\hfill \end{array}\right.$ (see [1] Table 2.1), then the greatest fuzzy implication we can generate with this method is

$$\begin{array}{cc}\hfill {I}_{LK}^{{S}_{D}}(x,y)& ={S}_{D}({I}_{LK}(x,y),{I}_{LK}(x,y))\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =\left\{\begin{array}{cc}1,\hfill & if\text{}{I}_{LK}(x,y)\in (0,1]\hfill \\ max\{{I}_{LK}(x,y),{I}_{LK}(x,y)\},\hfill & otherwise\hfill \end{array}\right.\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =\left\{\begin{array}{cc}1,\hfill & if\text{}x-y1\hfill \\ {I}_{LK}(x,y),\hfill & if\text{}x-y=1\hfill \end{array}\right.\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =\left\{\begin{array}{cc}0,\hfill & if\text{}x=1\text{}and\text{}y=0\hfill \\ 1,\hfill & otherwise\hfill \end{array}\right.={I}_{1}(x,y),\hfill \end{array}$$

Because of the previous example, we have to notice that since we do not use positive t-conorms, (17) must be checked by the result every time and we cannot predict it a priori. Nevertheless, this check is an easy process.

## 4. Conclusions

We believe that the above production machine of fuzzy implications will play a crucial role in many areas, theoretical and applied ones. For instance, we refer to the theoretical topic of subsethood measures and applied topics such as artificial intelligence and pattern recognition (see [8,14,15]).

Moreover, many properties of fuzzy implications are proposed by the literature (see [1,3,4]). All these properties and many of the construction methods of fuzzy implications are generalizations from classical to fuzzy topic. We could claim in a point of view that we think classically and we apply fuzzy methods. A classical thinking of a part of our study in this paper may be the classical tautologies

$$p\equiv p\wedge p\text{}\mathrm{and}\text{}p\equiv p\vee p.$$

The real question we asked ourselves to begin this research was whether or not some properties of fuzzy implications are desirable. Moreover, we asked—how do we totally control them? For instance, as we mentioned in the Introduction in [8], (17) was desirable in the construction of the fuzzy implication ${I}_{Z}$ (see [8] Equation (6)). The truth is that there are a lot of fuzzy implications that satisfy (17), but are they enough? What if we want only one or some of (14), (15) and (17)?

All the previous thoughts lead us to introduce the aforementioned method of generating fuzzy implications via known fuzzy implications and a function f, which has some properties as they are mentioned in Theorem 1. The properties of fuzzy implications that are preserved via this method were also presented.

Moreover, the special case of generating fuzzy implications via two known fuzzy implications and a fuzzy connective, such as a t-norm or a t-conorm, was studied. This method is very important, since it gives us a tool to generate not greater or not weaker fuzzy implications than the preliminaries we use. Another advantage is that we can control many properties of these induced implications, such as (14), (15) and (17).

As it is proven in Corollary 4, (18)–(20) with respect to N and (15) are preserved by this production of fuzzy implications. The same happens for (17), when the applying fuzzy connective is any t-norm or positive t-conorm, according to Propositions 4 and 6. Moreover, the same happens for (14) only when we use ${T}_{M}$ or ${S}_{M}$, according to Proposition 8. On the other hand, (16) is not generally preserved by this method, at least when we use a fuzzy connective of the Definition 4 (see Examples 1 and 3; and in [1] Tables 2.1 and 2.2, and Remark 6.1.5).

We have to note that these are important results, but Propositions 5–8 are also very important. All these Propositions in other words give us the following statements:

- If we want a fuzzy implication that satisfies (15), its construction is completed by two fuzzy implications ${I}_{(1)}$, ${I}_{(2)}$ that satisfy (15) and any t-norm or t-conorm. On the other hand, if we want to construct a fuzzy implication that violates (15), we can construct it by two ways. The first way is to consider ${I}_{T,{I}_{(1)},{I}_{(2)}}$, where T is any t-norm and at least one of ${I}_{(1)}$, ${I}_{(2)}$ violate (15), according to Proposition 4. The second way is to consider ${I}_{T,{I}_{(1)},{I}_{(2)}}$, where S is any positive t-conorm and the choice of the fuzzy implications ${I}_{(1)}$, ${I}_{(2)}$ is made, such that there exists at least one $x\in (0,1)$, such that$$\begin{array}{c}\hfill {I}_{(1)}(x,x)\ne 1\text{}\mathrm{and}\text{}{I}_{(2)}(x,x)\ne 1,\end{array}$$
- If we want a fuzzy implication that satisfies (17), its construction is achieved similar to the previous ones, if we consider two fuzzy implications ${I}_{(1)}$, ${I}_{(2)}$ that satisfy (17) and any t-norm or any positive t- conorm. On the other hand, the construction of a fuzzy implication that does not satisfy (17) is achieved by two ways. The first way is to consider ${I}_{T,{I}_{(1)},{I}_{(2)}}$, where T is any t-norm and at least one of ${I}_{(1)}$, ${I}_{(2)}$ violate (17), according to Proposition 4. The second way is to consider ${I}_{S,{I}_{(1)},{I}_{(2)}}$, where S is any positive t- conorm and the choice of the fuzzy implications ${I}_{(1)},{I}_{(2)}$ will be done, such that there exist at least one $(x,y)\in {[0,1]}^{2}$, such$$\begin{array}{c}\hfill x\le y\iff {I}_{(1)}(x,y)\ne 1\text{}\mathrm{and}\text{}{I}_{(2)}(x,y)\ne 1,\end{array}$$
- If we want a fuzzy implication that satisfies (14) its construction is given in Proposition 8. On the other hand, the construction of a fuzzy implication that does not satisfy (14) is given by the same Proposition. This construction is achieved by using two implications ${I}_{(i)},i=1,2$ that satisfy (14) and any t-norm or t-conorm, except ${T}_{M}$ and ${S}_{M}$.

Another characteristic of this method is that if we use a t-norm, we achieve the construction of a not greater fuzzy implication than the preliminaries. On the other hand, if we use a t-conorm we achieve the construction of a not weaker fuzzy implication than the preliminaries.

Finally, the simpler case we use one preliminary fuzzy implication, and a fuzzy connective is studied too. This case lead us to two subclasses of fuzzy implications the so called T an S subclasses, or the not greater and not weaker subclasses respectively, of a fuzzy implication. The findings of this case are presented in detail in Section 3.3.

This theoretical approach gives us many advantages, since a priori we can construct fuzzy implications from known ones that violate or preserve any property of (14), (15) and (17) we want. At this point we must note that (17)⇒(15). In other words, a fuzzy implication that satisfies (17) and violates (15) is impossible by definition to be constructed. Moreover, another characteristic of this approach is that if the preliminary fuzzy implications satisfy (14), we have a generator that violates it, except in the case we use ${T}_{M}$ or ${S}_{M}$.

## Author Contributions

Supervision, B.K.P.; writing—original draft, D.S.G.; writing—review and editing, B.K.P. All authors have read and agreed to the published version of the manuscript.

## Funding

This research received no external funding.

## Acknowledgments

The authors are very thankful to the Editor and referees for their valuable comments and suggestions for improving the paper.

## Conflicts of Interest

The authors declare no conflict of interest.

## References

- Baczyński, M.; Jayaram, B. Fuzzy Implications; Springer: Berlin/Heidelberg, Germany, 2008. [Google Scholar]
- Baczyński, M.; Drewniak, J. Conjugacy Classes of Fuzzy Implications. In Lecture Notes in Computer Science; Springer: Basel, Switzerland, 2019; Volume 1625, pp. 287–298. [Google Scholar] [CrossRef]
- Massanet, S.; Torrens, J. An Overview of Construction Methods of Fuzzy Implications. In Advances in Fuzzy Implication Functions; Springer: Berlin/Heidelberg, Germany, 2013; Volume 300, pp. 1–30. [Google Scholar] [CrossRef]
- Shi, Y.; Van Gasse, B.; Kerre, E.E. Fuzzy Implications: Classification and a New Class. In Advances in Fuzzy Implication Functions; Springer: Berlin/Heidelberg, Germany, 2013; Volume 300, pp. 31–51. [Google Scholar] [CrossRef]
- Drewniak, J.; Sobera, J. Compositions of Fuzzy Implications. In Advances in Fuzzy Implication Functions; Springer: Berlin/Heidelberg, Germany, 2013; Volume 300, pp. 155–176. [Google Scholar] [CrossRef]
- Hliněná, D.; Kalina, M.; Král’, P. Implication Functions Generated Using Functions of One Variable. In Advances in Fuzzy Implication Functions; Springer: Berlin/Heidelberg, Germany, 2013; Volume 300, pp. 125–153. [Google Scholar] [CrossRef]
- Baczynski, M.; Jayaram, B.; Massanet, S.; Torrens, J. Fuzzy Implications: Past, Present, and Future. In Springer Handbook of Computational Intelligence; Springer: Berlin/Heidelberg, Germany, 2015; pp. 183–202. [Google Scholar] [CrossRef]
- Bogiatzis, A.; Papadopoulos, B. Global Image Thresholding Adaptive Neuro-Fuzzy Inference System Trained with Fuzzy Inclusion and Entropy Measures. Symmetry
**2019**, 11, 286. [Google Scholar] [CrossRef] - Fodor, J.C.; Roubens, M. Fuzzy Preference Modelling and Multicriteria Decision Support; Kluwer: Dordrecht, The Netherlands, 1994. [Google Scholar]
- Gottwald, S. A Treatise on Many-Valued Logics; Research Studies Press: Baldock, UK, 2001. [Google Scholar]
- Klement, E.P.; Mesiar, R.; Pap, E. Triangular Norms; Kluwer: Dordrecht, The Netherlands, 2000. [Google Scholar]
- Kuczma, M. Functional Equations in a Single Variable; PWN—Polish Scientific Publishers: Warsaw, Poland, 1968. [Google Scholar]
- Drewniak, J. Invariant Fuzzy Implications. Soft Comput.
**2006**, 10, 506–513. [Google Scholar] [CrossRef] - Bogiatzis, A.C.; Papadopoulos, B.K. Producing fuzzy inclusion and entropy measures and their application on global image thresholding. Evol. Syst.
**2018**, 9, 331–353. [Google Scholar] [CrossRef] - Bogiatzis, A.C.; Papadopoulos, B.K. Local thresholding of degraded or unevenly illuminated documents using fuzzy inclusion and entropy measures. Evol. Syst.
**2019**, 10, 593–619. [Google Scholar] [CrossRef]

© 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).