Published: 30.11.2009

Full Issue

PDF (Русский)

Papers

Недетерминированная вычислимость: философские основания

A.M. Anisov

5-30

PDF (Русский)

К проблеме приоритета в открытии логической теории релейно-контактных схем. Документ из архива Виктора Ивановича Шестакова

B.V. Biryukov

31-57

PDF (Русский)

Внутренняя логика универсальной логики

V.L. Vasyukov

58-77

PDF (Русский)

Независимая базируемость дедуктивных пропозициональных систем

I.A. Gorbunov

78-93

PDF (Русский)

n-значные матрицы для классической логики высказываний

L.Yu. Devyatkin

94-105

PDF (Русский)

Интуитивная семантика для релевантного следования

D.V. Zaitsev

106-115

PDF (Русский)

Функциональная взаимовыразимость регулярных логик Клини

E.Yu. Komendantskaya

116-128

PDF (Русский)

Семантика первопорядковой динамической логики знания

E.E. Lednikov

129-136

PDF (Русский)

Позитивная силлогистика $C3^{+}$ с константой исчерпываемости

V.I. Markin

137-149

PDF (Русский)

Реверсивные конструктивные логики

N.N. Nepeivoda

150-168

PDF (Русский)

Оператор истины для классической сентенциональной логики и ее расширения на область неправильно построенных формул

S.A. Pavlov

169-181

PDF (Русский)

Некоторые интервалы между простыми паралогиками

V.M. Popov

182-184

PDF (Русский)

Аналитические таблицы для пропозициональной логики Роговского

N.I. Steshenko

185-222

PDF (Русский)

О четырехзначных регулярных логиках

N.E. Tomova

223-228

PDF (Русский)

Об одном свойстве универсумов в моделях реализуемости для интуиционистской теории множеств

V.Kh. Khakhanian

229-231

PDF (Русский)

О кирпичах математической логики

M. Sch_nfinkel

232-246

PDF (Русский)

М.И. Шейнфинкель и комбинаторная логика

V.I. Shalack

247-265

PDF (Русский)

Логический анализ дефинициальной дедукции

V.I. Shalack

266-283

PDF (Русский)

Truth as value and duty: lessons of mathematics

Yu.I. Manin

284-295

PDF

Formal Methodology

A. Muttanen

296-313

PDF