Types of rank 2 superclone bases. (Q2637484)

Let \(A\) be a set and let \(F\) be the set of all multioperations on \(A\), or functions \(A^n\to\exp(A)\). A set \(B\subseteq F\) is called a basis if every \(f\in F\) is a composition of functions from \(B\) and \(B\) is independent. The present paper classifies all the bases in the case when \(A\) is a two-element set. The main classification tool is the membership of multioperations in the maximal superclones. The paper is motivated by a similar investigation, which was carried out for ordinary operations by \textit{M. Miyakawa, I. Stojmenovic, D. Lau} and \textit{I. G. Rosenberg}, [``Classifications and basis enumerations in many-valued logics'', 17th International Symposium on Multiple-Valued Logic, Boston 152-160 (1987)].