Том 3 (1995) | Логические исследования

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

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

5-23

PDF

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

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

24-37

PDF

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

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

38-52

PDF

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

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

53-71

PDF

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

Фам ДиньНгьем

72-80

PDF

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

П.И. Быстров

81-97

PDF

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

С.А. Павлов

98-122

PDF

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

П. Вайнгартнер

123-138

PDF

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

В.А. Смирнов, А. Новодворский

139-162

PDF

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

В.А. Смирнов

163-173

PDF

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

В.Х. Хаханян

174-177

PDF

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

А.Д. Закревский

178-180

PDF

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

А.Е. Болотов, В.А. Бочаров, А.Е. Горчаков

181-186

PDF

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

С.Л. Катречко

187-204

PDF

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

В. А. Любецкий

205-232

PDF

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

А. М. Анисов

233-256

PDF

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

А.Л. Блинов

257-275

PDF

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

В.Л. Васюков

276-291

PDF

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

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

292-313

PDF

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

И.А. Герасимова

314-351

PDF

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