Відношення логічного наслідку для множин формул у композиційно-номінативних логіках
Видавництво:
ВПЦ НаУКМА
Рік:
2011
Сторінок:
С. 22-27
Тип документу:
Стаття
Головний документ:
Національний Наукові записки Національного університету "Києво-Могилянська академія" / Національний, "Києво-Могилянська академія" університет. Т. 125. Комп"ютерні науки.. - Київ: ВПЦ НаУКМА, 2011
Анотація:
Розглянуто відношення логічного наслідку для композиційно-номінантних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Запропоновано різні формалізації відношення логічного наслідку для множин формул.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин