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