|
СЕМИНАРЫ |
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
О глобальной окрестностной полноте логики доказуемости GLP Д. С. Шамканов Математический институт им. В.А. Стеклова Российской академии наук, г. Москва |
|||
Аннотация: Мы рассмотрим гильбертовское исчисление с нефундированными выводами для логики доказуемости GLP и покажем, что данная система сильно полна относительно своей глобальной окрестностной семантики. |