Саватеев Ю.В. Секвенциальные исчисления с нефундированными выводами для логик Гжегорчика 21.11.2018

Заседание НИСМЛ 21.11.2018 (запись видеотрансляции). Докладчик: Саватеев Юрий Вячеславович. Соавтор: Шамканов Данияр Салкарбекович. Тема: Секвенциальные исчисления с нефундированными выводами для логик Гжегорчика (НИСМЛ 21.11.2018) В докладе предложены секвенциальные исчисления с нефундированными выводами для логики Гжегорчика Grz и слабой логики Гжегорчика wGrz. Для этих исчислений строится оператор удаления сечения как неподвижная точка нерастягивающего отображения в ультраметрическом пространстве. Научно-исследовательский семинар по математической логике под руководством академика РАН С. И. Адяна, члена-корреспондента РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова (по средам в ауд. 16-04 ГЗ МГУ) Веб-страница семинара: http://lpcs.math.msu.su/rus/nis.htm YouTube-канал семинара: https://www.youtube.com/channel/UCEEPLGdGja3msw4ZBv-lnVw