Geodesic
On the lattice of $ES_I$-closed classes of multifunctions on two-elements set
The Bulletin of Irkutsk State University. Series Mathematics, Tome 38 (2021), pp. 96-111 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

The paper considers multifunctions on a two-element set with superposition and the equality predicate branching operator. The superposition operator is based on the intersection of sets. The main purpose of the work is to describe all closed classes with respect to the considered operators. The equality predicate branching operator allows the task to be reduced to a description of all closed classes generated by 2-variable multifunctions. Using this, it is shown that the lattice of classes closed with respect to the considered operators contains 237 elements. A generating set is specified for each closed class. The result obtained in the paper extends the known result for all closed classes of partial functions on a two-element set.
Keywords: multifunction, equality predicate, closure, precopmlete set, lattice of closed classes.
Mots-clés : superposition 
@article{IIGUM_2021_38_a6,
     author = {V. I. Panteleev and E. S. Taglasov},
     title = {On the lattice of $ES_I$-closed classes of multifunctions on two-elements set},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {96--111},
     year = {2021},
     volume = {38},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2021_38_a6/}
}
TY  - JOUR
AU  - V. I. Panteleev
AU  - E. S. Taglasov
TI  - On the lattice of $ES_I$-closed classes of multifunctions on two-elements set
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2021
SP  - 96
EP  - 111
VL  - 38
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2021_38_a6/
LA  - ru
ID  - IIGUM_2021_38_a6
ER  - 
%0 Journal Article
%A V. I. Panteleev
%A E. S. Taglasov
%T On the lattice of $ES_I$-closed classes of multifunctions on two-elements set
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2021
%P 96-111
%V 38
%U http://geodesic.mathdoc.fr/item/IIGUM_2021_38_a6/
%G ru
%F IIGUM_2021_38_a6
V. I. Panteleev; E. S. Taglasov. On the lattice of $ES_I$-closed classes of multifunctions on two-elements set. The Bulletin of Irkutsk State University. Series Mathematics, Tome 38 (2021), pp. 96-111. http://geodesic.mathdoc.fr/item/IIGUM_2021_38_a6/

[1] Alekseev V.B., Voronenko A.A., “On some closed classes in partial two-valued logic”, Discrete Math. Appl., 6:4 (1994), 58–79 (in Russian) | Zbl

[2] Marchenkov S.S., Closed classes of Boolean functions, Fizmatlit Publ, M., 2000, 128 pp. (in Russian)

[3] Marchenkov S.S., “Closure Operators with Predicate Branching”, Bulletin of Moscow State University. Series 1. Mathematics and Mechanics, 2003, no. 6, 37–39 (in Russian) | Zbl

[4] Marchenkov S.S., “The Closure Operator with the Equality Predicate Branching on the Set of Partial Boolean Functions”, Discrete Math. Appl., 18:4 (2008), 381–389 | DOI | DOI | Zbl

[5] Matveev S.S., “Construction of All $E$-closed Classes of Partial Boolean Functions”, Mathematical problems in cybernetics, 18, Fizmatlit Publ, M., 2013, 239–244 (in Russian)

[6] Panteleev V.I., “The Completeness Criterion for Depredating Boolean Functions”, Vestnik of Samara State University. Natural Science Series, 68:2 (2009), 60–79 (in Russian) | Zbl

[7] Panteleyev V.I., Riabets L.V., “The Closure Operator with the Equality Predicate Branching on the Set of Hyperfunctions on Two-Element Set”, The Bulletin of Irkutsk State University. Series Mathematics, 10 (2014), 93–105 (in Russian) | Zbl

[8] Panteleev V.I., Taglasov E.S., “$ES_I$-closure of rank 2 multi-functions: completeness criterion, classification and types of bases”, Intelligent Systems. Theory and Applications, 25:2 (2021), 55–80 (in Russian)

[9] Soloviev V.D., “Closed classes in $k$-valued logic with a branching operation by predicates”, Discrete Math. Appl., 2:4 (1990), 18–25 (in Russian)

[10] Yanov Yu.I., Muchnik A.A., “On the existence of $k$-valued closed classes without a finite basis”, Reports of the USSR Academy of Sciences, 127 (1959), 44–46 (in Russian) | Zbl

[11] Machida H., “Hyperclones on a Two-Element Set”, Multiple-Valued Logic. An International Journal, 8:4 (2002), 495–501 | DOI | Zbl

[12] Panteleev V.I., Riabets L.V., “$E$-closed Sets of Hyperfunctions on Two-Element Set”, Journal of Siberian Federal University. Mathematics $\$ Physics, 13:2 (2020), 231–241 | DOI | Zbl