190: Комп'ютерні науки

Permanent URI for this collection

https://ekmair.ukma.edu.ua/handle/123456789/11107

Browse

Browsing 190: Комп'ютерні науки by Subject "logical consequence"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Cеквенційні числення композиційно-номінативних модальних логік немонотонних предикатів
    (2016) Касьянюк, Веда; Малютенко, Людмила; Шкільняк, Оксана
    У статті розглянуто програмно-орієнтовні логічні формалізми – чисті першопорядкові композиційно-номінативні транзиційні модальні логіки немонотонних часткових предикатів. На основі властивостей відношення логічного наслідку для множин специфікованих станами формул для цих логік побудовано числення секвенційного типу. Описано різновиди таких числень, для них доведено теореми коректності та повноти.
  • Thumbnail Image
    Item
    Першопорядкові логіки із квазіарними та n-арними предикатами
    (2016) Нікітченко, Микола; Шкільняк, Степан
    Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Такі формалізми є синтезом класичних першопорядкових логік і композиційно-номінативних логік квазіарних предикатів. Розглянуто семантичні моделі та мови і досліджено семантичні властивості пропонованих логік. Встановлено зв’язок між n-арними та X-арними предикатами, описано нормальні форми. Досліджено відношення логічного наслідку, наведено властивості цих відношень для арних атомарних формул.