Geodesic
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, Tome 29 (2019), pp. 68-85
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

Multioperations are operations from a finite set A to set of all subsets of A. The usual composition operator leads to a continuum of closed sets. Therefore, the research of closure operators, which contain composition and other operations becomes necessary. In the paper, the closure of multioperations that can be obtained using the operations of adding dummy variables, identifying variables, composition operator, and operator with the equality predicate branching is studied. We obtain eleven precomplete closed classes of multioperations of rank 2 and prove the completeness criterion. The diagram of inclusions for one of the precomplete class is presented.
Keywords: closure, equality predicate, multioperation, closed set, completeness criterion.
Mots-clés : composition 
@article{IIGUM_2019_29_a6,
     author = {V. I. Panteleev and L. V. Riabets},
     title = {The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {68--85},
     year = {2019},
     volume = {29},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2019_29_a6/}
}
TY  - JOUR
AU  - V. I. Panteleev
AU  - L. V. Riabets
TI  - The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2019
SP  - 68
EP  - 85
VL  - 29
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2019_29_a6/
LA  - en
ID  - IIGUM_2019_29_a6
ER  - 
%0 Journal Article
%A V. I. Panteleev
%A L. V. Riabets
%T The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2019
%P 68-85
%V 29
%U http://geodesic.mathdoc.fr/item/IIGUM_2019_29_a6/
%G en
%F IIGUM_2019_29_a6
V. I. Panteleev; L. V. Riabets. 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, Tome 29 (2019), pp. 68-85. http://geodesic.mathdoc.fr/item/IIGUM_2019_29_a6/

[1] Doroslovački R., Pantović J., Vojvodić G., “One Interval in the Lattice of Partial Hyperclones”, Chechoslovak Mathematical Journal, 55:3 (2005), 719–724 | DOI | MR | Zbl

[2] Lau D., Function Algebras on Finite Sets. A basic course on many-valued logic and clone theory, Springer-Verlag, Berlin, 2006, 668 pp. | MR | Zbl

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

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

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

[6] 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, 32–37

[7] Marchenkov S. S., “On the Expressibility of Functions of Many-Valued Logic in Some Logical-Functional Classes”, Discrete Math. Appl., 9:6 (1999), 563–581 | DOI | MR | MR | Zbl

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

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

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

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

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

[13] Panteleev V. I., “Completeness Criterion for Underdetermined Partial Boolean Functions”, Vestnik Novosibirsk State University. Series Mathematics, 9:3 (2009), 95–114 (in Russian) | Zbl

[14] Panteleev 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

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