Вивчаються логіки часткових предикатів над іменними множинами - композиційно-номінативні логіки квазіарних преди-катів. Розглянуто ієрархію таких логік. Місце логіки в ієрархії визначено рівнем абстракції розгляду та обмеженнями на клас предикатів. Для логік кванторного рівня побудовано секвенційне числення без обмежень різнокванторності, доведено теорему повноти. Для логік еквітонних предикатів доведено теореми про визначність.
The logics of partial predicates over named sets - composition nominative logics of quasi-ary predicates - are studied. The hierarchy of such logics is considered. The place of a logic in this hierarchy is determined by its abstraction level and by restrictions on classes of its predicates. For logics of the quantifier levelthe sequential calculi without different-quantifier restrictions are constructered. The completeness theorem is proved. For logics of equitone predicates the definability theorems are proved.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
