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

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