RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические заметки // Архив
Матем. заметки, 1990, том 48, выпуск 1, страницы 3–9 (Mi mzm3276)
O равномерной арифметической полноте модальных логик доказуемости

С. Н. Артемов

Математический институт им. В. А. Стеклова АН СССР

Аннотация: Установлена равномерная арифметическая полнота всех пропозициональных логик доказуемости.
Библиогр. 14 назв.

УДК: 510.65

Поступило: 21.01.1988


 Англоязычная версия: Mathematical Notes, 1990, 48:1, 625–629

Реферативные базы данных:

© МИАН, 2024