Досліджено задачу перевірки виконуваності формул у композиційно-номінативних логіках кванторно-екваційного рівня. Розглянуто логіки із композицією слабкої рівності. Доведено, що задача перевірки виконуваності може бути частково зведена до аналогічної задачі у класичних логіках предикатів першого порядку із рівністю. Запропонований метод надає змогу застосовувати наявні процедури перевірки виконуваності для класичних логік для вирішення поставленої задачі, але є неповним.

• Тимофєєв Валентин Георгійович (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"