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.

[1]  Jianming Zhan,et al.  On f-derivations of BCI-algebras , 2005, Int. J. Math. Math. Sci..

[2]  G. Muhiuddin,et al.  On Generalized Left Derivations in BCI-Algebras , 2014 .

[3]  Young Bae Jun,et al.  On derivations of BCI-algebras , 2004, Inf. Sci..

[4]  T. Blyth.  Lattices and Ordered Algebraic Structures , 2005 .

[5]  Yang Xu,et al.  On filter theory of residuated lattices , 2010, Inf. Sci..

[6]  Morgan Ward,et al.  Residuated distributive lattices , 1940 .

[7]  R. P. Dilworth.  Non-Commutative Residuated Lattices , 1939 .

[8]  Xiao Long Xin.  The fixed set of a derivation in lattices , 2012 .

[9]  H. E. Bell,et al.  Rings in which derivations satisfy certain algebraic conditions , 1989 .

[10]  Emine Albas,et al.  ON IDEALS AND ORTHOGONAL GENERALIZED DERIVATIONS OF SEMIPRIME RINGS , 2007 .

[11]  Young Bae Jun,et al.  On Symmetric Left Bi-Derivations in BCI-Algebras , 2013, Int. J. Math. Math. Sci..

[12]  E. Posner.  Derivations in prime rings , 1957 .

[13]  Bao Qing Hu,et al.  Characterizations and new subclasses of I-filters in residuated lattices , 2014, Fuzzy Sets Syst..

[14]  Mehmet Ali Öztürk,et al.  ON F-DERIVATIONS OF LATTICES , 2008 .

[15]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[16]  Constantine Tsinakis,et al.  The Structure of Residuated Lattices , 2003, Int. J. Algebra Comput..

[17]  Kazushige Terui,et al.  The finite model property for various fragments of intuitionistic linear logic , 1999, Journal of Symbolic Logic.

[18]  Xiao Long Xin,et al.  On derivations of lattices , 2008, Inf. Sci..

[19]  Noura Omair Al-shehri,et al.  Derivations of MV-Algebras , 2010, Int. J. Math. Math. Sci..

[20]  Li Kaitai,et al.  Boolean filters and positive implicative filters of residuated lattices , 2007 .

[21]  C. Chang,et al.  Algebraic analysis of many valued logics , 1958 .

[22]  Jan Pavelka,et al.  On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi , 1979, Math. Log. Q..

[23]  E. Turunen.  Mathematics Behind Fuzzy Logic , 1999 .

[24]  Young Bae Jun,et al.  GENERALIZED DERIVATIONS OF BCI-ALGEBRAS , 2009 .

[25]  Xiaohong Zhang,et al.  IMTL(MV)-filters and fuzzy IMTL(MV)-filters of residuated lattices , 2014, J. Intell. Fuzzy Syst..

[26]  Ulrich Höhle,et al.  Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory , 1995 .

[27]  Peter Jipsen,et al.  Residuated lattices: An algebraic glimpse at sub-structural logics , 2007 .