Orders of Discriminator Classes in Multivalued Logic

S. S. Marchenkov

Matematičeskie zametki, Tome 86 (2009) no. 4, pp. 550-556

Résumé

For $k\ge2$, discriminator classes, that is, closed classes of functions of $k$-valued logic containing the ternary discriminator $p$, are considered. It is proved that any discriminator class has order at most $\max(3,k)$; moreover, the order of any discriminator class containing all homogeneous functions does not exceed $\max(3,k-1)$, and the order of a discriminator class containing all even functions does not exceed $\max(3,k-2)$. All of these three bounds are attainable.

Détail

Keywords: function of multivalued logic, discriminator class of functions, ternary discriminator, structure homogeneous functions, homogeneous functions, even functions.