List of issues > Series «Mathematics». 2020. Vol. 34
Classification of Multioperations of Rank 2 by E-precomplete Sets
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.
Vladimir Panteleyev, Dr. Sci. (Phys.–Math.), Prof., Irkutsk State University, 1, K. Marx st., Irkutsk, 664003, Russian Federation, tel.: +7(3952)200567, e-mail: vl.panteleyev@gmail.com
Leonid Riabets, Cand. Sci. (Phys.–Math.), Assoc. Prof., Irkutsk State University, 1, K. Marx st., Irkutsk, 664003, Russian Federation, tel.: +7(3952)242214, e-mail: l.riabets@gmail.com
Panteleev V.I., Riabets L.V. Classification of Multioperations of Rank 2 by E-precomplete Sets. The Bulletin of Irkutsk State University. Series Mathematics, 2020, vol. 34, pp. 93-108. https://doi.org/10.26516/1997-7670.2020.34.93
- 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, 2014, vol. 10, pp. 61-78. (in Russian)
- Krnic L. Types of bases in the algebra of logic. Glasnik matematicko-fizicki i astronomski. Ser. 2, 1965, vol. 20, p. 23-32.
- Lau D., Miyakawa M. Classification and enumeration of bases in Pk(2). Asian-European Journal of Mathematics, 2008, vol. 01, no 02, pp. 255-282.
- Lo Czu Kai. Maximal closed classes on the Set of Partial Many-valued Logic Functions. Kiberneticheskiy Sbornik, Moscow, Mir Publ., 1988, vol. 25, pp. 131-141. (in Russian)
- Lo Czu Kai. Completeness theory on Partial Many-valued Logic Functions. Kiberneticheskiy Sbornik, Moscow, Mir Publ., 1988, vol. 25, pp. 142-157. (in Russian)
- Machida H. Hyperclones on a Two-Element Set. Multiple-Valued Logic. An International Journal, 2002, no. 8(4), pp. 495-501.
- 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, pp. 32-37.
- Marchenkov S.S. On the Expressibility of Functions of Many-Valued Logic in Some Logical-Functional Classes. Discrete Math. Appl., 1999, no. 4, pp. 563-581. https://doi.org/10.4213/dm400
- Marchenkov S.S. Closure Operators with Predicate Branching. Bulletin of Moscow State University. Series 1. Mathematics and Mechanics, 2003, no. 6, pp. 37–39. (in Russian)
- Marchenkov S.S. The Closure Operator with the Equality Predicate Branching on the Set of Partial Boolean Functions. Discrete Math. Appl., 2008, no. 3, pp. 381- 389. https://doi.org/10.4213/dm1015
- Marchenkov S.S. The E-closure Operator on the Set of Partial Many-valued Logic Functions. Mathematical problems in cybernetics, Moscow, Fizmatlit Publ., 2013, vol. 19, pp. 227–238. (in Russian)
- Matveev S.S. Construction of All E-closed Classes of Partial Boolean Functions. Mathematical problems in cybernetics, Moscow, Fizmatlit Publ., 2013, vol. 18, pp. 239-244. (in Russian)
- Miyakawa M., Stojmenovic I., Lau D., Rosenberg I. Classification and basis enumerations in many-valued logics. Proc. 17th International Symposium on Multi-Valued logic. Boston, 1987, pp. 151-160.
- Miyakawa M., Stojmenovic 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, pp. 8-13.
- 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, 2014, vol. 10, pp. 93-105. (in Russian)
- Panteleev V.I., Riabets L.V. The Completeness Criterion for Closure Operator with the Equality Predicate Branching on the Set of Multioperations on TwoElement Set. The Bulletin of Irkutsk State University. Series Mathematics, 2019, vol. 29, pp. 68–85. https://doi.org/10.26516/1997-7670.2019.29.68
- Panteleyev V.I., Riabets L.V. E-closed Sets of Hyperfunctions on Two-Element Set. J. Sib. Fed. Univ. Math. Phys., 2020, vol. 13, no. 2, pp. 231-241. https://doi.org/10.17516/1997-1397-2020-13-2-231-241
- Romov B.A. Hyperclones on a Finite Set. Multiple-Valued Logic. An International Journal, 1998, vol. 3(2), pp. 285-300.
- Yablonskij S.V. On the Superpositions of Logic Functions. Mat. Sbornik, 1952, vol. 30, no. 2(72), pp. 329-348. (in Russian)