Опубликован: 30.11.2009

Весь выпуск

PDF

Статьи

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

А.М. Анисов

5-30

PDF

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

Б.В. Бирюков

31-57

PDF

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

В.Л. Васюков

58-77

PDF

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

И.А. Горбунов

78-93

PDF

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

Л.Ю. Девяткин

94-105

PDF

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

Д.В. Зайцев

106-115

PDF

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

Е.Ю. Комендантская

116-128

PDF

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

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

129-136

PDF

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

В.И. Маркин

137-149

PDF

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

Н.Н. Непейвода

150-168

PDF

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

С.А. Павлов

169-181

PDF

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

В.М. Попов

182-184

PDF

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

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

185-222

PDF

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

Н.Е. Томова

223-228

PDF

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

В.Х. Хаханян

229-231

PDF

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

М.И. Шейнфинкель

232-246

PDF

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

В.И. Шалак

247-265

PDF

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

В.И. Шалак

266-283

PDF

Truth as value and duty: lessons of mathematics

Ю.И. Манин

284-295

PDF (English)

Formal Methodology

А. Муттанен

296-313

PDF (English)