Ієрархія композиційно-номінативних логік
Запропонована ієрархія композиційно-номінативних логік. Такі логіки будуються в семантико-синтаксичному стилі на основі композиційно номінативного підходу. Місце логіки в ієрархії визначається рівнем абстракції розгляду та обмеженнями класу предикатів. Стосовно екстенсійного аспекту предметних облас...
Збережено в:
| Дата: | 2004 |
|---|---|
| Автори: | Нікітченко, М.С., Шкільняк, С.С. |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1354 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Ієрархія композиційно-номінативних логік/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 4. — С. 3-16. — Бібліогр.: 25 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Ієрархія композиційно-номінативних логік
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004) -
Спектр секвенційних числень першопорядкових композиційно-номінативних логік
за авторством: Шкільняк, С.С.
Опубліковано: (2013) -
Семантичні властивості композиційно-номінативних модальних логік
за авторством: Шкільняк, О.С.
Опубліковано: (2009) -
Побудова секвенційних числень мультимодальних композиційно-номінативних логік
за авторством: Шкільняк, О.С.
Опубліковано: (2013) -
Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
за авторством: Шкільняк, О.С.
Опубліковано: (2011)