Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Одинцов Сергей Павлович

В базах данных Math-Net.Ru
Публикаций: 21
Научных статей: 17
Лекций и докладов: 8

Статистика просмотров:
Эта страница:1449
Страницы публикаций:5322
Полные тексты:2094
Списки литературы:571
доктор физико-математических наук (2006)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:

https://www.mathnet.ru/rus/person27585
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/217626

Публикации в базе данных Math-Net.Ru Цитирования
2020
1. S. P. Odintsov, S. O. Speranski, “Belnap-Dunn modal logics: truth constants vs. truth values”, Rev. Symb. Log., 13:2 (2020),  416–435  mathnet  mathscinet  zmath  isi 9
2015
2. Z. V. Makridin, S. P. Odintsov, “On strong equivalence theorem for answer set semantics with strong negation”, Сиб. электрон. матем. изв., 12 (2015),  108–121  mathnet
2014
3. S. P. Odintsov, V. V. Rybakov, “Unification Problem in Nelson's Logic $\mathbf{N4}$”, Сиб. электрон. матем. изв., 11 (2014),  434–443  mathnet 1
2013
4. С. А. Дробышевич, С. П. Одинцов, “Свойство конечных моделей для негативных модальностей”, Сиб. электрон. матем. изв., 10 (2013),  1–21  mathnet 6
2011
5. S. P. Odintsov, “Glivenko theorem for $N^*$-extensions”, Сиб. электрон. матем. изв., 8 (2011),  365–368  mathnet 1
2010
6. S. P. Odintsov, “Combining intuitionistic connectives and Routley negation”, Сиб. электрон. матем. изв., 7 (2010),  21–41  mathnet  mathscinet 11
2007
7. С. П. Одинцов, “О расширениях логики Нельсона, удовлетворяющих аксиоме Даммета”, Сиб. матем. журн., 48:1 (2007),  138–155  mathnet  mathscinet  zmath; S. P. Odintsov, “On extensions of Nelson's logic satisfying Dummett's axiom”, Siberian Math. J., 48:1 (2007), 112–125  isi  scopus 5
2006
8. С. П. Одинцов, “Теоремы переноса для расширений паранепротиворечивой логики Нельсона”, Алгебра и логика, 45:4 (2006),  409–435  mathnet  mathscinet  zmath; S. P. Odintsov, “Transfer Theorems for Extensions of the Paraconsistent Nelson Logic”, Algebra and Logic, 45:4 (2006), 232–247  scopus 2
9. С. П. Одинцов, “Решетка расширений минимальной логики”, Матем. тр., 9:2 (2006),  60–108  mathnet  mathscinet  elib; S. P. Odintsov, “The Lattice of Extensions of the Minimal Logic”, Siberian Adv. Math., 17:2 (2007), 112–143 3
10. С. П. Одинцов, “Об одном обобщении принципа reductio ad absurdum”, Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006),  62–87  mathnet
1997
11. Н. В. Белякин, С. П. Одинцов, “Бесконечные арифметические формулы и принцип рефлексии”, Алгебра и логика, 36:3 (1997),  245–258  mathnet  mathscinet
1993
12. Н. В. Белякин, С. П. Одинцов, “Нестандартный анализ и аксиома детерминированности”, Алгебра и логика, 32:6 (1993),  607–617  mathnet  mathscinet
1992
13. С. П. Одинцов, “Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры”, Алгебра и логика, 31:1 (1992),  38–46  mathnet  mathscinet 4
1989
14. С. П. Одинцов, В. Л. Селиванов, “Арифметическая иерархия и идеалы нумерованных булевых алгебр”, Сиб. матем. журн., 30:6 (1989),  140–149  mathnet  mathscinet  zmath; S. P. Odintsov, V. L. Selivanov, “The arithmetical hierarchy and ideals of enumerated Boolean algebras”, Siberian Math. J., 30:6 (1989), 952–960  isi 12
1988
15. С. П. Одинцов, “О рекурсивных булевых алгебрах с гипергипериммунным множеством атомов”, Матем. заметки, 44:4 (1988),  488–493  mathnet  mathscinet  zmath; S. P. Odintsov, “Recursive Boolean algebras with a hyperhyperimmune set of atoms”, Math. Notes, 44:4 (1988), 747–749  isi 2
1986
16. С. П. Одинцов, “Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры”, Алгебра и логика, 25:6 (1986),  631–642  mathnet  mathscinet
1984
17. С. П. Одинцов, “Безатомные идеалы конструктивных булевых алгебр”, Алгебра и логика, 23:3 (1984),  278–295  mathnet  mathscinet

2019
18. Ю. Л. Ершов, С. С. Гончаров, В. Д. Мазуров, Б. С. Байжанов, Б. Ш. Кулпешов, П. Е. Алаев, А. В. Васильев, Е. В. Васильев, Е. П. Вдовин, В. В. Вербовский, А. А. Викентьев, Д. Ю. Власов, М. А. Гречкосеева, В. Н. Желябин, П. С. Колесников, В. М. Копытов, Л. Л. Максимова, И. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. В. Овчинникова, С. П. Одинцов, Д. Е. Пальчунов, Н. А. Перязев, А. Г. Пинус, Л. Н. Победин, А. П. Пожидаев, Б. Пуаза, В. Г. Пузаренко, Д. О. Ревин, В. Н. Ремесленников, Н. С. Романовский, А. Н. Ряскин, С. С. Старченко, А. А. Степанова, С. В. Судоплатов, Е. И. Тимошенко, Д. А. Тусупов, Н. Г. Хисамиев, В. А. Чуркин, З. Шатзидакис, М. В. Швидефски, К. М. Шегиров, И. П. Шестаков, “Евгений Андреевич Палютин (1945–2018)”, Сиб. электрон. матем. изв., 16 (2019),  1–10  mathnet  isi
2013
19. П. Е. Алаев, О. В. Богопольский, А. В. Васильев, С. С. Гончаров, Ю. Л. Ершов, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, В. Г. Пузаренко, В. В. Рыбаков, К. Л. Рычков, А. Н. Ряскин, И. А. Тайманов, А. С. Филюрин, Д. Г. Храмцов, В. А. Чуркин, “Сергей Ильич Мардаев (6.04.1962–10.04.2013)”, Сиб. электрон. матем. изв., 10 (2013),  30–34  mathnet
2011
20. Ю. Л. Ершов, В. Д. Мазуров, П. Е. Алаев, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, Е. А. Палютин, С. Ю. Подзоров, “Сергей Савостьянович Гончаров (к 60-летию со дня рождения)”, Сиб. матем. журн., 52:5 (2011),  959–961  mathnet  mathscinet
2005
21. С. С. Гончаров, А. С. Морозов, С. П. Одинцов, “9-ая Азиатская конференция по логике (Новосибирск, 16–19 августа 2005 г.)”, Сиб. электрон. матем. изв., 2 (2005),  10–11  mathnet  zmath

Доклады и лекции в базе данных Math-Net.Ru
1. Лекция 4. Алгебраические методы в неклассических логиках
С. П. Одинцов
Мини-курс С. П. Одинцова «Алгебраические методы в неклассических логиках»
2 ноября 2023 г. 16:00   
2. Лекция 3. Алгебраические методы в неклассических логиках
С. П. Одинцов
Мини-курс С. П. Одинцова «Алгебраические методы в неклассических логиках»
1 ноября 2023 г. 16:00   
3. Лекция 2. Алгебраические методы в неклассических логиках
С. П. Одинцов
Мини-курс С. П. Одинцова «Алгебраические методы в неклассических логиках»
26 октября 2023 г. 16:00   
4. Лекция 1. Алгебраические методы в неклассических логиках
С. П. Одинцов
Мини-курс С. П. Одинцова «Алгебраические методы в неклассических логиках»
25 октября 2023 г. 16:00   
5. Конструктивная логика N4 и коннексивная C: сходства и различия
С. П. Одинцов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
23 октября 2023 г. 18:30   
6. Уравнения, неподвижные точки, неклассические логики
С. П. Одинцов
Математический коллоквиум ИМ СО РАН
11 мая 2023 г. 16:30
7. On constructive versions of independence-friendly logic
Sergei P. Odintsov
Logical Perspectives 2018
18 мая 2018 г. 17:50   
8. $\mathrm{FDE}$-Modalities and weak definability (joint work with H. Wansing)
S. Odintsov
Workshop on Proof Theory, Modal Logic and Reflection Principles
20 октября 2017 г. 15:00   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024