Труды научно-исследовательского семинара логического центра ИФ РАНБиблиотека Нон-фикшн читать электронные книги

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

Предисловие	6
Смирнов В.Л. Дефинициальная эквивалентность систем силлогистики	7
Павлов С.А. Логика ложности FL4	14
Быстров П.И. Релевантные логические исчисления как системы выводов с индексированными формулами	36
Бочаров В.А. Исчисление предикатов с универсалиями (III. Философские основания)	46
Сидоренко Е.А. Релевантная реляционная семантика с двумирными точками соотнесения	61
Фам Динь Нгьем Релевантная семантика расширенных программ	94
Дишкант Г.П. О логике физики	94
Карпенко А.С. Штрих Шеффера для простых чисел	102
Карпенко А.С., Павлов С.А. Матрицы для независимости аксиомы транзитивности в аксиоматизации классической импликации	107

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

Отзывы: нет