Корректность базисной логики предикатов относительно модифицированного варианта строгой примитивно-рекурсивной реализуемости

Определяется понятие строгой примитивно-рекурсивной реализуемости для формул языка базисной логики предикатов $\mathsf{BQC}$, учитывающее специфические особенности данного языка. Доказывается, что исчисление $\mathsf{BQC}$ корректно относительно этого варианта строгой примитивно-рекурсивной реализуемости.
Библиография: 21 название.