Секвенційні числення композиційно-номінативних модальних і темпоральних логік
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Секвенційні числення композиційно-номінативних модальних і темпоральних логік
|
|
| Creator |
Шкільняк, Оксана
|
|
| Description |
На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем досліджено композиційно-номінативні модальні та темпоральні логіки номінативних рівнів. Для зазначених логік збудовано числення секвенційного типу. Для таких числень доведено теореми коректності та повноти. |
|
| Date |
2015-02-12T09:33:15Z
2015-02-12T09:33:15Z 2009 |
|
| Type |
Article
|
|
| Identifier |
Шкільняк О. С. Секвенційні числення композиційно-номінативних модальних і темпоральних логік / Шкільняк О.С. // Наукові записки НаУКМА. - 2009. - Т. 99 : Комп'ютерні науки. - С. 37-44.
http://ekmair.ukma.edu.ua/handle/123456789/3908 |
|
| Language |
ua
|
|