Для різних відношень логічного наслідку в чистих першопорядкових композиційно-номінативних логіках часткових і логіках неоднозначних квазіарних предикатів побудовано спеціальні секвенційні числення. При побудові використано спеціальні предикати, які визначають наявність значення для змінних. Для цих числень доведено теореми коректності й повноти
We construct special sequent calculi for various relations of pure first-order composition-nominative logics of partial and of logics of multi-valued quasiarypredicates. Special variable definedness predicates are used for the construction. For the proposed calculi soundness and completeness theorems are proved
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин