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

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

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

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

Публикации в базе данных Math-Net.Ru
2015
1. Z. V. Makridin, S. P. Odintsov, “On strong equivalence theorem for answer set semantics with strong negation”, Сиб. электрон. матем. изв., 12 (2015),  108–121  mathnet
2014
2. S. P. Odintsov, V. V. Rybakov, “Unification Problem in Nelson's Logic $\mathbf{N4}$”, Сиб. электрон. матем. изв., 11 (2014),  434–443  mathnet
2013
3. С. А. Дробышевич, С. П. Одинцов, “Свойство конечных моделей для негативных модальностей”, Сиб. электрон. матем. изв., 10 (2013),  1–21  mathnet
2011
4. S. P. Odintsov, “Glivenko theorem for $N^*$-extensions”, Сиб. электрон. матем. изв., 8 (2011),  365–368  mathnet
2010
5. S. P. Odintsov, “Combining intuitionistic connectives and Routley negation”, Сиб. электрон. матем. изв., 7 (2010),  21–41  mathnet  mathscinet
2007
6. С. П. Одинцов, “О расширениях логики Нельсона, удовлетворяющих аксиоме Даммета”, Сиб. матем. журн., 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
2006
7. С. П. Одинцов, “Теоремы переноса для расширений паранепротиворечивой логики Нельсона”, Алгебра и логика, 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
8. С. П. Одинцов, “Решетка расширений минимальной логики”, Матем. тр., 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
9. С. П. Одинцов, “Об одном обобщении принципа reductio ad absurdum”, Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006),  62–87  mathnet
1988
10. С. П. Одинцов, “О рекурсивных булевых алгебрах с гипергипериммунным множеством атомов”, Матем. заметки, 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

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

Доклады и лекции в базе данных Math-Net.Ru
1. On constructive versions of independence-friendly logic
Sergei P. Odintsov
Logical Perspectives 2018
18 мая 2018 г. 17:50   
2. $\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   

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