Basic relations for the $S$-classification of functions of multivalued logic
Diskretnaya Matematika, Tome 8 (1996) no. 1, pp. 99-128
For sets of functions of multi-valued logic the $S$-closure is defined as the closure with respect to the operations of superposition and transition to the dual functions. To describe the $S$-closed classes lying in the $S$-precomplete class of idempotent functions we introduce some standard relations which are called basic. We prove that any \linebreak[3] $S$-closed class of idempotent functions specified by arbitrary two-place relations can be defined by appropriate basic relations as well.The work was partially supported by the Russian Foundation for Basic Research, Grants 93–011–1525 and 95–01–01625–a.
@article{DM_1996_8_1_a6,
author = {S. S. Marchenkov},
title = {Basic relations for the $S$-classification of functions of multivalued logic},
journal = {Diskretnaya Matematika},
pages = {99--128},
year = {1996},
volume = {8},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DM_1996_8_1_a6/}
}
S. S. Marchenkov. Basic relations for the $S$-classification of functions of multivalued logic. Diskretnaya Matematika, Tome 8 (1996) no. 1, pp. 99-128. http://geodesic.mathdoc.fr/item/DM_1996_8_1_a6/