Year: 2025
Type: article
Abstract: In classical linear algebra the machine of matrices is widely used. But the classic linear algebra deals with continuous objects. Logical algebra, built by analogy with the classical linear algebra, builds the same models using discrete objects that have logical structure and obey the relevant laws. This leads to a significant difference in the functioning of the constructed models. This article is devoted to matrices, as elements for which the elementary logical elements are taken Boolean constants or finite predicates of arbitrary arity. In the work investigated the features of the operation of reversing of such matrices. All the results obtained are illustrated with clear examples.
Source: InterConf
Authors: Viktor Kruglov, Nataliya Yakimova
Institution: Odesa I. I. Mechnikov National University
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
OpenAlex ID: W7084393063