Наукова періодика України | Компьютерная математика | ||
Шкільняк О. С. Семантичні моделі та секвенційні числення транзиційних модальних логік / О. С. Шкільняк // Компьютерная математика. - 2013. - Вып. 1. - С. 141-150. - Режим доступу: http://nbuv.gov.ua/UJRN/Koma_2013_1_19 Досліджено чисті першопорядкові транзиційні модальні логіки часткових предикатів. Описано семантичні моделі та мови таких логік. Для пропонованих логік побудовано числення секвенційного типу. Для цих числень доведено теореми коректності й повноти. Цитованість авторів публікації: Бібліографічний опис для цитування: Шкільняк О. С. Семантичні моделі та секвенційні числення транзиційних модальних логік / О. С. Шкільняк // Компьютерная математика. - 2013. - Вып. 1. - С. 141-150. - Режим доступу: http://nbuv.gov.ua/UJRN/Koma_2013_1_19.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |