Иван Пыльцын//Игровая семантика Межирова для интуиционистской логики

Дата и время: в 16:20 Докладчики: Иван Пыльцын Название: Игровая семантика Межирова для интуиционистской логики Аннотация: В этом докладе мы рассмотрим игровую семантику для интуиционистской логики, рассмотрим примеры и докажем соответствующие теоремы о полноте и корректности. Если останется время, то посмотрим, как обстоит дело с интуиционистской логикой предикатов.