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

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

Выпуск 10

Форматы: PDF

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

Год: 1994

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

ISBN: 5-201-01857-2

Страниц: 112

Артикул: 44932

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

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

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

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


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

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

Чтобы оставить отзыв, зарегистрируйтесь или войдите