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