RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Докл. РАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Докл. АН СССР, 1985, том 284, номер 2, страницы 270–271 (Mi dan8965)  

Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

МАТЕМАТИКА

Неарифметичность истинностных предикатных логик доказуемости

С. Н. Артемов

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

Полный текст: PDF файл (337 kB)

Реферативные базы данных:
Тип публикации: Статья
УДК: 510.65
Статья представлена к публикации: А. Н. Колмогоров
Поступила в редакцию: 27.05.1985

Образец цитирования: С. Н. Артемов, “Неарифметичность истинностных предикатных логик доказуемости”, Докл. АН СССР, 284:2 (1985), 270–271

Цитирование в формате AMSBIB
\RBibitem{Art85}
\by С.~Н.~Артемов
\paper Неарифметичность истинностных предикатных логик доказуемости
\jour Докл. АН СССР
\yr 1985
\vol 284
\issue 2
\pages 270--271
\mathnet{http://mi.mathnet.ru/dan8965}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=806446}
\zmath{https://zbmath.org/?q=an:0605.03007}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/dan8965
  • http://mi.mathnet.ru/rus/dan/v284/i2/p270

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. S. N. Artemov, T. Yavorskaya, “On first order logic of proofs”, Mosc. Math. J., 1:4 (2001), 475–490  mathnet  mathscinet  zmath
    2. Р. Э. Яворский, “О пренексном фрагменте логики доказуемости с кванторами по доказательствам”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Тр. МИАН, 242, Наука, МАИК «Наука/Интерпериодика», М., 2003, 123–135  mathnet  mathscinet  zmath; R. È. Yavorskii, “On Prenex Fragment of Provability Logic with Quantifiers on Proofs”, Proc. Steklov Inst. Math., 242 (2003), 112–124
    3. С. Н. Артемов, “Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении”, УМН, 59:2(356) (2004), 9–36  mathnet  crossref  mathscinet  zmath  adsnasa; S. N. Artemov, “Kolmogorov and Gödel's approach to intuitionistic logic: current developments”, Russian Math. Surveys, 59:2 (2004), 203–229  crossref  isi  elib
  • Просмотров:
    Эта страница:19
    Полный текст:4
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019