Наукова періодика України | Проблеми програмування | ||
Шкільняк С. С. Композиційно-номінативні логіки безкванторних рівнів / С. С. Шкільняк, Д. Б. Волковицький // Проблеми програмування. - 2016. - № 2-3(спец. вип.). - С. 48-62. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_2-3%28spets.__8 Досліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. Виділено такі рівні цих логік: реномінативний, реномінативний з предикатами слабкої рівності, реномінативний з предикатами строгої рівності, безкванторно-функціональний, безкванторно-функціональний з композицією слабкої рівності, безкванторно-функціональний з композицією строгої рівності. Увагу приділено логікам безкванторно-функціональних рівнів з рівністю. Описано мови та семантичні моделі безкванторних логік, досліджено їх семантичні властивості, зокрема, властивості відношень логічного наслідку для множин формул. Цитованість авторів публікації: Бібліографічний опис для цитування: Шкільняк С. С. Композиційно-номінативні логіки безкванторних рівнів / С. С. Шкільняк, Д. Б. Волковицький // Проблеми програмування. - 2016. - № 2-3(спец. вип.). - С. 48-62. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_2-3(spets. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |