секвенційні числення, секвенциальные исчисления ; секвенційне дерева, секвенциальные дерева ; квазари, квазары ; логіка предикатів, логика предикатов, predicate logic
Досліджено відношення сильного логічного наслідку в чистих першопорядкових логіках часткових однозначних квазіарних предикатів. Для цього відношення побудовано секвенційні числення та доведено їх коректність і повноту.
Для такої побудови використано спеціальні предикати, які визначають наявність значення для змінних.
Исследовано отношение сильного логического следствия в чистых першопорядкових логиках частичных однозначных квазиарних предикатов. Для этого отношения построены секвенциальные исчисленияи доказана их коректность и полноту. Для такого построения использованы специальные предикаты, определяющие наличие значения для переменных.
Relation of strong logical consequence of pure first-order logics of partial single-valued quasi-ary predicatesis study. For this relation sequent calculi are constructed, the soundness and completeness of these calculi are proved. For this construction special variable definedness predicates are used.
