Neutrosophic Triangular Norms and Their Derived Residuated Lattices

Neutrosophic triangular norms (t-norms) and their residuated lattices are not only the main research object of neutrosophic set theory, but also the core content of neutrosophic logic. Neutrosophic implications are important operators of neutrosophic logic. Neutrosophic residual implications based on neutrosophic t-norms can be applied to the fields of neutrosophic inference and neutrosophic control. In this paper, neutrosophic t-norms, neutrosophic residual implications, and the residuated lattices derived from neutrosophic t-norms are investigated deeply. First of all, the lattice and its corresponding system are proved to be a complete lattice and a De Morgan algebra, respectively. Second, the notions of neutrosophic t-norms are introduced on the complete lattice discussed earlier. The basic concepts and typical examples of representable and non-representable neutrosophic t-norms are obtained. Naturally, De Morgan neutrosophic triples are defined for the duality of neutrosophic t-norms and neutrosophic t-conorms with respect to neutrosophic negators. Third, neutrosophic residual implications generated from neutrosophic t-norms and their basic properties are investigated. Furthermore, residual neutrosophic t-norms are proved to be infinitely ∨-distributive, and then some important properties possessed by neutrosophic residual implications are given. Finally, a method for producing neutrosophic t-norms from neutrosophic implications is presented, and the residuated lattices are constructed on the basis of neutrosophic t-norms and neutrosophic residual implications.


Introduction
Neutrosophic sets were firstly proposed by Smarandache [1] from a philosophical point of view in 1998, which is a generalization of fuzzy sets and intuitionistic fuzzy sets.However, it is difficult to apply neutrosophic sets to solve practical problems since the values of their three functions with respect to truth, indeterminacy and falsity lie in ]0−,1+[.The definition of single-valued neutrosophic sets were introduced by Wang [2], whose values belong to [0,1].With the development of neutrosophic set theory, single-valued neutrosophic sets and their applications have been investigated by more scholars.Single-valued neutrosophic sets were successfully applied to various decision making problems [3][4][5][6][7][8].In addition, Zhang et al. studied the neutrosophic logic algebras and discussed neutrosophic filters and neutrosophic triplet groups, which are the important foundation of the development of neutrosophic logic theory [9][10][11][12].To facilitate research, "single-valued neutrosophic sets" are abbreviated as "neutrosophic sets" in this paper.For neutrosophic sets, the truth-membership, indeterminacy-membership and falsity-membership are not restricted to each other, which is different from intuitionistic fuzzy sets.Picture fuzzy sets proposed by Cuong [13] in 2013 is a direct generalization of intuitionistic fuzzy sets, because their positive membership, neutral membership and negative membership are not independent completely.It is worth noting that picture fuzzy sets can be regarded as special neutrosophic sets [14,15], and also can be called standard neutrosophic sets [1,2,[16][17][18][19].
Fuzzy logic plays a vital role in fuzzy set theory.T-norms, t-conorms, negators and implications are very important fuzzy logic operators.T-norms were originally defined by Menger [20], and then Schweizer and Sklar [21,22] redefined the t-norms which have been used to today.From the perspective of fuzzy logic, t-norms are the extension of intersection operation of fuzzy sets [23].The algebraic properties of t-norms, for example, continuity, archimedean, strict, nilpotent and so on, are discussed in some papers [24][25][26][27][28]. Hu et al. studied t-norm extension operations [29].Wang et al. discussed the lattice structure of algebra of fuzzy values [30].The t-norms which satisfy the residual principle are an important class of t-norms, because they can produce fuzzy implications and constitute the residuated lattices [31][32][33][34].Type-2 t-norms (t-conorms) and their residual operators on type-2 fuzzy sets were investigated by Li [25], which promote the development of fuzzy reference system.Intuitionistic fuzzy t-norms on intuitionistic fuzzy sets (L * -fuzzy sets) were proposed by Deschrijver et al., they discussed t-representable intuitionistic fuzzy t-norms and their residual operators [35,36].Picture fuzzy sets are particular L-fuzzy sets [37].Picture fuzzy t-norms on picture fuzzy sets were introduced in [17,38,39], some basic picture fuzzy logic connectives and their properties for picture fuzzy sets are investigated in [40,41].Some classes of representable picture fuzzy t-norms and representable picture fuzzy t-conorms on picture fuzzy sets and De Morgan picture operator triples in picture fuzzy logic are discussed [42].Furthermore, a picture inference system is proposed by Son [43].The residual operations, residual implications of uninorms were discussed by Baets [44].Wang proposed the notions of residual implications (co-implications) of pseudo t-norms, left and right uninorms and studied some properties of infinitely ∨-distributive (∧-distributive) pseudo t-norms, left and right uninorms [45][46][47].Then Liu introduced semi-uninorms and their residual implications [48].
Neutrosophic t-norms, neutrosophic t-conorms, neutrosophic negators and neutrosophic implications are important neutrosophic logic operators for neutrosophic sets.It is a very meaningful topic to discuss neutrosophic t-norms and their residual implications on neutrosophic sets.In the last few years, although Alkhazaleh discusses some neutrosophic t-norms and t-conorms in [49], Liu proposes aggregation operators based on Archimedean t-norms and t-conorms for neutrosophic numbers in [5], Smarandache discussed neutrosophic norms (n-norms), n-valued refined neutrosophic logic and its applications in physics [50,51], there are a few papers about basic neutrosophic logic connectives and their properties and neutrosophic logic inference systems and their applications in the field of control.Therefore, it is necessary to study neutrosophic logic operators and their properties, especially the application of neutrosophic residual implications in neutrosophic inference and neutrosophic control.
To achieve these goals, the definitions of neutrosophic t-norms should be given firstly.We can study neutrosophic logic and neutrosophic inference systems further only if neutrosophic t-norms and their residual implications are studied thoroughly.Thus, it is the main task of this paper to study neutrosophic t-norms and their residual implications.Section 2 presents some basic notions.In Section 3, the lattice structure of neutrosophic sets is analyzed and constructed systematically based on the first type inclusion relation on neutrosophic sets.In particular, we combine some basic algebraic operations: Union, intersection and complement and their related properties to prove that the system (D * ; ∨ 1 , ∧ 1 , c , 0 D * , 1 D * ) is a De Morgan algebra.In Section 4, we introduce neutrosophic t-norms (t-conorms), representable neutrosophic t-norms (t-conorms) and De Morgan neutrosophic triples.In addition, we present some important theorems and typical examples.In Section 5, the definitions of neutrosophic residual implications (co-implications) are obtained and their basic properties are discussed deeply.Moreover, residual neutrosophic t-norms (t-conorms) are proved to be infinitely ∨-distributive (∧-distributive), and then some important results related to residual neutrosophic t-norms and neutrosophic residual implications are given.Section 6 shows a method for obtaining neutrosophic t-norms from neutrosophic implications, and then proves that the system (D * ; ∨ 1 , ∧ 1 , ⊗, →, 0 D * , 1 D * ) is a residuated lattice.In Section 7, we conclude the paper.

Preliminaries
Some basic concepts in fuzzy set theory will be reviewed in this section.Definition 1. ( [52]) Let U be a nonempty set.An intuitionistic fuzzy set M in U is characterized by a membership function µ M (u) and a non-membership function ν M (u).Then, an intuitionistic fuzzy set M can be denoted by Here µ M (u), ν M (u) ∈ [0, 1] denote the membership and the non-membership functions of the intuitionistic fuzzy set M, respectively.

Definition 2. ([1]
) Let U be a nonempty set.A neutrosophic set M in U is characterized by three functions: Truth-membership function T M (u), indeterminacy-membership function I M (u), and falsity-membership function F M (u).Here, T M (u): However, there are a lot of limitations in solving practical problems with neutrosophic sets, because their notions are given from a philosophical perspective.Thus, the concepts of single-valued neutrosophic sets are given by Wang et al. as follows.

Definition 3. ([2]
) Let U be a nonempty set.A single-valued neutrosophic set M in U is characterized by three functions: Truth-membership function T M (u), indeterminacy-membership function I M (u), and falsity-membership function F M (u).Then, a single-valued neutrosophic set M can be denoted by So far, scholars have described the inclusion relation of neutrosophic sets from three different angles.The first definition is proposed by Smarandache [1,18,53] and denoted as ⊆ 1 ; the second one is mentioned in [2,14,54] and denoted by ⊆ 2 ; the third one is presented in [14,38,39,54] and denoted by ⊆ 3 .Furthermore, based on the correlation between union, intersection operations and inclusion relation, we can obtain three different types of union, intersection operations and their properties.In this paper, we consider the first type inclusion relation.
The first type inclusion relation ⊆ 1 and its basic algebraic operations are defined as follows: ( Definition 5. ( [34]) Let (L; ≤ L ) be a complete lattice.A t-norm on (L; ≤ L ) is a commutative, associative, increasing mapping T : L 2 → L, which satisfies T (1 L , u) = u, for all u ∈ L. A t-conorm on (L; ≤ L ) is a commutative, associative, increasing mapping S : L 2 → L, which satisfies S (0 L , u) = u, for all u ∈ L.

t-Conorms
Residual Co-Implications Now we consider the set D * defined by, As defined above, if u ∈ D * , then u has three components: The first component u 1 , the second component u 2 and the third component u 3 .
The order relation ≤ 1 on D * can also be defined by, for all u, v ∈ D * , Proposition 1. (D * ; ≤ 1 ) is a partially ordered set. Proof.
(2) Anti-symmetry: If u ≤ 1 v and v ≤ 1 u, then it is obvious that u = v, for all u, v ∈ D * . ( Proposition 2. The operations ∧ 1 and ∨ 1 are defined by, for all u, v ∈ D * , Then u ∧ 1 v is called the greatest lower bound of u, v, denoted by inf(u, v); u ∨ 1 v is called the least upper bound of u, v, denoted by sup(u, v).That is, (D * ; ≤ 1 ) is a lattice.
Proof.According to the definitions above, if either u ≤ 1 v or v ≤ 1 u, u ∧ 1 v is the greatest lower bound of u and v. Thus, u ∧ 1 v = inf(u, v).Similarly, u ∨ 1 v = sup(u, v) can be obtained.Now, we assume that neither u ≤ 1 v nor v ≤ 1 u.According to the definitions above, Similarly, we have κ ≤ 1 v.Thus, κ is the lower bound of u and v. Furthermore, κ is the greatest lower bound of u and v.In fact, assume a = (a 1 , a 2 , a 3 ) ∈ D * with the condition a ≤ 1 u and a ≤ 1 v.Then, The first, second and third projection mapping pr 1 , pr 2 and pr 3 on D * are defined as follows, where sup The maximum and minimum of D * are denoted by 1 D * = (1, 0, 0) and 0 D * = (0, 1, 1), respectively.Note that, if u and v are incomparable with respect to ≤ 1 , for all u, v ∈ D * , then the relationship between u and v can be denoted as u ≤ 1 v.
Obviously, each neutrosophic set M = { u, T M (u), I M (u), F M (u) | u ∈ U} corresponds to a D * -fuzzy set.That is, there exits a mapping Based on the relationship between neutrosophic sets and D * -fuzzy sets, the triple formed by the three membership degrees of neutrosophic sets is an element of D * .Therefore, we can obtain more compact formulas for neutrosophic sets, analyze and extend some operators defined in the fuzzy case for neutrosophic sets by using the lattice (D * ; ≤ 1 ).
For example, the intersection of two neutrosophic sets M and N in a universe U is defined as Using the lattice (D * ; ≤ 1 ), we can get, for all u ∈ U, Definition 6.The complement of u is defined by, for all u ∈ D * , Proof.By Propositions 1-5 and the definition of the generalized De Morgan algebra [14,55], we can get that (D * ; ∧ 1 , ∨ 1 , c , 0 D * , 1 D * ) is a generalized De Morgan algebra.Furthermore, we can prove that (1) For all u, v, w ∈ D * , if any two of them are comparable, then there are six situations as follows: (2) For all u, v, w ∈ D * , if at least two of them are not comparable, then u ∧ 1 (v Considering the second type inclusion relation on neutrosophic sets which is dual of the first type inclusion relation, we get that (D * ; ∧ 2 , ∨ 2 , c , (0, 0, 1), (1, 1, 0)) is also a De Morgan algebra.
From this, Proposition 2.2 (see [14]) can be easily proved by using Proposition 6.That is, Proposition 2.2 (see [14]) is a corollary of Proposition 6.
In short, in combination with the conclusions given in [14], we find that neutrosophic net is different from intuitionistic fuzzy set.

Neutrosophic t-Norms and De Morgan Neutrosophic Triples
Section 3 proposes that (D * ; ≤ 1 ) is a complete lattice, Section 4 will introduce the notions of neutrosophic t-norms (t-conorms) on (D * ; ≤ 1 ).Definition 7. A neutrosophic t-norm is a function T : (D * ) 2 → D * that satisfies the following conditions, for all u, v, w ∈ D * : Some basic neutrosophic t-norms (t-conorms) on (D * ; ≤ 1 ) are presented as follows: Example 3. Some neutrosophic t-norms are defined by, for all u, v ∈ D * : Example 4. Some neutrosophic t-conorms are defined by, for all u, v ∈ D * : Furthermore, the representation theorems of neutrosophic t-norms (t-conorms) are proposed as follows: Theorem 1.Let T be a binary operation on D * .Then, for all u, v ∈ D * , Proof.The proof is similar to that of Theorem 1.
Theorem 1 proposes a way to construct neutrosophic t-norms on D * with t-norms and t-conorms which are defined on [0, 1].Unfortunately, the converse is not always true.It is not always possible to find two t-conorms S 1 , S 2 , a t-norm T on [0, 1] such that T = (T, S 1 , S 2 ).
To distinguish these two kinds of neutrosophic t-norms, we introduce the notions of representable neutrosophic t-norms.Definition 9. A neutrosophic t-norm T is called representable, if and only if, there exist two t-conorms S 1 , S 2 and a t-norm T on [0, 1] satisfying, for any u, v ∈ D * , Definition 10.A neutrosophic t-norm T is called standard representable, if and only if, there exists a t-norm T and a t-conorm S on [0, 1] satisfying, for any u, v ∈ D * , Definition 11.A N-dual representable neutrosophic t-norm T defined by, for any u, v ∈ D * , where T is a t-norm on [0, 1] and S is the N-dual t-conorm of T, that is, Definition 12.A first N-dual representable neutrosophic t-norm T defined by, for any u, v ∈ D * , where T is a t-norm on [0, 1] and S 1 is the N-dual t-conorm of T, S 2 is a t-conorm on [0, 1].Definition 13.A second N-dual representable neutrosophic t-norm T defined by, for any u, v ∈ D * , where T is a t-norm on [0, 1] and S 2 is the N-dual t-conorm of T, S 1 is a t-conorm on [0, 1].
Notice that the N-dual representable neutrosophic t-norms are not only the standard representable neutrosophic t-norms, but also the first N-dual representable neutrosophic t-norms and the second N-dual representable neutrosophic t-norms.Those neutrosophic t-norms presented in Example 3 are all representable neutrosophic t-norms, and (1)-( 5) are N-dual representable neutrosophic t-norms, ( 8) is a first N-dual representable neutrosophic t-norm, ( 9) is a second N-dual representable neutrosophic t-norm.Definition 14.A neutrosophic t-conorm S is called representable, if and only if, there exists a t-conorm S and two t-norms T 1 , T 2 on [0, 1] satisfying, for any u, v ∈ D * , For neutrosophic t-conorms, the rest of the related concepts can be obtained by contrasting with Definitions 10-13 of neutrosophic t-norms above.
The following propositions present a method for constructing new representable neutrosophic t-norms (t-conorms) with intuitionistic fuzzy t-norms (t-conorms).Proposition 7. Let T(x, y) be a representable intuitionistic fuzzy t-norm: T(x, y) = (t(x 1 , y 1 ), s 2 (x 3 , y 3 )), for all x = (x 1 , x 3 ), y = (y 1 , Proposition 8. Let S(x, y) be a representable intuitionistic fuzzy t-conorm: S(x, y) = (s(x 1 , y 1 ), t 2 (x 3 , y 3 )), for all u = (x 1 , De Morgan triple is the perfect combination of a fuzzy t-norm, a fuzzy t-conorm and a fuzzy negator because it describes the duality of a fuzzy t-norm and a fuzzy t-conorm with respect to a fuzzy negator.Thus, it is necessary to discuss De Morgan neutrosophic triples.First of all, neutrosophic negators as the extension of fuzzy negators, as well as intuitionistic negators can be defined as follows: (1) T (u, Example 5. Some neutrosophic t-norms and neutrosophic t-conorms are dual with respect to N s . (1) . Thus, T M and S M are dual with respect to N s . (2) Representable neutrosophic t-norms are mainly analyzed and discussed above.As for non-representable neutrosophic t-norms, we give the following theorem: is a non-representable neutrosophic t-norm.

Remark 1.
Let T be a non-representable neutrosophic t-norm on D * , S be a neutrosophic t-conorm which is dual to T with respect to the standard neutrosophic negator N s .Then, S is not representable.Conversely, the dual neutrosophic t-norm with respect to an involutive neutrosophic negator N on D * of a non-representable neutrosophic t-conorm is not representable.Example 6.Let T : (D * ) 2 → D * be a mapping.Then, for all u, v ∈ D * , is a non-representable neutrosophic t-norm.
Meanwhile, the dual neutrosophic t-conorm S of T with respect to N s is presented by, for all u, v ∈ D * , Then, S is not representable, too.

Example 7.
Let S be a mapping: is a non-representable neutrosophic t-conorm.
Meanwhile, the dual neutrosophic t-norm T of S with respect to N s is presented by, for all u, v ∈ D * , Then, T is not representable, too.

Neutrosophic Residual Implications of Neutrosophic t-Norms
This section will introduce the notions of neutrosophic residual implications on the complete lattice D * , investigate basic properties of neutrosophic residual implications, and give some important conclusions between neutrosophic t-norms and neutrosophic residual implications after proving that residual neutrosophic t-norms are ∨-distributive.Firstly, we give the notions of neutrosophic implications on D * .Definition 17.A neutrosophic implication is a function I : (D * ) 2 → D * that satisfies the following conditions, (NI1) I is non-increasing with respect to ≤ 1 in its first variable, that is, where u, u , v ∈ D * and u ≤ 1 u ; (NI2) I is non-decreasing with respect to ≤ 1 in its second variable, that is, Definition 18.A function I : (D * ) 2 → D * is called a neutrosophic residual implication, if there exits a neutrosophic t-norm T such that If I is a neutrosophic residual implication generated from a neutrosophic t-norm T , then it will be denoted by I T .
Furthermore, a neutrosophic t-norm T satisfies the residual principle if and only if, for all u, v, w ∈ D * , Similarly, we can get the definitions of neutrosophic co-implications: Definition 19.A neutrosophic co-implication is a function J : (D * ) 2 → D * that satisfies the following conditions: (NJ1) J is non-increasing with respect to ≤ 1 in its first variable, that is, where u, u , v ∈ D * and u ≤ 1 u ; (NJ2) J is non-decreasing with respect to ≤ 1 in its second variable, that is, Definition 20.A function J : (D * ) 2 → D * is called a neutrosophic residual co-implication, if there exits a neutrosophic t-conorm S such that If J is a neutrosophic residual co-implication generated from a neutrosophic t-conorm S , then it will be denoted by J S .
Furthermore, a neutrosophic t-conorm S satisfies the residual principle if and only if, for all u, v, w ∈ D * , Using the description of the above definitions, we can easily obtain the neutrosophic residual implications of neutrosophic t-norms discussed in Section 4.
Example 8.The neutrosophic residual implications of the representable neutrosophic t-norms of Example 3 are given by, for all u, v ∈ D * , (1) Example 9.The neutrosophic residual co-implications of the representable neutrosophic t-conorms of Example 4 are given by, for all u, v ∈ D * , (1) As we all know, t-conorms are dual operators of t-norms on [0, 1], in the same way, residual co-implications are dual operators of residual implications on [0, 1], with respect to N(u) = 1 − u.Neutrosophic residual co-implications of neutrosophic t-conorms are dual operators of neutrosophic residual implications of neutrosophic t-norms, just as that neutrosophic t-conorms are dual operators of neutrosophic t-norms with respect to N s .As Examples 8 and 9 above show, if S is the dual neutrosophic t-conorm of a neutrosophic t-norm T , then the neutrosophic residual co-implication J S is the dual operator of the neutrosophic residual implication of I T .
Next, we will introduce the most important theorem in this section, which gives the sufficient condition that the residual operators induced by neutrosophic t-norms must be neutrosophic implications.Theorem 5. Let T be a neutrosophic t-norm on D * with the neutral element 1 D * .Then, for all u, v ∈ D * , That is I T is non-decreasing with respect to ≤ 1 in its second variable.
For neutrosophic residual implications, there are several important properties as follows: Theorem 6. Suppose that T is a neutrosophic t-norm on D * with the neutral element 1 D * , I T is a neutrosophic residual implication.Then, for all u, v, w ∈ D * , (1) Proof.For all u, v ∈ D * , The proofs of ( 1)-( 4) can be directly obtained by Definition 18.
(5) Since I is non-increasing with respect to ≤ 1 in its first variable, Example 10.Example 8 shows some neutrosophic residual implications of representable neutrosophic t-norms, furthermore, it is easy to verify that neutrosophic residual implications of representable neutrosophic t-norms satisfy the properties described in Theorem 6.
For non-representable neutrosophic t-norms, take the neutrosophic t-norm T presented in Theorem 4 for example, then, for all u, v ∈ D * , is a neutrosophic implication and satisfies the properties given in Theorem 6.
Similarly, we have the following two important theorems of neutrosophic t-conorm on D * : Theorem 7. Assume that S is a neutrosophic t-conorm on D * with the neutral element 0 D * .Then, for all u, v ∈ D * , is a neutrosophic co-implication.
Proof.From Definition 20, we can prove it using the proven ways of Theorem 5.
Theorem 8. Assume that S is a neutrosophic t-conorm on D * with the neutral element 0 D * , J S is a neutrosophic residual co-implication.Then, for all u, v, w ∈ D * , (1) Example 11.Example 9 shows some neutrosophic residual co-implications of representable neutrosophic t-conorms; furthermore, it is easy to verify that neutrosophic residual co-implications of representable neutrosophic t-conorms satisfy the properties described in Theorem 8.
For non-representable neutrosophic t-conorms, take the neutrosophic t-conorm S presented in Theorem 4 for example, then, for all u, v ∈ D * , is a neutrosophic co-implication and it satisfies the properties given in Theorem 8.
In Definition 18, I T is called the neutrosophic residual implication.At the same time, T is called the residual neutrosophic t-norm.Then, some important properties of the residual neutrosophic t-norm will be discussed below.Definition 21. [45] A binary operation H on a complete lattice L is called left (right) infinitely ∨-distributive, if for all u ∈ L, where W ⊆ L. H is called infinitely ∨-distributive (∧-distributive) on L, if H is both left and right infinitely ∨-distributive (∧-distributive).
Theorem 9. Assume that T is a residual neutrosophic t-norm on D * with the neutral element 1 D * .Then T is infinitely ∨-distributive on D * .(2) Let I be a neutrosophic implication on D * .Then T I which satisfies the conditions presented in Theorem 13 is a infinitely ∨-distributive neutrosophic t-norm, and I = I T I .

Proof
Proof.(1) From Theorem 5, I T is a neutrosophic implication.Next, we prove I T (u, (2) From Definition 22 and Theorem 13, T I is a neutrosophic t-norm.Next, we prove T I (sup Hence, T I is infinitely ∨-distributive.At last, from Definitions 18 and 22, we get Sections 4 and 5 mainly discuss neutrosophic t-norms and their residual implications, then, we can get a residuated lattice by using these two neutrosophic logic operators as follows: Theorem 17.Let T be a neutrosophic t-norm on D * .Suppose (D * ; ∨ 1 , ∧ 1 , c , 0 D * , 1 D * ) is a system on D * .For all u, v ∈ D * , we define: Proof.Firstly, from Proposition 3, we know that (D * ; ∨ 1 , ∧ 1 , 0 D * , 1 D * ) is a bounded lattice.Then, we prove that (D * ; ⊗, 1 D * ) is a commutative monoid.(1) For any u ∈ D * , 1 (2) Theorem 16 proves that T I T = T is a neutrosophic t-norm.Thus, T satisfies the commutative law, that is, u ⊗ v = v ⊗ u. (3) Similarly, T satisfies the associative law, that is, u ⊗ (v ⊗ w) = (u ⊗ v) ⊗ w.
Finally, we prove that ⊗ is a binary operation for which the equivalence u ⊗ v ≤ 1 w if and only if v ≤ 1 u → w holds for all u, v, w ∈ D * .On the one hand, by the definition of ⊗, we have u ⊗ v = inf{w | w ∈ D * , v ≤ 1 u → w}, then u ⊗ v ≤ 1 w.Thus, v ≤ 1 u → w.On the other hand, from the definition of →, we have u → w = sup{v | v ∈ D * , u ⊗ v ≤ 1 w}.Thus, u ⊗ v ≤ 1 w.Therefore, (D * ; ∨ 1 , ∧ 1 , ⊗, →, 0 D * , 1 D * ) is a residuated lattice.
Example 12. Suppose (D * ; ∨ 1 , ∧ 1 , c , 0 D * , 1 D * ) is a system on D * .For all u, v ∈ D * , we define: where T I T (u, v) is that presented in Theorem 4, I T (u, v) is that presented in Example 10.

Conclusions
Neutrosophic logic plays a vital role in neutrosophic set theory.Neutrosophic t-norms, t-conorms, negators and implications are very important neutrosophic logic operators.In this paper, under the first type inclusion relation, the lattice structure of neutrosophic sets is discussed, (D * ; ≤ 1 ) and (D * ; ∨ 1 , ∧ 1 , c , 0 D * , 1 D * ) are proved to be a complete lattice and De Morgan algebra, respectively.On the complete lattice (D * ; ≤ 1 ), we introduce the definitions of neutrosophic t-norms, t-conorms, negators and their operations.Furthermore, De Morgan neutrosophic triples are defined, which describe that neutrosophic t-norms and t-conorms are dual with respect to the standard neutrosophic negator.Then, we introduce neutrosophic residual implications (co-implications) on the complete lattice (D * ; ≤ 1 ), propose a theorem which shows that residual operations induced by neutrosophic t-norms are neutrosophic implications, investigate basic properties for neutrosophic residual implications (co-implications), prove that residual neutrosophic t-norms are infinitely ∨-distributive, and give some important results for residual neutrosophic t-norms and neutrosophic residual implications.Finally, we introduce neutrosophic operations produced by neutrosophic implications, discuss the conditions that the neutrosophic operations are neutrosophic t-norms, and then construct residuated lattices.Based on these results, we will consider their applications in neutrosophic inference systems in the future.

Theorem 10 .
Assume that T is a residual neutrosophic t-norm on D * with the neutral element 1 D * .Then, for all u, v ∈ D * , (1) T

Theorem 16 .
(1) Assume that T is a neutrosophic t-norm on D * .Then I T (u, inf v∈V v) = inf v∈V I T (u, v) and T = T I T ; Finally, from Definitions 18 and 22, we get T