Одинцов Сергей Павлович

Публикации в базе данных Math-Net.Ru

1. Модальные напарники специальных расширений конструктивной логики Нельсона
   
   Матем. заметки, 117:3 (2025),  344–364
2. On extensions of minimal logic with linearity axiom
   
   Сиб. электрон. матем. изв., 21:2 (2024),  852–865
3. Belnap-Dunn modal logics: truth constants vs. truth values
   
   Rev. Symb. Log., 13:2 (2020),  416–435
4. On strong equivalence theorem for answer set semantics with strong negation
   
   Сиб. электрон. матем. изв., 12 (2015),  108–121
5. Unification Problem in Nelson's Logic $\mathbf{N4}$
   
   Сиб. электрон. матем. изв., 11 (2014),  434–443
6. Свойство конечных моделей для негативных модальностей
   
   Сиб. электрон. матем. изв., 10 (2013),  1–21
7. Glivenko theorem for $N^*$-extensions
   
   Сиб. электрон. матем. изв., 8 (2011),  365–368
8. Combining intuitionistic connectives and Routley negation
   
   Сиб. электрон. матем. изв., 7 (2010),  21–41
9. О расширениях логики Нельсона, удовлетворяющих аксиоме Даммета
   
   Сиб. матем. журн., 48:1 (2007),  138–155
10. Теоремы переноса для расширений паранепротиворечивой логики Нельсона
    
    Алгебра и логика, 45:4 (2006),  409–435
11. Решетка расширений минимальной логики
    
    Матем. тр., 9:2 (2006),  60–108
12. Об одном обобщении принципа reductio ad absurdum
    
    Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006),  62–87
13. Бесконечные арифметические формулы и принцип рефлексии
    
    Алгебра и логика, 36:3 (1997),  245–258
14. Нестандартный анализ и аксиома детерминированности
    
    Алгебра и логика, 32:6 (1993),  607–617
15. Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры
    
    Алгебра и логика, 31:1 (1992),  38–46
16. Арифметическая иерархия и идеалы нумерованных булевых алгебр
    
    Сиб. матем. журн., 30:6 (1989),  140–149
17. О рекурсивных булевых алгебрах с гипергипериммунным множеством атомов
    
    Матем. заметки, 44:4 (1988),  488–493
18. Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры
    
    Алгебра и логика, 25:6 (1986),  631–642
19. Безатомные идеалы конструктивных булевых алгебр
    
    Алгебра и логика, 23:3 (1984),  278–295


20. Лариса Львовна Максимова (некролог)
    
    УМН, 80:3(483) (2025),  179–182
21. Евгений Андреевич Палютин (1945–2018)
    
    Сиб. электрон. матем. изв., 16 (2019),  1–10
22. Сергей Ильич Мардаев (6.04.1962–10.04.2013)
    
    Сиб. электрон. матем. изв., 10 (2013),  30–34
23. Сергей Савостьянович Гончаров (к 60-летию со дня рождения)
    
    Сиб. матем. журн., 52:5 (2011),  959–961
24. 9-ая Азиатская конференция по логике (Новосибирск, 16–19 августа 2005 г.)
    
    Сиб. электрон. матем. изв., 2 (2005),  10–11