Логические исследования. Вып. 3

СОДЕРЖАНИЕ

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

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

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

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

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

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

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

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

Смирнов А.В., Новодворский А. Язык описания логических систем.

Смирнов В.А. Поиск доказательств в натуральном интуиционистском исчислении предикатов с ε-символом и предикатом существования.

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

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

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

Катречко С.Л. Интеллектуальный бектрекинг.

Любецкий В.А. Теоремы переноса и алгебра модальных операторов.

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

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

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

Карпенко А.С. Штрих Шеффера для простых чисел.

Герасимова И.А. Семантический анализ музыкальной нотации.

Васюков В.Л. В защиту Метакосмоса.