Введение в структурную теорию доказательств: древесный натуральный вывод

Аннотация:
Следующие несколько семинаров будут посвящены введению в структурную теорию доказательств. Мы рассмотрим базовые идеи альтернатив гильбертовскому аксиоматическому исчислению: естественной дедукции и исчисления секвенций. 
В этот раз мы начнем с естественной дедукции для логики высказываний: вспомним гильбертовскую аксиоматику для КЛВ, объясним мотивацию для построения альтернативных теорий доказательств, введем основные правила естественной дедукции. Если останется время, рассмотрим естественную дедукцию для логики предикатов первого порядка.

Zoom
Идентификатор конференции: 952 3521 7540
Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу elpopova@hse.ru