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

Весь выпуск

PDF

Статьи

Логические модальности как арифметические функции

Н.Л. Архиереев

3-22

PDF

Проблема логического противоречия и русская религиозная философия

Б.В. Бирюков, И.П. Прядко

23-84

PDF

Логика и процедуры поиска вывода

В.Н. Брюшинкин

85-105

PDF

Металогический плюрализм и универсальная логика

В.Л. Васюков

106-126

PDF

Континуальность трехзначных логик: проблемы и гипотезы

А.С. Карпенко

127-133

PDF

Критерии рациональности изменения убеждений: непротиворечивость

Н.П. Козаченко

134-155

PDF

Виктор Иванович Шестаков и логическое моделирование

В.И. Левин

156-198

PDF

Манифест прикладного конструктивизма

Н.Н. Непейвода, А.П. Бельтюков

199-204

PDF

Секвенциальные аксиоматизации простых паралогик

В.М. Попов

205-220

PDF

Структурализм и идентичность математических объектов

М. Резник

221-232

PDF

Импликативные расширения регулярных логик Клини

Н.Е. Томова

233-258

PDF

Логика функций vs логика отношений

В.И. Шалак

259-271

PDF

What is a logic? Towards axiomatic emptiness

Ж.-И. Безьё

272-279

PDF (English)

Formal polynomials, heuristics and proofs in logic

У. Карниэлли

280-294

PDF (English)