Стандартные переводы неклассических формул и относительная разрешимость логикстатья