This article is cited in 6 papers

Mathematical logic, algebra and number theory

A completeness criterion for sets of multifunctions in full partial ultraclone of rank 2

S. A. Badmaev

Buryat State University, Smolin St., 24a, 670000, Ulan-Ude, Russia

Abstract: The problem of completeness for some class of discrete functions is studied. Functions from this class map finite cartesian powers of a two-element set $E$ to the set of all subsets of $E$. Functions of this kind are called multifunctions of rank $2$. We proved a necessary and sufficient condition of completeness using some special notion of superposition for an arbitrary set of functions from a given class.

Keywords: function of many-valued logic, multifunction, partial ultraclone, criterion of completeness.

UDC: 519.716

MSC: 08A99

Received March 18, 2018, published May 4, 2018

DOI: 10.17377/semi.2018.15.040

Bibliographic databases:

•