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

Читать фрагмент

книга

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

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

Выпуск 10

Форматы: PDF

Издательство: Институт философии РАН

Год: 1994

Место издания: Москва

ISBN: 5-201-01857-2

Страниц: 112

Артикул: 44932

Электронная книга

80 ₽

Купить и скачать

Содержание

Содержание книги "Труды научно-исследовательского семинара логического центра ИФ РАН "

Предисловие

Смирнов В.Л. Дефинициальная эквивалентность систем силлогистики

Павлов С.А. Логика ложности FL4

Быстров П.И. Релевантные логические исчисления как системы выводов с индексированными формулами

Бочаров В.А. Исчисление предикатов с универсалиями (III. Философские основания)

Сидоренко Е.А. Релевантная реляционная семантика с двумирными точками соотнесения

Фам Динь Нгьем Релевантная семантика расширенных программ

Дишкант Г.П. О логике физики

Карпенко А.С. Штрих Шеффера для простых чисел

Карпенко А.С., Павлов С.А. Матрицы для независимости аксиомы транзитивности в аксиоматизации классической импликации

Внимание!
При обнаружении неточностей или ошибок в описании книги "Труды научно-исследовательского семинара логического центра ИФ РАН (автор )", просим Вас отправить сообщение на почту help@directmedia.ru. Благодарим!