В докладе будут описаны способы перестройки классических
секвенциальных доказательств в интуиционистские доказательства
тех же секвенций. Будут рассмотрены как доказательства с
сечениями по произвольным формулам, так и с сечениями по
формулам специального вида. Будут также получены верхние
оценки удлинения высоты доказательств при этих перестройках.