Досліджені фінітарні логіки часткових предикатів над іменними множинами. Розглянута ієрархія таких логік. Для логік кванторного та функціонально-екваційного рівня побудовані секвенційні числення без обмежень різнокванторності, доведені теореми повноти.
The finitary logics of partial predicates over named sets are investigated The hierarchy of such logics is considered. For logics of the quantifier level and of the functional-equation level the sequential calculi without different-quantifier restrictions are constructered. The completeness theorems are proved.
