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

• Шкільняк Оксана Степанівна (фізико-математичні науки)

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