1. |
Шкільняк О. С. Дослідження композиційно-номінативних модальних та темпоральних логік: автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / О. С. Шкільняк ; Київ. нац. ун-т ім. Т. Шевченка. — К., 2011. — 19 с. — укp.Запропоновано спеціальне уточнення поняття композиційно-номінативної модальної системи, виділено транзиційні та темпоральні модальні системи. Описано мови, а також семантичні властивості загальних транзиційних і темпоральних композиційно-номінативних логік реномінативного та першопорядкових рівнів. Для логік функціонально-екваційного рівня виділено функціонально стабільні модальні системи. Запропоновано відношення логічного наслідку для множин специфікованих станами формул. Для загальних транзиційних і для темпоральних логік різних рівнів побудовано числення секвенційного типу, які базуються на реляційних семантичних моделях цих логік. Залежно від властивостей відношення досяжності на станах світу одержало різні типи таких числень. Для побудованих числень доведено теореми коректності та повноти. Скачати повний текст
Індекс рубрикатора НБУВ: В128.1,0 + З973-018.02 Шифр НБУВ: РА379498 Пошук видання у каталогах НБУВ
Рубрики:
|