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

Весь выпуск

PDF

Статьи

О модальных логиках с экзистенциальной модальностью.

Н.А. Алёшина, Д.П. Шкатов

5-13

PDF

Понятие реальности и логика.

А.М. Анисов

14-31

PDF

Партия и логика, к истории одного судьбоносного постановления ЦК ВКП(б) 1946 года.

В.А. Бажанов

32-48

PDF

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

Д.В. Баташев

49-53

PDF

Об одной девятизначной паранормальной логике.

Д.В. Баташев, В.М Попов

54-61

PDF

Паранормальная подлогика интуиционистской логики.

Д.В. Баташев, В.М Попов

62-66

PDF

Зарубежные направления в философии математики и их преломление в философско-логической и историко-математической мысли России XVIII - начала XX веков.

Б.В. Бирюков, З.А. Кузичева

67-108

PDF

Метод взаимного перевода индексированных и табличных выводов.

П.И. Быстров

109-118

PDF

Логика компьютерных сетей.

Г. Ванзинг, Я.В. Шрамко

119-145

PDF

Не-фрегевский путеводитель по гуссерлевским и мейнонговским джунглям.

В.Л. Васюков

146-161

PDF

Формальные онтологии как абстрактные логики.

Е.Г. Драгалина-Черная

162-169

PDF

Еще раз о трудностях построения деонтической логики.

Э.Ф. Караваев

170-181

PDF

Погружающие операции и их применение.

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

182-193

PDF

Применение логики Лукасевича для разработки алгоритмов.

С.П. Ковалёв

194-206

PDF

Некоторые особенности первопорядковой кванторной логики знания и мнения.

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

207-210

PDF

Композициональная концептуализация в интенсиональной логике.

И.Б. Микиртумов

211-225

PDF

Страницы минувшего (из истории первой отечественной философской энциклопедии).

М.М. Новосёлов

226-242

PDF

Би-решетки для логики Белнапа и ее обогащения.

С.А. Павлов

243-248

PDF

Обобщающий подход к построению семантики и его методологические основания.

Е.Д. Смирнова

249-262

PDF

Введение единичных терминов в силлогистику Больцано.

Б.И. Федоров

263-271

PDF

Функциональные алгебраические модели для HA и теории множеств с интуиционистской логикой.

В.Х. Хаханян

272-281

PDF

Об изоморфной вложимости конечных булевых и топологических булевых алгебр.

В.И. Хомич

282-292

PDF

Несколько замечаний о естественных минимальных логиках: базисная и формальная логики А. Виссера и их модальные напарники.

А.В. Чагров

293-299

PDF

Non-standard reductions and categorical models in typed lambda-calculus.

Ф. Баррал, Д. Шемуи, С.В. Соловьев

300-315

PDF (English)