Для чистих першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів побудовано спеціальні секвенційні числення, які використовують предикати-індикатори наявності значень для змінних. Такі числення пропоновано для логік кванторного та кванторно-екваційного рівнів. Для цих числень доведено теореми коректності й повноти.
We construct special sequent calculi for purefirst-order composition-nominative logics ofpartial singlevalued, total multiple-valued and partial multiple-valued quasi-ary predicates with using ofspecial variable definedness predicates. Such calculi are proposedfor logics of quantifier level and for logics of quantifier-equational level. The soundness and completeness theorems for the introduced calculi are proved.
