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

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

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