Об интерпретациях предикатных формул, связанных с конструктивной логикойтезисы доклада