Диагностические пропозициональные формулы

Пусть $L_1$ и $L_2$ – два пропозициональных исчисления. Пропозициональная формула $D(p)$ с единственной переменной $p$ называется диагностической для $L_2$ относительно $L_1$ если для любой формулы $A(p_1,\dots,p_n)$ имеет место: $\vdash_{L_2}A(p_1,\dots,p_n)$ тогда и только тогда, когда $D(p_1),\dots,D(p_n)\vdash_{L_2}A(p_1,\dots,p_n)$. Полностью описаны суперинтуиционистские исчисления, имеющие диагностические формулы относительно интуиционистского и минимального исчислений.
Библиогр. 5.