FPM 2000, ТОМ 6, ВЫПУСК 4, СТР. 1155-1191

ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2000, ТОМ 6, ВЫПУСК 4, СТР. 1155-1191

Пропозициональные формулы, замкнутые в минимальном исчислении

М. В. Патласов

Аннотация

Посмотреть как HTML Посмотреть как рисунок Посмотреть в формате LaTeX



Понятие диагностической пропозициональной формулы было
введено
В. А. Успенским с целью обобщения и уточнения известного результата
А. Н. Колмогорова о связи между интуиционистской логикой и классической.
В настоящей работе найдены все исчисления, имеющие диагностические
формулы относительно минимального исчисления высказываний. С помощью
разработанной здесь техники моделей Крипке попутно получены новые
доказательства некоторых известных результатов.

Полнотекстовая версия статьи в формате PostScript (148 Kb)

URL страницы: http://mech.math.msu.su/~fpm/rus/k00/k004/k00414t.htm
Изменения вносились 12 февраля 2001