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

Весь выпуск

PDF

Статьи

Свойства времени.

А.М. Анисов

5-25

PDF

Исчисления частичных предикатов хао вана и их расширения, допускающие итерацию» импликации.

М.Н. Бежанишвили

26-37

PDF

еория релевантного следования iii. Комбинаторная семантика TE

Д.В. Зайцев

38-49

PDF

Квазиматричная логика - основа теории фактических (физических) модальностей.

Ю.В. Ивлев

50-64

PDF

Подструктурные логики: гильбертовский подход.

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

65-71

PDF

Неявная определимость в паранепротиворечивых расширениях минимальной логики.

Л.Л. Максимова

72-81

PDF

Интенсиональная семантика традиционной силлогистики.

В.И. Маркин

82-91

PDF

Исчисления отбрасываемых формул для нетрадиционных систем позитивной силлогистики.

Л.И. Мчедлишвили

92-104

PDF

К вопросу о непротиворечивости классической формальной арифметики.

Н.М. Нагорный

105-128

PDF

О формализации неформализуемого.

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

129-143

PDF

Комбинированные логики В. А. Смирнова и логика с операторами истинности и ложности.

С.А. Павлов

144-149

PDF

Погружение интуиционистского пропозиционального исчисления в его позитивный фрагмент.

В.М. Попов

150-154

PDF

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

М.Н. Рыбаков

155-167

PDF

К вопросу о природе времени.

К.Ф. Самохвалов

168-171

PDF

Теорема дедукции для неклассических исчислений: два подхода.

Е.А. Сидоренко

172-186

PDF

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

Д.П. Скворцов

187-198

PDF

О загадке контекстов мнения. Подход к семантике интенсиональных систем

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

199-209

PDF

Б. Больцано как предшественник конструктивизма.

Б.И. Федоров

210-216

PDF

Предикаты реализуемости для теории множеств.

В.Х. Хаханян

217-223

PDF

К вопросу об обратной математике модальной логики.

А.В. Чагров

224-243

PDF

Слабая транзитивность - реституция.

Л.Л. Эсакиа

244-255

PDF

A universally abnormality-adaptive logic 2.

D. Batens

256-265

PDF (English)

What is propositional classical logic? (a study in universal logic).

J.-Y. Beziau

266-277

PDF (English)

Games with common belief on payoff function.

A. Blinov

278-281

PDF (English)

Ternary relational semantics and beyond: programs as arguments (data) and programs as functions (programs).

J.M. Dunn

282-301

PDF (English)

Combined causal logics of minkowski spacetime.

V.L. Vasyukov

302-312

PDF (English)