|
Записки научных семинаров ЛОМИ, 1976, том 60, страницы 209–220
(Mi znsl2081)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 2 статье)
О кванторе предельной осуществимости
Н. А. Шанин
Аннотация:
При поисках интересных “по содержанию” конструктивных аналогов теорем классической математики бывают полезны логические связки, занимающие промежуточное положение между $\underset{\cdot}\exists$ и $\exists$, и между $\underset{\cdot}\vee$ и $\vee$ [$\underset{\cdot}\exists xF$ обозначает $\rceil\forall x\rceil F$, $(F_1\underset{\cdot}\vee F_2)$ обозначает $\rceil(\rceil F_1\&\rceil F_2)$]. В статье вводятся в рассмотрение две логические связки этого типа, подсказанные теорией предельно вычислимых (полувычислимых) функций и определяемые через основные логические связки конструктивной логики – квантор предельной осуществимости $\underset{\to}\exists$ и предельная дизъюнкция $\underset{\to}\vee$. Устанавливается ряд свойств этих логических связок. Библ. 10 назв.
Образец цитирования:
Н. А. Шанин, “О кванторе предельной осуществимости”, Исследования по конструктивной математике и математической логике. VII, Зап. научн. сем. ЛОМИ, 60, Изд-во «Наука», Ленинград. отд., Л., 1976, 209–220; J. Soviet Math., 14:5 (1980), 1565–1672
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2081 https://www.mathnet.ru/rus/znsl/v60/p209
|
Статистика просмотров: |
Страница аннотации: | 179 | PDF полного текста: | 86 |
|