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