Geodesic
Systems of inclusions with unknowns in multioperations
The Bulletin of Irkutsk State University. Series Mathematics, Tome 38 (2021), pp. 112-123
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

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.
Keywords: multioperation, Boolean equation
Mots-clés : inclusion, spatial matrix, term. 
@article{IIGUM_2021_38_a7,
     author = {N. A. Peryazev},
     title = {Systems of inclusions with unknowns in multioperations},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {112--123},
     year = {2021},
     volume = {38},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2021_38_a7/}
}
TY  - JOUR
AU  - N. A. Peryazev
TI  - Systems of inclusions with unknowns in multioperations
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2021
SP  - 112
EP  - 123
VL  - 38
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2021_38_a7/
LA  - en
ID  - IIGUM_2021_38_a7
ER  - 
%0 Journal Article
%A N. A. Peryazev
%T Systems of inclusions with unknowns in multioperations
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2021
%P 112-123
%V 38
%U http://geodesic.mathdoc.fr/item/IIGUM_2021_38_a7/
%G en
%F IIGUM_2021_38_a7
N. A. Peryazev. Systems of inclusions with unknowns in multioperations. The Bulletin of Irkutsk State University. Series Mathematics, Tome 38 (2021), pp. 112-123. http://geodesic.mathdoc.fr/item/IIGUM_2021_38_a7/

[1] Bohmann D, Posthof H., Binary dynamical systems, Energoatomizdat Publ, M., 1986, 400 pp. (in Russian)

[2] Levchenkov V. S. Analytical form of the solution of Boolean equations, Doklady RAN, 369:3 (1999), 325–328 (in Russian)

[3] Levchenkov V. S., Boolean equations, VMiK MGU Publ, M., 1999, 69 pp. (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, 34 (2020), 93–108 (in Russian) | DOI | DOI | Zbl

[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, 28 (2019), 113–122 (in Russian) | DOI | Zbl

[6] Peryazev N. A., “Identities in algebras of multioperations of fixed dimension”, The Bulletin of Irkutsk State University. Series Mathematics, 29 (2019), 86–97 (in Russian) | DOI | Zbl

[7] Peryazev N. A., “Algorithm for finding a solution to a system of inequalities with unknowns in multioperations”, International conference “Maltsev readings”, Institute of Mathematics SB RAS Publ, Novosibirsk, 2021, 71 (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, Publishing house of TSPU, Tula, 2020, 107–111 (in Russian)

[9] Rige J., “Binary relations, closures, Galois correspondences”, Cybernetic collection, 7, Mir Publ, M., 1963, 129–185 (in Russian)

[10] Sokolov N. P., Spatial matrices and their applications, GIFML Publ, M., 1960, 300 pp. (in Russian)