Published: 10.04.2011

Full Issue

PDF (Русский)

Papers

Семантика допустимых множеств оценок для S5. Разрешающая процедура

N.L. Arkhiereev

5-13

PDF (Русский)

Как может рассуждать компьютер в духе булевой многозначности

K.I. Bakhtiyarov

14-33

PDF (Русский)

Александр Иванович Введенский как логик. Часть I

B.V. Biryukov, L.G. Biryukova

34-68

PDF (Русский)

Паранепротиворечивые категории для паранепротиворечивой логики

V.L. Vasyukov

69-83

PDF (Русский)

О понятии конечного множества в конструктивной математике

A.A. Vladimirov

84-94

PDF (Русский)

Хорошо определенные логики

I.A. Gorbunov

95-108

PDF (Русский)

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

L.Yu. Devyatkin

109-120

PDF (Русский)

Две истины — одна логика

D.V. Zaitsev, O.M. Grigoriev

121-139

PDF (Русский)

Традиционная силлогистика с отрицательными терминами

A.A. Ilyin

140-151

PDF (Русский)

На пути к протологике

A.S. Karpenko

152-166

PDF (Русский)

Знание и мнение: их роль в науке и коммуникации

E.E. Lednikov

167-172

PDF (Русский)

Сингулярные расширения силлогистики Лукасевича

V.I. Markin

173-190

PDF (Русский)

Конструктивная математика: обзор достижений, недостатков и уроков. Часть I

N.N. Nepeivoda

191-239

PDF (Русский)

Секвенциальная аксиоматизация паранормальной логики PContPComp

V.M. Popov

240-245

PDF (Русский)

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

V.M. Popov

246-250

PDF (Русский)

Об одном некартезианском расширении системы Е

N.N. Prelovskiy

251-255

PDF (Русский)

Естественные p-логики

N.E. Tomova

256-268

PDF (Русский)

Два подхода к построению логики

V.I. Shalack

269-280

PDF (Русский)

О генетическом методе

V.I. Shalack

281-292

PDF (Русский)

Системы натурального вывода для некоторых логик с истинностными провалами и логик с пресыщенными оценками

V.O. Shangin

293-308

PDF (Русский)