Для різних відношень логічного наслідку в чистих першопорядкових композиційно-номінативних логіках часткових і логіках неоднозначних квазіарних предикатів побудовано спеціальні секвенційні числення. При побудові використано спеціальні предикати, які визначають наявність значення для змінних. Для цих числень доведено теореми коректності й повноти.
Шифр НБУВ: Ж28079/фіз.-мат.Пошук видання у каталогах НБУВДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"