Published: 30.11.2005

Full Issue

PDF (Русский)

Papers

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

N.A. Alechina, D.P. Shkatov

5-13

PDF (Русский)

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

A.M. Anisov

14-31

PDF (Русский)

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

V.A. Bazhanov

32-48

PDF (Русский)

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

D.V. Batashev

49-53

PDF (Русский)

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

D.V. Batashev, V.M. Popov

54-61

PDF (Русский)

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

D.V. Batashev, V.M. Popov

62-66

PDF (Русский)

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

B.V. Biryukov, Z.A. Kuzicheva

67-108

PDF (Русский)

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

P.I. Bystrov

109-118

PDF (Русский)

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

H. Wansing, Y.V. Sharamko

119-145

PDF (Русский)

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

V.L. Vasyukov

146-161

PDF (Русский)

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

E.G. Dragalina-Chernaya

162-169

PDF (Русский)

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

E.F. Karavaev

170-181

PDF (Русский)

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

I.A. Karpenko

182-193

PDF (Русский)

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

S.P. Kovalyov

194-206

PDF (Русский)

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

E.E. Lednikov

207-210

PDF (Русский)

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

I.B. Mikirtumov

211-225

PDF (Русский)

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

M.M. Novosyolov

226-242

PDF (Русский)

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

S.A. Pavlov

243-248

PDF (Русский)

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

E.D. Smirnova

249-262

PDF (Русский)

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

B.I. Fiodorov

263-271

PDF (Русский)

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

V.Kh. Khakhanian

272-281

PDF (Русский)

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

V.I. Khomich

282-292

PDF (Русский)

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

A.V. Chagrov

293-299

PDF (Русский)

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

F. Barral, D. Chemouil, S. Soloviev

300-315

PDF