математична логіка, математическая логика ; секвенціальні обчислення, секвенциальные исчисления
Досліджено чисті першопорядкові композиційно-номінативні логіки часткових однозначних предикатів. Введено розширення логіки спеціальними предикатами, які визначають наявність значення для змінних. На цій основі для таких логік побудовано числення секвенційного типу. Для цих числень доведено теореми коректності та повноти.
Pure first-order composition-nominative logics of single-valued partial predicates are studied. Extended logics with special variable definedness predicates are introduced. On this basis sequent calculi for the introduced logics are constructed and their soundness and completeness are proved.
