RUS  ENG
Полная версия
СЕМИНАРЫ



О глобальной окрестностной полноте логики доказуемости GLP

Д. С. Шамканов

Математический институт им. В.А. Стеклова Российской академии наук, г. Москва


https://youtu.be/1bp1Ox7i7A8

Аннотация: Мы рассмотрим гильбертовское исчисление с нефундированными выводами для логики доказуемости GLP и покажем, что данная система сильно полна относительно своей глобальной окрестностной семантики.


© МИАН, 2024