Об операторах логической аппроксимации

Статья представляет собой обобщение и развитие результатов работы Д. А. Бочвара “Меры ядер аксиом свертывания” (Докл. АН СССР, т. 185, № 6, 1969). Рассматриваются некоторые операторы $A_i$ и $A_e$, аппроксимирующие формулы с одной свободной переменной в том смысле, что в логическом исчислении доказуемо $A_i\mathscr F[x]\to\mathscr F[x]$ и $\mathscr F[x]\to A_e\mathscr F[x]$, где $A_i\mathscr F[x]$ и $A_e\mathscr F[x]$ – значения операторов для формулы $\mathscr F[x]$.
Изучается непротиворечивость классов аксиом свертывания, ядрами которых являются значения рассматриваемых операторов.
Библ. – 5 назв.