RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Поиск
RSS
Ближайшие семинары





Для просмотра файлов Вам могут потребоваться








Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
12 декабря 2017 г. 18:30, г. Москва, ГЗ МГУ, ауд. 16-04
 


Логика Кузнецова-Муравицкого и семантика компьютерных языков

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

a Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
b Национальный исследовательский университет "Высшая школа экономики", г. Москва

Количество просмотров:
Эта страница:27

Аннотация: Логика Кузнецова-Муравицкого представляет собой интуиционистскую модальную логику, введенную Кузнецовым в качестве интуиционистского аналога логики Гёделя-Лёба. При исследовании денотационной семантики компьютерных языков было замечено, что основная аксиома этой логики соответствует типу для комбинатора неподвижной точки. Мы рассмотрим категорную интерпретацию логики Кузнецова-Муравицкого, возникшую в этой области.

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017