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

Voir la notice de l'article provenant de la source Math-Net.Ru

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},
     publisher = {mathdoc},
     volume = {29},
     year = {2019},
     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
PB  - mathdoc
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
%I mathdoc
%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/