Пятница 25.05. В.П. Оревков: "Структура секвенций в интуиционистских доказательствах в исчислении предикатов"

Пятница, 25 мая, 203. Начало в 15:00.

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

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

Abstract

В докладе будут рассмотрены свойства секвенций, которые позволяют моделировать в интуиционистском исчислении предикатов введение сколемовских функций. Также будут рассмотрены свойства, связанные с теоремой Харропа о дизъюнкции и существовании в интуиционистских доказательствах.