математична логіка, математическая логика ; системи логічних рівнянь, системы логических уравнений
Досліджено першопорядкові композиційно-номінативні логіки квазіарних предикатів кванторно-екваційного рівня. Наведено основні семантичні властивості таких логік, зокрема, властивості Х-Y-означеного відношення логічного наслідку. На цій основі для загального випадку логік квазіарних предикатів побудовано числення секвенційного типу, для таких числень доведено теореми коректності та повноти.
First-order composition-nominative logics of quasi-ary predicates of quantifier level are studied. We define basic semantic properties of the introduced logics, particularly the properties of the Х-Y-valued relation of logical consequence. On this basis we construct sequent calculi for the general case of logics of quasi-ary predicates; for such calculi soundness and completeness are proved.
