Abstract
The main goal of this paper is to investigate derivations in residuated lattices and characterize some special types of residuated lattices in terms of derivations. In the paper, we discuss related properties of some particular derivations and give some characterizations of (good) ideal derivations. Then we obtain that the fixed point set of good ideal derivations is still a residuated lattice. Also, we prove that the set of all ideal derivation filters on residuated lattices with good ideal derivations can form a complete Heyting algebra, which is isomorphic to the lattice of all filters in the fixed point set for good ideal derivations. Moreover, we study principal ideal derivations and their adjoint derivations. Finally, we get that the fixed point set of principal ideal derivations and that of their adjoint derivations are order isomorphism. In particular, using the fixed point set of principal ideal derivations, we give characterizations of Heyting algebras and linearly ordered Heyting algebras.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
