Published: 01.11.1995

Full Issue

PDF (Русский)

Papers

И.Кант И Гильбертовская теория доказательств (роль идеальных образов у Д.Гильберта и И.Канта).

E .D . Smirnova

5-23

PDF (Русский)

Семантика возможных миров: от Лейбницевской к Юмовской.

E. A . Sidorenko

24-37

PDF (Русский)

Сравнение дедуктивной силы реализуемых пропозициональных формул.

D .P . Skvortsov

38-52

PDF (Русский)

Реляционная семантика релевантных исчислений.

E. A . Sidorenko

53-71

PDF (Русский)

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

Fam DingNgyem

72-80

PDF (Русский)

Секвенциальное исчисление формул с временными параметрами.

P .I. Bystrov

81-97

PDF (Русский)

Классификация трех- и четырехзначных логик в рамках логики ложности fl4.

S A . Pavlov

98-122

PDF (Русский)

Логика квантовой механики, базирующаяся на классической.

P. Weingartner

123-138

PDF (Русский)

Язык описания логических систем.

A .V . Smirnov, A . Novodvorsky

139-162

PDF (Русский)

Поиск доказательств в натуральном интуиционистском исчислении предикатов с $\varepsilon$- символом и предикатом существования.

A .V . Smirnov

163-173

PDF (Русский)

О допустимости правила маркова в интуиционистской теории множеств.

V.Kh. Khakhanian

174-177

PDF (Русский)

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

A .D . Zakrevsky

178-180

PDF (Русский)

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

A .E . Bolotov, V.A . Bocharov, A .E . Gorchakov

181-186

PDF (Русский)

Интеллектуалньый бектрекинг.

S.L. Katrechko

187-204

PDF (Русский)

Теоремы переноса и алгебра модальных операторов.

V.A . Lubetsky

205-232

PDF (Русский)

Абстрактная вычислимость и язык программирования авт.

A .M . Anisov

233-256

PDF (Русский)

Семантические игры со случайными ходами.

A .L . Blinov

257-275

PDF (Русский)

Развивая Тарского: котопос теорий.

V.L. Vasyukov

276-291

PDF (Русский)

Штрих Шеффера для простых чисел.

A .S . Karpenko

292-313

PDF (Русский)

Семантический анализ музыкальной нотации.

I. A . Gerasimova

314-351

PDF (Русский)

В защиту метакосмоса.

V.L. Vasyukov

352-357

PDF (Русский)