Применение формально-логического подхода для описания, классификации и систематической генерации механизмов каталитических процессовстатья