Семантичні властивості композиційно-номінативних модальних логік
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Семантичні властивості композиційно-номінативних модальних логік
|
|
| Creator |
Шкільняк, О.С.
|
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| Description |
На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки реномінативного, кванторного, кванторно-екваційного рівнів. Для цих логік уточнюється поняття композиційно-номінативної модальної системи, досліджуються їх семантичні властивості.
На основе интегрированного интенсионально-экстенсионального подхода к построению логических и программных систем изучаются композиционно-номинативные модальные и темпоральные логики реноминативного, кванторного, кванторно-эквационного уровней. Для этих логик уточняется понятие композицион-нономинативной модальной системы, исследуются их семантические свойства. In this paper composition nominative modal and temporal logics of nominative, quantifier and quantifier-equational levels are studied on the basis of the integrated intentional-extensional approach to construction of systems of logic and software. For such logics, a special refinement of the notion of composition nominative modal system is introduced, and semantic properties are investigated. |
|
| Date |
2010-03-05T15:05:05Z
2010-03-05T15:05:05Z 2009 |
|
| Type |
Article
|
|
| Identifier |
Семантичні властивості композиційно-номінативних модальних логік / О.С. Шкільняк // Пробл. програмув. — 2009. — № 4. — С. 11-23. — Бібліогр.: 8 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/6516 681.3.06 |
|
| Language |
uk
|
|
| Publisher |
Інститут програмних систем НАН України
|
|