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.Symmetry 2019, 11, 817 2 of 22 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 Deschrij...