Семинары
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Календарь
Поиск
Регистрация семинара
RSS
Ближайшие семинары
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
22 июня 2020 г.
17:30
, г. Москва, online
О глобальной окрестностной полноте логики доказуемости GLP
Д. С. Шамканов
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Видеозаписи:
MP4
1,491.6 Mb
Количество просмотров:
Эта страница:
211
Видеофайлы:
38
Youtube:
https://youtu.be/1bp1Ox7i7A8
Аннотация:
Мы рассмотрим гильбертовское исчисление с нефундированными выводами для логики доказуемости GLP и покажем, что данная система сильно полна относительно своей глобальной окрестностной семантики.
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024