коллектив Труды научно-исследовательского семинара Логического центра Института философии РАН. Выпуск X

СКАЧАТЬ

Скачать в форматах fb2, pdf, epub

Труды научно-исследовательского семинара Логического центра Института философии РАН. Выпуск X коллектив ГУМАНИТАРНЫЕ НАУКИ. Главное внимание уделяется семантическому и синтаксическому анализу известных и нестандартных исчислений релевантной и четырехзначной логики, а также сравнению различных формальных реконструкций систем силлогистики. Статьи сборника написаны на основе докладов, сделанных на семинаре в 1993 году! Исследуется исчисление предикатов с универсалиями и предлагается один из возможных методов логической формализации понятий физики.

Подобные файлы

www.kafesova.ru © 2011-2017. Река жизни