Published: 03.10.2002

Full Issue

PDF (Русский)

Papers

Логика неопределенности и неопределенности во времени.

A.M. Anisov

5-31

PDF (Русский)

И. Е. Орлов - логик, философ, ученый. Особенности научного поиска.

V.A. Bazhanov

32-54

PDF (Русский)

Частичные эпистемические логики и «случайные» тождества.

M.N. Bezhanishvili

55-63

PDF (Русский)

Ситуации и смысл: не-не-фрегёвская (метафорическая) логика.

V.L. Vasyukov

64-89

PDF (Русский)

Базисная логика и примитивно рекурсивная реализуемость.

D.A. Viter

90-102

PDF (Русский)

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

Y.V. Ivlev

103-112

PDF (Русский)

Существование и индивидные дескрипции.

E.E. Ledrtikov

113-118

PDF (Русский)

Фундаментальная силлогистика с интенсиональной точки зрения.

V.I. Markin

119-130

PDF (Русский)

Структура значения и компетентность субъекта в логике смысла и денотата.

I.B. Mikirtumov

131-146

PDF (Русский)

Арифметическая семантика для нетрадиционных систем силлогистики.

L.I. Mchedlishvili

147-158

PDF (Русский)

Квазиискусственные объекты.

N.N. Nepejvoda

159-166

PDF (Русский)

От сентенциальной логики к логике символьных выражений.

S.A. Pavlov

167-174

PDF (Русский)

Об одной трехзначной параполной логике.

V.M. Popov

175-178

PDF (Русский)

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

M.N. Rybakov

179-201

PDF (Русский)

Константные формулы в модальных логиках: проблема разрешения.

M.N. Rybakov, A.V. Chagrov

202-220

PDF (Русский)

Реляционная семантика и модели знания.

E.A. Sidorenko

221-236

PDF (Русский)

К вопросу уточнения понятия аналитичности.

E.D. Smirnova

237-244

PDF (Русский)

Система NFI, равнонепротиворечивая с системой куайна NF.

V.H. Khakhaman

245-250

PDF (Русский)

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

A.V. Chagrov

251-263

PDF (Русский)

Обобщенные истинностные значения: решетки и мультирешетки

Y.V. Shramko

264-291

PDF (Русский)

Модальная версия II теоремы Гёделя о неполноте и система Маккинси.

L.L. Esakia

292-300

PDF (Русский)

S5 is a paraconsistent logic and so is first-order classical logic.

J.-Y. Beziau

301-309

PDF

Nested supervaluations for future indefinite contingent vagueness.

A.L. Blinov

310-317

PDF