Published: 31.10.2001

Full Issue

PDF (Русский)

Papers

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

A.M. Anisov

5-25

PDF (Русский)

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

M.N. Bezhanishvili

26-37

PDF (Русский)

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

D.V. Zaitsev

38-49

PDF (Русский)

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

Y.V. Ivlev

50-64

PDF (Русский)

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

A.S. Karpenko

65-71

PDF (Русский)

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

L.L. Maksimova

72-81

PDF (Русский)

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

V.I. Markin

82-91

PDF (Русский)

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

L.I. Mchedlishvili

92-104

PDF (Русский)

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

N.M. Nagorny

105-128

PDF (Русский)

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

N.N. Nepejvoda

129-143

PDF (Русский)

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

S.A. Pavlov

144-149

PDF (Русский)

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

V.M. Popov

150-154

PDF (Русский)

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

M.N. Rybakov

155-167

PDF (Русский)

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

K.F. Samokhvalov

168-171

PDF (Русский)

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

E.A. Sidorenko

172-186

PDF (Русский)

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

D.P. Skvortsov

187-198

PDF (Русский)

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

E.D. Smirnova

199-209

PDF (Русский)

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

B.I. Fedorov

210-216

PDF (Русский)

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

V.H. Khakhanian

217-223

PDF (Русский)

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

A.V. Chagrov

224-243

PDF (Русский)

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

L.L. Esakia

244-255

PDF (Русский)

A universally abnormality-adaptive logic 2.

D. Batens

256-265

PDF

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

J.-Y. Beziau

266-277

PDF

Games with common belief on payoff function.

A. Blinov

278-281

PDF

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

J.M. Dunn

282-301

PDF

Combined causal logics of minkowski spacetime.

V.L. Vasyukov

302-312

PDF