Ієрархія композиційно-номінативних логік
Запропонована ієрархія композиційно-номінативних логік. Такі логіки будуються в семантико-синтаксичному стилі на основі композиційно номінативного підходу. Місце логіки в ієрархії визначається рівнем абстракції розгляду та обмеженнями класу предикатів. Стосовно екстенсійного аспекту предметних облас...
Saved in:
| Date: | 2004 |
|---|---|
| Main Authors: | Нікітченко, М.С., Шкільняк, С.С. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2004
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1354 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Ієрархія композиційно-номінативних логік/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 4. — С. 3-16. — Бібліогр.: 25 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
-
Ієрархія композиційно-номінативних логік
by: Нікітченко, М.С., et al.
Published: (2004) -
Спектр секвенційних числень першопорядкових композиційно-номінативних логік
by: Шкільняк, С.С.
Published: (2013) -
Семантичні властивості композиційно-номінативних модальних логік
by: Шкільняк, О.С.
Published: (2009) -
Побудова секвенційних числень мультимодальних композиційно-номінативних логік
by: Шкільняк, О.С.
Published: (2013) -
Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
by: Шкільняк, О.С.
Published: (2011)