Для чистих першопорядкових композиційно-номінативних логік однозначних часткових предикатів побудовано секвенційні числення. Семантичною основою такої побудови є властивості відношення логічного наслідку для множин формул. Для цих числень доведено теореми коректності та повноти.
Sequent calculi for pure first-order composition-nominative logics of single-valued partial predicates are constructed. Such calculi are semantically based on properties of logical consequence relation for sets of formulas. The soundness and completeness theorems for these calculi are proved.
