|
This article is cited in 6 scientific papers (total 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.
Received March 18, 2018, published May 4, 2018
Citation:
S. A. Badmaev, “A completeness criterion for sets of multifunctions in full partial ultraclone of rank 2”, Sib. Èlektron. Mat. Izv., 15 (2018), 450–474
Linking options:
https://www.mathnet.ru/eng/semr931 https://www.mathnet.ru/eng/semr/v15/p450
|
Statistics & downloads: |
Abstract page: | 272 | Full-text PDF : | 67 | References: | 38 |
|