Clones of Self-Dual and Self-K-Al Functions in K-valued Logic

Abstract

We give a classification of dual functions, they are m-al functions. We call a function m-al with respect to an operator if the operator lives any function unchanged after m times of using the operator. And 2 ≤ m ≤ k. Functions with different m have very different properties. We give theoretical results for clones of self-dual (m = 2) and self- -al (m = k) functions in k -valued logic at k ≤ 3. And we give numerical results for clones of self-dual and self-3-al functions in 3-valued logic. In particular, the inclusion graphs of clones of self-dual and of self-3-al functions are not a lattice.