Search academic texts

Information × Registration Number 0414U001434, Candidate dissertation Status к.ф.-м.н. Date 27-02-2014 popup.evolution o Title Investigation and development of algorithms for checking satisfiability in composition-nominative logics. Author Tymofieiev Valentin Georgijovych, popup.head Nikitchenko Mykola Stepanovych popup.opponent Яджак Михайло Степанович popup.opponent Єршов Сергій Володимирович Description Композиційно-номінативні логіки є узагальненням класичних логік на класи часткових предикатів та функцій з нефіксованою арністю. Такі логіки видаються адекватним формалізмом для побудови формальних моделей програм та проведення міркувань над ними. В роботі розглядаються пропозиційні, реномінативні, кванторні, чисті першопорядкові, першопорядкові, багатосортні чисті першопорядкові та багатосортні першопорядкові композиційно-номінативні логіки. Для логік вказаних типів запропоновано методи перевірки виконуваності формул, доведено їх коректність та сформульовано алгоритми такої перевірки. Принциповою ідеєю побудованих алгоритмів є зведення задачі перевірки виконуваності формули в композиційно-номінативній логіці до аналогічної задачі для класичних логік. Registration Date 2014-02-27 popup.nrat_date 2020-04-04 Close