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 boolean OR-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.