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