On Completeness of Multifunction Set of Rank 2

Badmaev Sergey A., Sharankhaev Ivan K.
2018 Journal of Siberian Federal University Mathematics & Physics  
The problem of completeness of the set of functions from a finite set A to set of all subsets of A is studied. Functions of this kind are called multifunctions on A, they generalize the well-known class of functions of k-valued logic. The usual superposition adopted for functions of k-valued logic is not suitable for multifunctions. In the paper one of the types of superpositions that are commonly used for multifunctions is considered. We prove necessary and sufficient condition for the
more » ... ion for the completeness of an arbitrary set of multifunctions on {0, 1} which contains all unary Boolean functions with respect to given superposition.
doi:10.17516/1997-1397-2018-11-4-465-471 fatcat:mejtai4ebncchax4f4ip4vuoje