|
Записки научных семинаров ЛОМИ, 1977, том 68, страницы 83–114
(Mi znsl2003)
|
|
|
|
Эта публикация цитируется в 27 научных статьях (всего в 27 статьях)
Замкнутые категории и теория доказательств
Г. Е. Минц
Аннотация:
Основная цель работы – изложить некоторый перевод первоначальных понятий теории категорий на язык структурной теории доказательств и применить этот перевод для упрощения доказательств некоторых известных результатов [1] и для получения новых: теоремы когеррентности для канонических морфизмов в (немоноидальных, несимметрических) замкнутых категориях [2] и решения проблемы равенства канонических морфизмов; Намечено распространение этих результатов на моноидальные замкнутые, симметрические замкнутые и моноидальные симметрические замкнутые категории. Разрешающий алгорифм получается с помощью корректного и полного перевода канонических морфизмов в некоторое расширение $\lambda$-языка, содержащее средства для специального учета “лишних” посылок импликаций (правило утончения). Расширения $\lambda$-языка, рассматривавшиеся в литературе до сих пор,таких средств не содержали. Библ. 23 назв.
Образец цитирования:
Г. Е. Минц, “Замкнутые категории и теория доказательств”, Теоретические применения методов математической логики. II, Зап. научн. сем. ЛОМИ, 68, Изд-во «Наука», Ленинград. отд., Л., 1977, 83–114; J. Soviet Math., 15:1 (1981), 45–62
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2003 https://www.mathnet.ru/rus/znsl/v68/p83
|
Статистика просмотров: |
Страница аннотации: | 334 | PDF полного текста: | 171 |
|