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

книга

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

Здесь можно купить книгу "Труды научно-исследовательского семинара логического центра ИФ РАН " в печатном или электронном виде. Также, Вы можете прочесть аннотацию, цитаты и содержание, ознакомиться и оставить отзывы (комментарии) об этой книге.

Выпуск 10

Форматы: PDF

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

Год: 1994

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

ISBN: 5-201-01857-2

Страниц: 112

Артикул: 44932

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

80 ₽

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

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

Аннотация

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

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

Содержание

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

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

Отзывы

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

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

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