Cover Image

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

Full description

Saved in:
Bibliographic Details
Published in:PROBLEMS IN PROGRAMMING
Date:2026
Issue:2-3
Pages:48-57
ISSN:1727-4907
Author Affiliations:
  • M.S. Nikitchenko — Kiev Taras Shevchenko National University
  • S.S. Shkilniak — Kiev Taras Shevchenko National University
Keywords:semantics, композиційно-номінативна логіка, predicativity, determinologization, derivational relation, predication, ie. determinatives, syntactical construction, semiotic, що найбільш місткі семантично
Main Authors: Nikitchenko, M.S., Shkilniak, S.S.
Format: Article
Language:Ukrainian
Published: PROBLEMS IN PROGRAMMING 2026
Subjects:
UDC 004.4
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/864
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Problems in programming
Download file: Pdf

Institution

Problems in programming

Similar Items

Similar Items