On derivations and their fixed point sets in residuated lattices

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.