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)].
- Classification and enumeration of bases in clone of all hyperfunctions on two-elements set.
- Classification and types of bases of all ultrafunctions on two-element set
- Classification of multioperations of rank 2 by \(E\)-precomplete sets
- On minimal bases in full partial ultraclone of rank 2
- On some maximal partial ultraclones on a two-element set
This page was built for publication: Types of rank 2 superclone bases.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2637484)
