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