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

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

Год: 1994

ISBN: 5-201-01857-2

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

Форматы:

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

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

Читать фрагмент
Регистрация

30 секунд

Оплата

2 минуты

Получение

1 клик

Безопасность платежа
гарантирует

80 у
Чтобы получить книгу осталось лишь

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