Для чистих першопорядкових композиційно-номінативних логік однозначних часткових предикатів побудовано секвенційні числення. Семантичною основою такої побудови є властивості відношення логічного наслідку для множин формул. Для цих числень доведено теореми коректності та повноти.
Sequent calculi for pure first-order composition-nominative logics of single-valued partial predicates are constructed. Such calculi are semantically based on properties of logical consequence relation for sets of formulas. The soundness and completeness theorems for these calculi are proved.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин