RUS  ENG
Full version
JOURNALS // Bulletin of Irkutsk State University. Series Mathematics // Archive

Bulletin of Irkutsk State University. Series Mathematics, 2020 Volume 34, Pages 93–108 (Mi iigum437)

This article is cited in 3 papers

Algebraic and logical methods in computer science and artificial intelligence

Classification of multioperations of rank $2$ by $E$-precomplete sets

V. I. Panteleev, L. V. Riabets

Irkutsk State University, Irkutsk, Russian Federation

Abstract: 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, composition, precomlete set.

UDC: 519.716

MSC: 03B50, 08A99

Received: 24.10.2020

Language: English

DOI: 10.26516/1997-7670.2020.34.93



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025