|
Известия Академии наук СССР. Серия математическая, 1985, том 49, выпуск 6, страницы 1123–1154
(Mi im1391)
|
|
|
|
Эта публикация цитируется в 9 научных статьях (всего в 9 статьях)
О модальных логиках, аксиоматизирующих доказуемость
С. Н. Артемов
Аннотация:
На основе ранее введенного автором понятия следа модальной логики дается классификация арифметически полных модальных логик. Доказано, что между наименьшей и наибольшей арифметически полными логиками расположен континуум логик, не являющихся арифметически полными.
Библиография: 17 названий.
Поступило в редакцию: 05.09.1983 Исправленный вариант: 27.03.1985
Образец цитирования:
С. Н. Артемов, “О модальных логиках, аксиоматизирующих доказуемость”, Изв. АН СССР. Сер. матем., 49:6 (1985), 1123–1154; Math. USSR-Izv., 27:3 (1986), 401–429
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/im1391 https://www.mathnet.ru/rus/im/v49/i6/p1123
|
Статистика просмотров: |
Страница аннотации: | 384 | PDF русской версии: | 135 | PDF английской версии: | 9 | Список литературы: | 49 | Первая страница: | 4 |
|