програмування, программирование, programming ; система числення, система исчисления ; предикат ; мережа семантична, сеть семантическая ; логіка комп'ютерна, логика компьютерная ; Природничі науки

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

• ББК науковий // Бази даних