| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
|
|||
|
|
|||
|
Семинар 10. Вложение Int в S4 Григорий Вельмакин |
|||
|
Аннотация: В докладе будет рассказано про трансляцию МакКинси–Гёделя–Тарского, которая вкладывает всякую суперинтуиционистскую логику (включая Int и Cl) в подходящее расширение модальной логики S4. Также будет рассказано о том, как указанная трансляция позволяет переносить интерполяционное свойство Крейга между Int и S4. |
|||