Том 13 (2007) | Логические исследования

Общий метод доказательства разрешимости интуиционистских модальных логик

Н.А. Алёшина, Д.П. Шкатов

5-23

PDF

Вычислительная метамодель реальности и проблема истины

А.М. Анисов

24-46

PDF

Зарубежные направления в философии математики и их преломление в философско-логической и историко-математической мысли России XVIII-начала XX века. (Продолжение)

Б.В. Бирюков, З.А. Кузичева

47-70

PDF

Натуральный вывод для системы логики линейного времени

А.Е. Болотов, А. Бащуковски, О.М. Григорьев, В.О. Шангин

71-94

PDF

Проблема структуры универсальной логики

В.Л. Васюков

95-113

PDF

Непрерывная логика. Основные понятия

В.И. Левин

114-131

PDF

Логика знания и родственных ему понятий

Е.Е. Ледников

132-135

PDF

Модификации семантики Фреге и семантики Данна для сентенциональных логик

С.А. Павлов

136-140

PDF

Логика направленности и изменения Л. Роговского как функциональная система

Н.И. Стешенко

141-156

PDF

Стандартные и нестандартные логики аргументации I

В.К. Финн

157-189

PDF

Свойства ординалов в теории множеств с интуиционистской логикой

В.Х. Хаханян

190-194

PDF

Функциональная алгебраическая модель для S-реализуемости

В.Х. Хаханян

195-198

PDF

К вопросу о конечности конечно-порожденных импликативных полуструктур

В.И. Хомич, А.И. Федосеев

199-214

PDF

Алгоритмическая проблема финитарного семантического следования пропозициональных формул I: контекст и постановка задачи

А.В. Чагров

215-247

PDF

Крах алгоритмической проблематики теории соответствия?

А.В. Чагров, Л.А. Чагрова

248-272

PDF

Альтернативное определение логического следования

В.И. Шалак

273-285

PDF

Логика альтернативного отношения следования