|
Известия Академии наук СССР. Серия математическая, 1989, том 53, выпуск 5, страницы 915–943
(Mi im1282)
|
|
|
|
Эта публикация цитируется в 9 научных статьях (всего в 9 статьях)
О классификации пропозициональных логик доказуемости
Л. Д. Беклемишев
Аннотация:
Общее понятие модальной пропозициональной логики доказуемости было
введено С. Н. Артёмовым (1979 г.) и А. Виссером (1984 г.). В работе доказывается, что известные к настоящему времени $4$ бесконечные серии логик доказуемости – $\operatorname{GL}_\alpha$, $\operatorname{GL}_\beta^-$, $S_\beta$ и $D_\beta$ ($\alpha,\beta\subseteq\omega$, $\omega\setminus\beta$ конечно) – исчерпывают все такие логики.
Библиография: 14 названий.
Поступило в редакцию: 13.12.1988
Образец цитирования:
Л. Д. Беклемишев, “О классификации пропозициональных логик доказуемости”, Изв. АН СССР. Сер. матем., 53:5 (1989), 915–943; Math. USSR-Izv., 35:2 (1990), 247–275
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/im1282 https://www.mathnet.ru/rus/im/v53/i5/p915
|
Статистика просмотров: |
Страница аннотации: | 676 | PDF русской версии: | 295 | PDF английской версии: | 38 | Список литературы: | 59 | Первая страница: | 3 |
|