| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
|
|||
|
|
|||
|
Логика Кузнецова-Муравицкого и семантика компьютерных языков Д. С. Шамкановab a Математический институт им. В.А. Стеклова Российской академии наук, г. Москва b Национальный исследовательский университет "Высшая школа экономики", г. Москва |
|||
|
Аннотация: Логика Кузнецова-Муравицкого представляет собой интуиционистскую модальную логику, введенную Кузнецовым в качестве интуиционистского аналога логики Гёделя-Лёба. При исследовании денотационной семантики компьютерных языков было замечено, что основная аксиома этой логики соответствует типу для комбинатора неподвижной точки. Мы рассмотрим категорную интерпретацию логики Кузнецова-Муравицкого, возникшую в этой области. |
|||