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

Труды научно-исследовательского семинара Логического центра Института философии РАН. 1993......Page 1 Предисловие......Page 7 Смирнов В.Л. Дефинициальная эквивалентность систем силлогистики......Page 8 Павлов С.А. Логика ложности FL4......Page 15 Быстрое П.И. Релевантные логические исчисления как системы выводов с индексированными формулами......Page 37 Бочаров В А Исчисление предикатов с универсалиями (III. Философские основания)......Page 47 Сидоренко Е.А. Релевантная реляционная семантика с двумирными точками соотнесения......Page 62 Фам Динь Нгьем Релевантная семантика расширенных программ......Page 80 Дишкант Г.П. О логике физики......Page 95 Карпенко А.С. Штрих Шеффера для простых чисел......Page 103 Карпенко А.С., Павлов С.А. Матрицы для независимости аксиомы транзитивности в аксиоматизации классической импликации......Page 108