Расширенный поиск
Труды научно-исследовательского семинара логического центра Института философии РАН 1993
1994Труды научно-исследовательского семинара логического центра Института философии РАН. 1993 / РАН. Ин-т философии; Ред. В.А.Смирнов. — М.: ИФ РАН, 1994. — 109 с.
Предоставлено Институтом философии РАН
-
Аннотация
-
Содержание
Статьи сборника написаны на основе докладов, сделанных на семинаре в 1993 году. Главное внимание уделяется семантическому и синтаксическому анализу известных и нестандартных исчислений релевантной и четырехзначной логики, а также сравнению различных формальных реконструкций систем силлогистики. Исследуется исчисление предикатов с универсалиями и предлагается один из возможных методов логической формализации понятий физики.
Предисловие
Смирнов В.А. Дефинициальная эквивалентность систем силлогистики
Павлов С.А. Логика ложности FLA
Быстров П.И. Релевантные логические исчисления как системы выводов с индексированными формулами
Бочаров Б.А. Исчисление предикатов с универсалиями (III. Философские основания)
Сидоренко Е.А. Релевантная реляционная семантика с двумирными точками соотнесения
Фам Динь Hгьем Релевантная семантика расширенных программ
Дишкант Г.П. О логике физики
Карпенко А.С. Штрих Шеффера для простых чисел
Карпенко А.С., Павлов С.А. Матрицы для независимости аксиомы транзитивности в аксиоматизации классической импликации
Выделите её и нажмите Ctrl + Enter