Досліджуються першопорядкові композиційно-номінативні мультимодальні логіки. Для таких логік кванторного рівня запропоновано числення секвенційного типу. Для цих числень доведено теореми коректності та повноти.
In this paper first-order composition-nominative multimodal logics are studied. For the defined logics of quantifier level we introduce sequent calculi. Soundness and completeness theorems are proved for these calculi.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин