Ставится задача алгоритмизации синтеза критериев переносимости свойств многоосновных алгебраических систем. Используется подход в рамках так называемого метода редукции, разработанного С.Н. Васильевым и основанного на решении логических уравнений. Применение разработанных алгоритмов показано в анализе свойства устойчивости движения общей динамической системы.