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

Весь выпуск

PDF

Статьи

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

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

5-13

PDF

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

К.И. Бахтияров

14-33

PDF

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

Б.В. Бирюков, Л.Г. Бирюкова

34-68

PDF

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

В.Л. Васюков

69-83

PDF

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

А.А. Владимиров

84-94

PDF

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

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

95-108

PDF

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

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

109-120

PDF

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

Д.В. Зайцев, О.М. Григорьев

121-139

PDF

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

А.А. Ильин

140-151

PDF

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

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

152-166

PDF

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

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

167-172

PDF

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

В.И. Маркин

173-190

PDF

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

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

191-239

PDF

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

В.М. Попов

240-245

PDF

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

В.М. Попов

246-250

PDF

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

Н.Н. Преловский

251-255

PDF

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

Н.Е. Томова

256-268

PDF

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

В.И. Шалак

269-280

PDF

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

В.И. Шалак

281-292

PDF

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

В.О. Шангин

293-308

PDF