Published: 16.01.2007

Full Issue

PDF (Русский)

Papers

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

N.A. Alechina, D.P. Shkatov

5-23

PDF (Русский)

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

A.M. Anisov

24-46

PDF (Русский)

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

B.V. Biryukov, Z.A. Kuzicheva

47-70

PDF (Русский)

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

A.E. Bolotov, A. Bashukovski, O.M. Grigoriev, V.O. Shangin

71-94

PDF (Русский)

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

V.L. Vasyukov

95-113

PDF (Русский)

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

V.I. Levin

114-131

PDF (Русский)

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

E.E. Lednikov

132-135

PDF (Русский)

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

S.A. Pavlov

136-140

PDF (Русский)

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

N.I. Steshenko

141-156

PDF (Русский)

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

V.K. Finn

157-189

PDF (Русский)

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

V.Kh. Khakhanian

190-194

PDF (Русский)

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

V.Kh. Khakhanian

195-198

PDF (Русский)

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

V.I. Khomich, A.I. Fedoseev

199-214

PDF (Русский)

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

A.V. Chagrov

215-247

PDF (Русский)

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

A.V. Chagrov, L.A. Chagrova

248-272

PDF (Русский)

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

V.I. Shalack

273-285

PDF (Русский)

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

V.I. Shalack

286-304

PDF (Русский)