ISSN 1997-7670 (Print)
ISSN 2541-8785 (Online)

List of issues > Series «Mathematics». 2016. Vol. 15

On maximal clones of ultrafunctions of rank 2

S. V. Zamaratskaya, V. I. Panteleev

This paper considers functions mapping a 2-element set A to all nonempty subsets of A. These functions are called ultrafunctions of rank 2. Ultrafunctions of rank 2 can be interpreted as functions on all non-empty subsets of A. Value of ultrafunction on set B ⊆ A is determined as intersection of values on all elements of B, if this intersection is not empty, and as union of these values otherwise. Thus an unltrafunction can be specified by all of its values on elements of A. Superposition of ultrafunctions is determined the same way.

The number of maximal clones for all ultrafunctions of rank 2 is equal to 11 [V. Panteleev, 2009]
This paper studies properties of ultrafunctions with respect of their inclusion in maximal clones K5, S, T0 and T1. These properties give some results concerning clone lattice (e.g., clones of intervals (T0∩T1, T0) and (T0∩T1, T1) are not included in clone S all self-dual and monotone ultrafuncions are included in K1 and K2). Some borders on classes of equivalence number are described (ultrafunctions not included in clones T1 and K5 generate no more than 32 classes of equivalence by relation of belonging to maximal clones). These results can be applied to classification of ultrafunctions by their inclusion in maximal clones.
ultrafunction, clone, base, maximal clone

08A99, 03B50

1. Kazimirov A.S., Panteleev V. I., Tokareva L.V. Classification and Enumeration of Bases in Clone of All Hyperfunctions on Two-Elements Set (in Russia). The bulletin of Irkutsk State University. Mathematics, 2014, vol. 10, pp. 61-78.

2. Panteleev V.I. The Completeness Criterion for Certain Boolean Functions (in Russia). Vestnik of Samara State University. Natural Science Series, 2009, vol. 2, no 68, рр 60-79.

3. Yablonskij S.V. On the Superpositions of Logic Functions (in Russian). Mat. Sbornik, 1952, vol. 30, no 2(72), pp. 329-348.

4. Miyakawa M., Stojmenovi´c I., Lau D., Rosenberg I. Classification and basis enumerations in many-valued logics // Proc. 17th International Symposium on Multi-Valued logic. Boston, 1987, pp. 151-160.

5. Miyakawa M., Stojmenovi´c I., Lau D., Rosenberg I. Classification and basis enumerations of the algebras for partial functions. Proc. 19th International Symposium on Multi-Valued logic. Rostock, 1989, pp. 8-13.

6. Krni´c L. Types of bases in the algebra of logic/ Glasnik matematicko-fizicki i astronomski. Ser. 2, 1965, vol. 20, p. 23-32.

7. Lau D., Miyakawa M. Classification and enumerations of bases in Pk(2)/ Asian-European Journal of Mathematics, 2008, vol. 01, no 02, pp. 255-282.

8. Miyakawa M., Rosenberg I., Stojmenovi´c I. Classification of three-valued logical functions preserving 0. Discrete Applied Mathematics, 1990, vol. 28, pp. 231-249.

9. Post E. L. Two-valued iterative systems of mathematical logic. Annals of Math. Studies. Princeton, Univer. Press, 1941, vol. 5. 122 p.

10. Stojmenovi´c I. Classification of P3 and the enumeration of base of P3. Rev. of Res. 14, Fat. of Sci., Math. Ser. Novi Sad, 1984, pp. 73-80.

Full text (russian)