Зображення обкладинки

Compositional-nominative logics over hierarchical data

New logics more adequate for property descriptions of functions and predicates over hierarchical data are constructed. A characteristic fea-ture of such logics is use of composite names in their languages. Semantic properties of such logics are investigated, corresponding sequent calculi are defined...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в:PROBLEMS IN PROGRAMMING
Дата:2026
Випуск:2-3
Сторінки:48-57
ISSN:1727-4907
Автори та афіліації:
  • M.S. Nikitchenko — Kiev Taras Shevchenko National University
  • S.S. Shkilniak — Kiev Taras Shevchenko National University
Ключові слова:semantics, композиційно-номінативна логіка, predicativity, determinologization, derivational relation, predication, ie. determinatives, syntactical construction, semiotic, що найбільш місткі семантично
Автори: Nikitchenko, M.S., Shkilniak, S.S.
Формат: Стаття
Мова:Українська
Опубліковано: PROBLEMS IN PROGRAMMING 2026
Теми:
UDC 004.4
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/864
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

Problems in programming

Схожі ресурси

Схожі ресурси