Досліджено першопорядкові композиційно-номінативні логіки квазіарних предикатів кванторно-екваційного рівня. Наведено основні семантичні властивості таких логік, зокрема, властивості Х-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.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин