Секвенційні числення композиційно-номінативних модальних і темпоральних логік
Loading...
Date
2009
Authors
Шкільняк, Оксана
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем досліджено композиційно-номінативні модальні та темпоральні логіки номінативних
рівнів. Для зазначених логік збудовано числення секвенційного типу. Для таких числень доведено
теореми коректності та повноти.
Description
Keywords
Citation
Шкільняк О. С. Секвенційні числення композиційно-номінативних модальних і темпоральних логік / Шкільняк О.С. // Наукові записки НаУКМА. - 2009. - Т. 99 : Комп'ютерні науки. - С. 37-44.