Compositional-nominative logics over hierarchical data

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2026
• Heft: 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, що найбільш місткі семантично
• Hauptverfasser: Nikitchenko, M.S., Shkilniak, S.S.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2026
• Schlagworte: UDC 004.4
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/864
• Назва журналу: Problems in programming

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...