|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Узнаваемость всех WIP-минимальных логик
В. Ф. Юнab a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
b Новосибирский гос. университет, ул. Пирогова, 1, Новосибирск 630090
Аннотация:
Рассматриваются расширения минимальной логики J Йохансона. В [1] было доказано, что слабое интерполяционное свойство WIP разрешимо над минимальной логикой. При этом все логики с WIP разбиваются на восемь попарно не пересекающихся интервалов. Понятие узнаваемой логики введено в [2]. Узнаваемость над J пяти из восьми WIP-минимальных логик, т.е. нижних концов интервалов с WIP, была доказана ранее [2, 3]. В этой статье доказана узнаваемость над J трех оставшихся WIP-минимальных логик.
Ключевые слова:
минимальная логика, интерполяционное свойство, разрешимость, узнаваемая логика.
Статья поступила: 07.03.2017
Образец цитирования:
В. Ф. Юн, “Узнаваемость всех WIP-минимальных логик”, Сиб. матем. журн., 59:1 (2018), 225–237; Siberian Math. J., 59:1 (2018), 179–188
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj2967 https://www.mathnet.ru/rus/smj/v59/i1/p225
|
Статистика просмотров: |
Страница аннотации: | 153 | PDF полного текста: | 25 | Список литературы: | 25 |
|