Geodesic
Classification of multioperations of rank $2$ by $E$-precomplete sets
The Bulletin of Irkutsk State University. Series Mathematics, Tome 34 (2020), pp. 93-108 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

In this paper multioperations defined on a two-element set and their closure operator based on composition operator and the equality predicate branching operator is considered. The composition operator is based on union of sets. The classification of multioperations based on their membership in precomplete sets has been obtained. It is shown that the number of equivalence classes is $129$. All types of bases are described and it is proved that the maximum cardinality of a basis is $4$.
Keywords: closure, equality predicate, multioperation, closed set, precomlete set.
Mots-clés : composition 
@article{IIGUM_2020_34_a6,
     author = {V. I. Panteleev and L. V. Riabets},
     title = {Classification of multioperations of rank~$2$ by $E$-precomplete sets},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {93--108},
     year = {2020},
     volume = {34},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2020_34_a6/}
}
TY  - JOUR
AU  - V. I. Panteleev
AU  - L. V. Riabets
TI  - Classification of multioperations of rank $2$ by $E$-precomplete sets
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2020
SP  - 93
EP  - 108
VL  - 34
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2020_34_a6/
LA  - en
ID  - IIGUM_2020_34_a6
ER  - 
%0 Journal Article
%A V. I. Panteleev
%A L. V. Riabets
%T Classification of multioperations of rank $2$ by $E$-precomplete sets
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2020
%P 93-108
%V 34
%U http://geodesic.mathdoc.fr/item/IIGUM_2020_34_a6/
%G en
%F IIGUM_2020_34_a6
V. I. Panteleev; L. V. Riabets. Classification of multioperations of rank $2$ by $E$-precomplete sets. The Bulletin of Irkutsk State University. Series Mathematics, Tome 34 (2020), pp. 93-108. http://geodesic.mathdoc.fr/item/IIGUM_2020_34_a6/

[1] Kazimirov A. S., Panteleev V. I., Tokareva L. V., “Classification and Enumeration of Bases in Clone of All Hyperfunctions on Two-Elements Set”, The Bulletin of Irkutsk State University. Series Mathematics, 10 (2014), 61–78 (in Russian) | Zbl

[2] Krnić L., “Types of bases in the algebra of logic”, Glasnik matematicko-fizicki i astronomski. Ser. 2, 20 (1965), 23–32 | MR

[3] Lau D., Miyakawa M., “Classification and enumeration of bases in $P_k(2)$”, Asian-European Journal of Mathematics, 01:02 (2008), 255–282 | DOI | MR

[4] Lo Czu Kai, “Maximal closed classes on the Set of Partial Many-valued Logic Functions”, Kiberneticheskiy Sbornik, 25, Mir Publ., M., 1988, 131–141 (in Russian)

[5] Lo Czu Kai, “Completeness theory on Partial Many-valued Logic Functions”, Kiberneticheskiy Sbornik, 25, Mir Publ., M., 1988, 142–157 (in Russian)

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

[7] Machida H., Pantovic J., “On Maximal Hyperclones on $\{0, 1\}$ — a new approach”, Proceedings of 38th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2008, 2008, 32–37

[8] Marchenkov S. S., “On the Expressibility of Functions of Many-Valued Logic in Some Logical-Functional Classes”, Discrete Math. Appl., 1999, no. 4, 563–581 | DOI | MR | Zbl

[9] 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) | DOI | MR | Zbl

[10] Marchenkov S. S., “The Closure Operator with the Equality Predicate Branching on the Set of Partial Boolean Functions”, Discrete Math. Appl., 2008, no. 3, 381–389 | DOI | MR | Zbl | Zbl

[11] Marchenkov S. S., “The $E$-closure Operator on the Set of Partial Many-valued Logic Functions”, Mathematical problems in cybernetics, 19, Fizmatlit Publ., M., 2013, 227–238 (in Russian)

[12] 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)

[13] Miyakawa M., Stojmenović I., Lau D., Rosenberg I., “Classification and basis enumerations in many-valued logics”, Proc. 17th International Symposium on Multi-Valued logic (Boston, 1987), 151–160

[14] Miyakawa M., Stojmenović 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), 8–13 | MR

[15] 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

[16] Panteleev V. I., Riabets L. V., “The Completeness Criterion for Closure Operator with the Equality Predicate Branching on the Set of Multioperations on Two-Element Set”, The Bulletin of Irkutsk State University. Series Mathematics, 29 (2019), 68–85 | DOI | MR | Zbl

[17] Panteleyev V. I., Riabets L. V., “E-closed Sets of Hyperfunctions on Two-Element Set”, J. Sib. Fed. Univ. Math. Phys., 13:2 (2020), 231–241 | DOI | MR

[18] Romov B. A., “Hyperclones on a Finite Set”, Multiple-Valued Logic. An International Journal, 3:2 (1998), 285–300 | Zbl

[19] Yablonskij S. V., “On the Superpositions of Logic Functions”, Mat. Sbornik, 30:2(72) (1952), 329–348 (in Russian)