|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2025 |
| 1. |
А. Г. Вишнева, С. П. Одинцов, “Модальные напарники специальных расширений конструктивной логики Нельсона”, Матем. заметки, 117:3 (2025), 344–364   ; A. G. Vishneva, S. P. Odintsov, “Modal companions for the special extensions of Nelson's constructive logic”, Math. Notes, 117:3 (2025), 366–382  |
|
2024 |
| 2. |
D. M. Anishchenko, S. P. Odintsov, “On extensions of minimal logic with linearity axiom”, Сиб. электрон. матем. изв., 21:2 (2024), 852–865 |
|
2020 |
| 3. |
S. P. Odintsov, S. O. Speranski, “Belnap-Dunn modal logics: truth constants vs. truth values”, Rev. Symb. Log., 13:2 (2020), 416–435   |
9
|
|
2015 |
| 4. |
Z. V. Makridin, S. P. Odintsov, “On strong equivalence theorem for answer set semantics with strong negation”, Сиб. электрон. матем. изв., 12 (2015), 108–121 |
|
2014 |
| 5. |
S. P. Odintsov, V. V. Rybakov, “Unification Problem in Nelson's Logic $\mathbf{N4}$”, Сиб. электрон. матем. изв., 11 (2014), 434–443 |
1
|
|
2013 |
| 6. |
С. А. Дробышевич, С. П. Одинцов, “Свойство конечных моделей для негативных модальностей”, Сиб. электрон. матем. изв., 10 (2013), 1–21 |
6
|
|
2011 |
| 7. |
S. P. Odintsov, “Glivenko theorem for $N^*$-extensions”, Сиб. электрон. матем. изв., 8 (2011), 365–368 |
1
|
|
2010 |
| 8. |
S. P. Odintsov, “Combining intuitionistic connectives and Routley negation”, Сиб. электрон. матем. изв., 7 (2010), 21–41 |
11
|
|
2007 |
| 9. |
С. П. Одинцов, “О расширениях логики Нельсона, удовлетворяющих аксиоме Даммета”, Сиб. матем. журн., 48:1 (2007), 138–155 ; S. P. Odintsov, “On extensions of Nelson's logic satisfying Dummett's axiom”, Siberian Math. J., 48:1 (2007), 112–125 |
6
|
|
2006 |
| 10. |
С. П. Одинцов, “Теоремы переноса для расширений паранепротиворечивой логики Нельсона”, Алгебра и логика, 45:4 (2006), 409–435 ; S. P. Odintsov, “Transfer Theorems for Extensions of the Paraconsistent Nelson Logic”, Algebra and Logic, 45:4 (2006), 232–247 |
2
|
| 11. |
С. П. Одинцов, “Решетка расширений минимальной логики”, Матем. тр., 9:2 (2006), 60–108  ; S. P. Odintsov, “The Lattice of Extensions of the Minimal Logic”, Siberian Adv. Math., 17:2 (2007), 112–143 |
4
|
| 12. |
С. П. Одинцов, “Об одном обобщении принципа reductio ad absurdum”, Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006), 62–87 |
|
1997 |
| 13. |
Н. В. Белякин, С. П. Одинцов, “Бесконечные арифметические формулы и принцип рефлексии”, Алгебра и логика, 36:3 (1997), 245–258 |
|
1993 |
| 14. |
Н. В. Белякин, С. П. Одинцов, “Нестандартный анализ и аксиома детерминированности”, Алгебра и логика, 32:6 (1993), 607–617 |
|
1992 |
| 15. |
С. П. Одинцов, “Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры”, Алгебра и логика, 31:1 (1992), 38–46 |
4
|
|
1989 |
| 16. |
С. П. Одинцов, В. Л. Селиванов, “Арифметическая иерархия и идеалы нумерованных булевых алгебр”, Сиб. матем. журн., 30:6 (1989), 140–149 ; S. P. Odintsov, V. L. Selivanov, “The arithmetical hierarchy and ideals of enumerated Boolean algebras”, Siberian Math. J., 30:6 (1989), 952–960 |
13
|
|
1988 |
| 17. |
С. П. Одинцов, “О рекурсивных булевых алгебрах с гипергипериммунным множеством атомов”, Матем. заметки, 44:4 (1988), 488–493 ; S. P. Odintsov, “Recursive Boolean algebras with a hyperhyperimmune set of atoms”, Math. Notes, 44:4 (1988), 747–749 |
2
|
|
1986 |
| 18. |
С. П. Одинцов, “Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры”, Алгебра и логика, 25:6 (1986), 631–642 |
|
1984 |
| 19. |
С. П. Одинцов, “Безатомные идеалы конструктивных булевых алгебр”, Алгебра и логика, 23:3 (1984), 278–295 |
1
|
|
|
|
2025 |
| 20. |
С. Н. Артёмов, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, С. П. Одинцов, В. В. Рыбаков, С. О. Сперанский, В. Б. Шехтман, В. Ф. Юн, “Лариса Львовна Максимова (некролог)”, УМН, 80:3(483) (2025), 179–182 ; S. N. Artemov, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, S. P. Odintsov, V. V. Rybakov, S. O. Speranski, V. B. Shehtman, V. F. Yun, “Larisa L'vovna Maksimova (obituary)”, Russian Math. Surveys, 80:3 (2025), 533–536 |
|
2019 |
| 21. |
Ю. Л. Ершов, С. С. Гончаров, В. Д. Мазуров, Б. С. Байжанов, Б. Ш. Кулпешов, П. Е. Алаев, А. В. Васильев, Е. В. Васильев, Е. П. Вдовин, В. В. Вербовский, А. А. Викентьев, Д. Ю. Власов, М. А. Гречкосеева, В. Н. Желябин, П. С. Колесников, В. М. Копытов, Л. Л. Максимова, И. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. В. Овчинникова, С. П. Одинцов, Д. Е. Пальчунов, Н. А. Перязев, А. Г. Пинус, Л. Н. Победин, А. П. Пожидаев, Б. Пуаза, В. Г. Пузаренко, Д. О. Ревин, В. Н. Ремесленников, Н. С. Романовский, А. Н. Ряскин, С. С. Старченко, А. А. Степанова, С. В. Судоплатов, Е. И. Тимошенко, Д. А. Тусупов, Н. Г. Хисамиев, В. А. Чуркин, З. Шатзидакис, М. В. Швидефски, К. М. Шегиров, И. П. Шестаков, “Евгений Андреевич Палютин (1945–2018)”, Сиб. электрон. матем. изв., 16 (2019), 1–10 |
|
2013 |
| 22. |
П. Е. Алаев, О. В. Богопольский, А. В. Васильев, С. С. Гончаров, Ю. Л. Ершов, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, В. Г. Пузаренко, В. В. Рыбаков, К. Л. Рычков, А. Н. Ряскин, И. А. Тайманов, А. С. Филюрин, Д. Г. Храмцов, В. А. Чуркин, “Сергей Ильич Мардаев (6.04.1962–10.04.2013)”, Сиб. электрон. матем. изв., 10 (2013), 30–34 |
|
2011 |
| 23. |
Ю. Л. Ершов, В. Д. Мазуров, П. Е. Алаев, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, Е. А. Палютин, С. Ю. Подзоров, “Сергей Савостьянович Гончаров (к 60-летию со дня рождения)”, Сиб. матем. журн., 52:5 (2011), 959–961 |
|
2005 |
| 24. |
С. С. Гончаров, А. С. Морозов, С. П. Одинцов, “9-ая Азиатская конференция по логике (Новосибирск, 16–19 августа 2005 г.)”, Сиб. электрон. матем. изв., 2 (2005), 10–11 |
|
