Иван Пыльцын выступил с докладом на семинаре «Современные проблемы математической логики»
24 марта и 7 апреля Иван Пыльцын сделал 2 доклада «Игровая семантика Межирова для интуиционистской логики» и «Игровая семантика Межирова для интуиционистской логики предикатов (продолжение)» на семинаре «Современные проблемы математической логики».
«Игровая семантика Межирова для интуиционистской логики»
Аннотация:
В этом докладе мы рассмотрим игровую семантику для интуиционистской логики, рассмотрим примеры и докажем соответствующие теоремы о полноте и корректности. Если останется время, то посмотрим, как обстоит дело с интуиционистской логикой предикатов.
видео первой части доклада
«Игровая семантика Межирова для интуиционистской логики предикатов (продолжение)»
Аннотация:
В этом докладе мы продолжим рассматривать игровую семантику для интуиционистской логики, но уже рассмотрим предикатный случай, какие проблемы возникают при попытке непосредственного обобщения со случая высказываний, а также затронем проблему сильной полноты.
видео второй части доклада
