Ваша оценка0
(0)
Труды научно-исследовательского семинара логического центра ИФ РАН
Статьи сборника написаны на основе докладов, сделанных на семинаре в 1993 году. Главное внимание уделяется семантическому и синтаксическому анализу известных и нестандартных исчислений релевантной и четырехзначной логики, а также сравнению различных формальных реконструкций систем силлогистики. Исследуется исчисление предикатов с универсалиями и предлагается один из возможных методов логической формализации понятий физики.
Издательство:
ISBN:
5-201-01857-2
Год издания:
1994
Язык:
Русский
112 стр.
Возрастные ограничения:
18+
Рейтинг LiveLib
0
0 оценок
Ваша оценкаРецензии
На эту книгу еще нет ни одной рецензии. Ваша может стать первой.
Цитаты
Еще не добавлена ни одна цитата из книги. Ваша может стать первой.
