On Implicative Derivations of MTL-Algebras

: This paper introduces the implicative derivations and gives some of their characterizations on MTL-algebras. Furthermore, we provide some representation of MTL-algebras by implicative derivations and obtain some representation of Boolean algebra via the algebra of all implicative derivations. Finally, we explore the relationship between implicative derivation and other operators on MTL-algebras and show that there exists a bijection between the sets of multiplier and implicative derivations on IMTL-algebras. The results of this paper can provide the common properties of implicative derivations in the t-norm-based fuzzy logical algebras


Introduction
In order to capture the logic of t-norm-based fuzzy logics and their residual [1], Esteva et al. introduced the t-norm-based fuzzy logic MTL [2], and the resulting class of algebras called MTL-algebras. They have interesting algebraic properties and cover all the mathematical structures that appear in a t-norm-based fuzzy logic framework, such as, MV-algebras, BL-algebras, Gödel algebras, IMTL-algebras and R 0 -algebras. Therefore, MTL-algebras are important algebraic structures in which the community of fuzzy logicians have become interested [1][2][3][4][5].
The notion of derivations is instrumental in studying properties and structure in fuzzy logical algebraic structures. In 1957, Posner [6] studied kinds of derivations in a prime ring and some of their basic algebraic properties. Afterward, Jun, Borzooei and Zhan et al. [7][8][9] produced some characterizations of p-semisimple BCI-algebras via derivations with respect to BCI-algebras with derivation. In 2008, Xin, Çeven et al. [10][11][12] characterized modular lattices and distributive lattices by isotone derivations with respect to lattices with derivations. Furthermore, Alshehri, Ghorbain, Yazarli, et al. [13][14][15] derived the derivations on MV-algebras and gave some conditions under which an additive derivation is isotone, in fact, for a linearly ordered MV-algebra. In 2013, Lee et al. [16,17] introduced and studied derivations and f -derivations on lattice implication algebras and discussed the relations between derivations and filters. In 2016, He et al. [18] investigated the kinds of derivations in residuated lattices, and characterized Heyting algebras with respect to the above derivations. In 2017, Hua [19] studied derivations in R 0 -algebras, which are equivalent to NM-algebras, and discussed the relation between filters and the fixed point set of these derivations. The paper is motivated by the following considerations: (1) It is well-known that derivations have been studied on MV-algebras, BL-algebras IMTL-algebras and residuated lattices and so on. Although they are essentially different logical algebras they are all particular types of MTL-algebras. Thus, it is meaningful for us to establish the derivation theory of MTL-algebras for studying the common properties of derivations in t-norm-based fuzzy logical algebras. (2) The previous research regarding derivations on logical algebras is multiplicative derivation, which is a map that satisfies There are few studies, however, regarding derivations defined by → and any other operations on residuated structures so far. Therefore, it is interesting to study these derivations on logical algebras. (3) It has always been known that Galois connections play a central role in studying logical algebras, and the relation between derivations and Galois connections is an important research topic to study. However, there are few research works regarding the relation between derivations and Galois connections on logical algebras so far. Thus, it is necessary for us to study the relation between derivations and Galois connections on logical algebras. Given these considerations, we propose a new type of derivation on MTL-algebras. Indeed, (1) The notion of implicative derivations, which are defined by the operations → and , is introduced on MTL-algebras, and some characterizations of them are given. (see Definition 3, Theorem 1). (2) Every implicative derivation is principle on IMTL-algebras (see Theorem 2, Remark 2).
(3) Every Boolean algebra represents the sets of all implicative derivations on Boolean algebras (see Theorem 6). (4) There is an isotone Galois connection between the sets of multipliers and implicative derivations on IMTL-algebras (see Theorem 7). (5) There is a bijection between the sets of multiplier and implicative derivations on IMTL-algebras (see Theorem 8).
In Section 2, we review some basic nations and definitions of MTL-algebras. In Section 3, we introduce implicative derivations on MTL-algebras and provide some of their characterizations. In Section 4, we give some representations of MTL-algebras by implicative derivations. In Section 5, we discuss the relationships between implicative derivations with other operators on MTL-algebras.

Preliminaries
First, some basic notions of MTL-algebras and their related algebraic results are presented. Definition 1 ([5]). An algebra (M, , →, , , 0, 1) is said to be a residuated lattice if (1) (M, , , 0, 1) is a bounded lattice, By M we mean that the universe of a residuated lattice (M, , →, , , 0, 1). On M, Then ≤ is a binary partial order on M and for u ∈ M, 0 ≤ u ≤ 1. A residuated lattice M is an MTL-algebra if it satisfies the prelinearlity equation: An MTL-algebra M is a Gödel algebra if it satisfies We denote the set {u|u u = u} of M by I(M).
An MTL-algebra M is an IMTL-algebra if it satisfies the double negation property: In every IMTL-algebra, we define further operations as follows: and also check An IMTL-algebra M is called an R 0 -algebra if it satisfies:

Proposition 1 ([2]
). The following hold in any MTL-algebra M, for all u, v, w ∈ M,

Definition 2 ([20]
). Given sets E , F and two order-preserving maps f : E −→ F and g : F −→ E , the pair ( f , g) establishes a Galois connection between E and F if f g ≥ id F and g f ≤ id E .

Implicative Derivations of MTL-Algebras
Then, we introduce derivations in MTL-algebras and give some of their characterizations.
for any u, v ∈ M.
Example 3. Let M n be a standard n-valued R 0 -algebra for some n ≥ 2.
Example 5. Let M be an MTL-algebra and a ∈ M. Then g a (u) = a → u for any u ∈ M is an implication derivation on M. Proof.
(2) ⇒ (1) From (2), we have which implies u ≤ g(u). Then by Proposition 1 (1), for any u, v ∈ M. Remark 1. The map g p : M → M, as defined by g p (u) = p → u for any u ∈ M, g p ∈ G(M), which is said to be the principle implicative derivation. Indeed, for any u, v ∈ M.
By Remark 1, whether any implicative derivation g can be represented as the form of g p .
Indeed, this assertion is not true for MTL-algebra.
Then (M, min, max, , →, 0, 1) is an MTL-algebra. Defining g : M → M as follows: , and g ∈ G(M). But So g is not representative of g p , for any p ∈ M.

Proof.
(1) For any u ∈ M, by Theorem 1, we have for any u ∈ M.

Characterizations of MTL-Algebras Based on Implicative Derivations
Here we study the algebraic structure of the set of implicative derivations and give some representations of MTL-algebras via them.
for all g i , g j ∈ G(M), and u ∈ M.
Proof. For any g i , g j ∈ G(M), and u ∈ M, by Proposition 1 (10) and (12), we have which implies g i ∩ g j , g i ∪ g j ∈ G(M). Furthermore, for any g i ∈ G(M) and x ∈ M, we have Moreover, (G(M), ∩, ∪, g 1 , 1 g ) is a bounded distributive lattice.
Proof. By Theorem 3, (G(M), ∩, ∪, g 1 , 1 g ) is a bounded distributive lattice if M is an MTLalgebra. Now, we prove that (G(M), ∩, ∪, ⇒, g 1 , 1 g ) is a Gödel algebra if M is a Gödel algebra. For any g i , g j ∈ G(M) and u ∈ M, by Proposition 1 (14)(ii), we have which implies g i ⇒ g j ∈ G(M). By Theorems 3 and 4, the operations ∩, ∪, ⇒ are well defined if M is a Gödel algebra.
As a result of Theorems 3 and 4, some important findings are obtained.
for any g i , g j ∈ G(M), and u ∈ M.

Proof. Define χ : M → G(M) by
for any a, u ∈ M. By Theorem 1, χ is well defined.
(1) If χ(x) = χ(y), then χ(x)(u) = χ(y)(u), and hence x u = y u for all u ∈ M. Now, if u = x, then x = x x = x y, that is, y ≤ x. If u = y, then x y = y y = y, and hence x y = y, that is, x ≤ y. So x = y, which shows that χ is an injective function.

Relations between Implicative Derivations and Other Operators on MTL-Algebras
Recall in [21] that a self map f is called a multiplier of a distributive lattice L if for any u, v ∈ M. Applying this notion to MTL-algebras as a self f satisfies Denoting M(M) by the set of all multipliers of M.
Proof. The proof is easy, and hence omitted. Proof.
Borumand Saeid et al. introduced in [22] that a k-modal operator in BL-algebra, which is a map satisfies the following conditions:

Proposition 4.
If L is an MTL-algebra and a ∈ G(M), then g a is a k-modal operator on M.
Proof. (M2) and (M3) are easily verified. Then, we will show that (M1) also holds. Indeed, by Proposition 1 (14)(ii), we have for any u, v ∈ M. Then, by Definition 1(3), we get g a (u) g a (v) ≤ g a (u v) for any u, v ∈ M.
The condition a ∈ G(L) is necessary.
Defining operations and → as follows: Then (M, , →, , , 0, 1) is an MTL-algebra. Defining g d : M → M as follows: Then g d ∈ G(M). However, it is not a k-modal operator on M since The k-modal operator is not the implicative derivation on MTL-algebra.
Then is a k-modal operator on M. However, it is not an implicative derivation on M, since (y → y) = 1 = 0 = y → y.
It is interesting to consider under which conditions, is every implicative derivation a k-modal operator on an MTL-algebra. Proposition 5. Let M be an MTL-algebra and g ∈ G(M) satisfies ( * ) g(u → v) = g(u) → g(u v).

Conclusions
The notion of implicative derivations is beneficial for discussing structures and properties in fuzzy logic algebraic. In order to provide the common properties of implicative derivations in the t-norm-based logical algebras, we introduce the implicative derivations on MTL-algebras and obtain some of their characterizations. We also obtain some characterizations of Boolean algebras via implicative derivations and show the relations between implicative derivations and other operators, for example, multiplier and k-modal operators, on IMTL-algebras. In the future, we will study some of their algebraic properties of derivations on algebraic hyperstructures [23,24].