Наукова періодика України Вісник Київського національного університету імені Тараса Шевченка

Шкільняк О. С. 
Модальні логіки немонотонних часткових предикатів / О. С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2015. - Вип. 3. - С. 141-147. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2015_3_27
Досліджено нові класи програмно-орієнтованих логічних формалізмів - чисті першопорядкові транзиційні модальні логіки часткових немонотонних предикатів. Описано властивості відношення логічного наслідку для множин специфікованих станами формул. На цій основі для модальних логік немонотонних предикатів запропоновано числення секвенційного типу. Вказано умови замкненості секвенцій, описано різновиди таких числень, наведено відповідні секвенційні форми.
  Повний текст PDF - 221.191 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Шкільняк О.

    • Бібліографічний опис для цитування:

    Шкільняк О. С. Модальні логіки немонотонних часткових предикатів / О. С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2015. - Вип. 3. - С. 141-147. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2015_3_27.
    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Шкільняк Оксана Степанівна (фізико-математичні науки)
    •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського