| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинар С. Л. Кузнецова и В. Б. Шехтмана "Алгебраическая и категорная логика"
|
|||
|
|
|||
|
Семантики интуицонистской логики Олег Мкртчян |
|||
|
Аннотация: В этом докладе мы постараемся провести современный обзор семантики для интуиционистских пропозиционных систем. Мы рассмотрим семантики Крипке, Бета, Драгалина, топологические и алгебраические. Доклад основан на работе Guram Bezhanishvili и Wesley H. Holliday "A semantic hierarchy for intuitionistic logic", 2019. |
|||