We consider systems of inclusions with unknowns and coefficients in multioperations of finite rank. An algorithm for solving such systems by the method of reduction to Boolean equations using superposition representation of multioperations by Boolean space matrices is given. Two methods for solving Boolean equations with many unknowns are described for completeness. The presentation is demonstrated by examples: the representation of the superposition of multioperations by Boolean space matrices; solving a Boolean equation by analytical and numerical methods; and finding solutions to an inclusion with one unknown. The resulting algorithm can be applied to the development of logical inference systems for multioperator logics.

Nikolai Peryaev, Dr. Sci. (Phys.–Math.), Prof., Saint Petersburg Electrotechnical University ”LETI”, 5, Professor Popov st., Saint Petersburg, 197376, Russian Federation, tel.:(812)346-44-87, email: nikolai.baikal@gmail.com

Peryazev N.A. Systems of Inclusions with Unknowns in Multioperations. The Bulletin of Irkutsk State University. Series Mathematics, 2021, vol. 38, pp. 112-123. https://doi.org/10.26516/1997-7670.2021.38.112

1. Bohmann D, Posthof H. Binary dynamical systems. Moscow, Energoatomizdat Publ., 1986, 400 p. (in Russian).
2. Levchenkov V.S. Analytical form of the solution of Boolean equations. Doklady RAN, 1999, vol. 369, no. 3, pp. 325-328. (in Russian)
3. Levchenkov V.S. Boolean equations. Moscow, VMiK MGU Publ., 1999, 69 p. (in Russian)
4. 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 (in Russian)
5. Peryazev N.A. Galois’s theory for finite algebras of operations and multioperations of a rank 2. The Bulletin of Irkutsk State University. Series Mathematics, 2019, vol. 28, pp. 113-122. https://doi.org/10.26516/1997-7670.2019.28.113 (in Russian)
6. Peryazev N.A. Identities in algebras of multioperations of fixed dimension. The Bulletin of Irkutsk State University. Series Mathematics, 2019, vol. 29, pp. 86-97. https://doi.org/10.26516/1997-7670.2019.29.86 (in Russian)
7. Peryazev N.A. Algorithm for finding a solution to a system of inequalities with unknowns in multioperations. International conference ”Maltsev readings”. Novosibirsk, Institute of Mathematics SB RAS Publ., 2021, 71 p. (in Russian)
8. Peryazev N.A. Representation of algebras of multioperations by spatial matrices. Proceedings of the XVIII International Conference Algebra, number theory and discrete geometry: modern problems, applications and problems of history. Tula, Publishing house of TSPU, 2020, pp. 107-111. (in Russian)
9. Rige J. Binary relations, closures, Galois correspondences.Cybernetic collection, Moscow, Mir Publ., 1963, iss. 7, pp. 129-185. (in Russian)
10. Sokolov N.P. Spatial matrices and their applications. Moscow, GIFML Publ., 1960, 300 p. (in Russian)