Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Научно-исследовательский семинар по математической логике
21 ноября 2018 г., г. Москва, ГЗ МГУ, ауд. 16-04
 


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

Ю. В. Саватеев

Количество просмотров:
Эта страница:166
Youtube:



Аннотация: В докладе предложены секвенциальные исчисления с нефундированными выводами для логики Гжегорчика Grz и слабой логики Гжегорчика wGrz. Для этих исчислений строится оператор удаления сечения как неподвижная точка нерастягивающего отображения в ультраметрическом пространстве.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024