0
Труды научно-исследовательского семинара логического центра ИФ РАН
Информация о книге:

Издательство: ИФ РАН

Год: 1994

ISBN: 5-201-01857-2

Кол-во страниц: 112

Формат: pdf

Дисциплины:
Жанры:

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

(0)
Порекомендовать в соцсетях

В наличии
Аннотация
Статьи сборника написаны на основе докладов, сделанных на семинаре в 1993 году. Главное внимание уделяется семантическому и синтаксическому анализу известных и нестандартных исчислений релевантной и четырехзначной логики, а также сравнению различных формальных реконструкций систем силлогистики. Исследуется исчисление предикатов с универсалиями и предлагается один из возможных методов логической формализации понятий физики.
Читайте также: