Laboratory of Mathematical Logic at PDMI

Вторник, 5 ноября, Zoom. Начало в 14:00.

Докладчик: В.П. Оревков (ПОМИ).

Тема: Преобразование классических доказательств в интуиционистские.

Abstract

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