Визначаються формалізми для опису функцій та предикатів над структурованими даними. Такі дані задаються за допомогою абстрактного предикату <-, що інтерпретується як відношення "частина - ціле". Розглядаються питання виразимості функцій та предикатів в мовах структурованих даних. Відомі принципи Е-рефлексії та Е-параметризації узагальнюються на випадок логіки структурованих даних.
Formalisms for description of functions and predicates over structured data are defined. Such data are determined by an abstract predicate <-, which is interpreted as a "pan-whole" relation. Function and predicate expressibility in structured data languages arе studied. Well-known principles of Е-reflection and Е-parameterization аги generalized for logics of structured data.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
