Аннотация:
В работе развивается метод логико-алгебраических уравнений (ЛАУ) – метод построения условий сохранения свойств некоторых обобщений многоосновных алгебраических систем при отображениях их друг в друга, причем критерии сохранения формулируются в терминах понятия канонических распространений этих отображений на ступени Н. Бурбаки. На основе алгоритмов упрощения получаемых решений ЛАУ выделяются классы формул, сохраняющихся при морфизмах одного типа.