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

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

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

Аннотация

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

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

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

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