|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2004 |
| 1. |
С. Н. Артемов, “Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении”, УМН, 59:2(356) (2004), 9–36     ; S. N. Artemov, “Kolmogorov and Gödel's approach to intuitionistic logic: current developments”, Russian Math. Surveys, 59:2 (2004), 203–229   |
26
|
|
2003 |
| 2. |
С. Н. Артемов, “Погружение модального $\lambda$-исчисления в логику доказательств”, Труды МИАН, 242 (2003), 44–58 ; S. N. Artemov, “Embedding of the Modal $\lambda$-Calculus into the Logic of Proofs”, Proc. Steklov Inst. Math., 242 (2003), 36–49 |
2
|
|
2001 |
| 3. |
S. N. Artemov, T. Yavorskaya, “On first order logic of proofs”, Mosc. Math. J., 1:4 (2001), 475–490 |
15
|
|
1990 |
| 4. |
С. Н. Артемов, “O равномерной арифметической полноте модальных логик доказуемости”, Матем. заметки, 48:1 (1990), 3–9 ; S. N. Artemov, “Uniform arithmetical completeness of modal provability logics”, Math. Notes, 48:1 (1990), 625–629 |
|
1988 |
| 5. |
С. Н. Артемов, “Степени неразрешимости расширений арифметики истинными предложениями”, УМН, 43:2(260) (1988), 127–128 ; S. N. Artemov, “Degrees of insolubility of extensions of arithmetic by true propositions”, Russian Math. Surveys, 43:2 (1988), 159–160 |
|
1987 |
| 6. |
С. Н. Артемов, Г. К. Джапаридзе, “Об эффективных предикатных логиках доказуемости”, Докл. АН СССР, 297:3 (1987), 521–523 ; S. N. Artemov, G. K. Japaridze, “Effective predicate logics of provability”, Dokl. Math., 36:3 (1988), 478–480 |
|
1986 |
| 7. |
С. Н. Артемов, “Суперинтуиционистские логики, имеющие доказуемостную интерпретацию”, Докл. АН СССР, 291:6 (1986), 1289–1291 |
| 8. |
С. Н. Артемов, “Нумерически корректные логики доказуемости”, Докл. АН СССР, 290:6 (1986), 1289–1292 |
1
|
|
1985 |
| 9. |
С. Н. Артемов, “Неарифметичность истинностных предикатных логик доказуемости”, Докл. АН СССР, 284:2 (1985), 270–271 |
3
|
| 10. |
С. Н. Артемов, “О модальных логиках, аксиоматизирующих доказуемость”, Изв. АН СССР. Сер. матем., 49:6 (1985), 1123–1154 ; S. N. Artemov, “On modal logics axiomatizing provability”, Math. USSR-Izv., 27:3 (1986), 401–429 |
9
|
|
|
|
2023 |
| 11. |
С. Н. Артемов, Л. Д. Беклемишев, Л. Я. Боркин, А. М. Вершик, Э. А. Гирш, Е. Я. Данцин, И. А. Ибрагимов, Е. В. Кальменс, В. Я. Крейнович, Д. А. Кубенский, А. А. Лодкин, Ю. В. Матиясевич, Б. А. Новиков, В. П. Оревков, А. Л. Семенов, А. О. Слисенко, А. Х. Шень, “Григорий Самуилович Цейтин (некролог)”, УМН, 78:3(471) (2023), 170–176 ; S. N. Artemov, L. D. Beklemishev, L. Ya. Borkin, A. M. Vershik, E. A. Hirsch, E. Ya. Dantsin, I. A. Ibragimov, E. V. Kalmens, V. Ya. Kreinovich, D. A. Koubenski, A. A. Lodkin, Yu. V. Matiyasevich, B. A. Novikov, V. P. Orevkov, A. L. Semenov, A. O. Slissenko, A. Kh. Shen, “Gregory Samuilovich Tseytin (obituary)”, Russian Math. Surveys, 78:3 (2023), 555–561 |
|
2022 |
| 12. |
С. Н. Артемов, Я. М. Барздинь, Л. А. Бокуть, Ю. Ш. Гуревич, А. М. Дехтярь, Л. А. Левин, И. А. Ломазова, Ю. В. Матиясевич, В. А. Непомнящий, С. П. Новиков, А. Рабинович, В. Ю. Сазонов, А. О. Слисенко, В. А. Соколов, М. Б. Трахтенброт, Н. В. Шилов, “Борис Абрамович Трахтенброт (к столетию со дня рождения)”, УМН, 77:1(463) (2022), 191–195 ; S. N. Artemov, J. M. Barzdiņš, L. A. Bokut', Yu. Gurevich, A. M. Dekhtyar', L. A. Levin, I. A. Lomazova, Yu. V. Matiyasevich, V. A. Nepomnyashchii, S. P. Novikov, A. Rabinovich, V. Yu. Sazonov, A. O. Slisenko, V. A. Sokolov, M. B. Trakhtenbrot, N. V. Shilov, “Boris Abramovich Trakhtenbrot (on the centenary of his birth)”, Russian Math. Surveys, 77:1 (2022), 183–188 |
|
Обратная связь: