($\odot$, $\vee$)-derivations on MV-algebras

Abstract

Let $A$ be an MV-algebra. An $(\odot ,\vee )$-derivation on $A$ is a map $d:A\to A$ satisfying: $d(x\odot y)=(d(x)\odot y)\vee (x\odot d(y))$ for all $x,y\in A$. This paper initiates the study of $(\odot ,\vee )$-derivations on MV-algebras. Several families of $(\odot ,\vee )$-derivations on an MV-algebra are explicitly constructed to give realizations of the underlying lattice of an MV-algebra as lattices of $(\odot ,\vee )$-derivations. Furthermore, $(\odot ,\vee )$-derivations on a finite MV-chain are enumerated and the underlying lattice is described.

28 pages, 3 figures