Some types of derivations in bounded commutative residuated lattices

Document Type : Original Article


1 Department of Mathematics and Computer Science, University of Dschang, Cameroon

2 Departement of Mathematics Higher Teachers' Training College University of maroua Cameroun

3 Computer Science Department, HTTTC Kumba University of Buea, Cameroon


In this paper, the notion of mutiplicative derivation, pseudo implicative derivation and implicative derivation on a bounded commutative residuated lattice are presented with some useful examples. We generalized these notions of derivation by introducing (f, g)-multiplicative derivation, (f, g)-pseudo implicative derivation and (f, g)-implicative derivation, and discussed some related properties; the conditions for (f, g)-multiplicative derivation, (f, g)-pseudo implicative derivation and (f, g)-implicative derivation to be monotone are provided. The set of fixed points is defined by using the notion of (f, g)-multiplicative derivation of bounded commutative residuated lattices. We also analyzed the link between different types of derivation.