Odintsov Sergei Pavlovich

Publications in Math-Net.Ru

1. Modal companions for the special extensions of Nelson's constructive logic
   
   Mat. Zametki, 117:3 (2025),  344–364
2. On extensions of minimal logic with linearity axiom
   
   Sib. Èlektron. Mat. Izv., 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
   
   Sib. Èlektron. Mat. Izv., 12 (2015),  108–121
5. Unification Problem in Nelson's Logic $\mathbf{N4}$
   
   Sib. Èlektron. Mat. Izv., 11 (2014),  434–443
6. Finite model property for negative modalities
   
   Sib. Èlektron. Mat. Izv., 10 (2013),  1–21
7. Glivenko theorem for $N^*$-extensions
   
   Sib. Èlektron. Mat. Izv., 8 (2011),  365–368
8. Combining intuitionistic connectives and Routley negation
   
   Sib. Èlektron. Mat. Izv., 7 (2010),  21–41
9. On extensions of Nelson's logic satisfying Dummett's axiom
   
   Sibirsk. Mat. Zh., 48:1 (2007),  138–155
10. Transfer Theorems for Extensions of the Paraconsistent Nelson Logic
    
    Algebra Logika, 45:4 (2006),  409–435
11. The Lattice of Extensions of the Minimal Logic
    
    Mat. Tr., 9:2 (2006),  60–108
12. On one generalization of the principle reductio ad absurdum
    
    Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:3 (2006),  62–87
13. Infinite arithmetical formulas and the reflection principle
    
    Algebra Logika, 36:3 (1997),  245–258
14. Nonstandard analysis and the axiom of determinacy
    
    Algebra Logika, 32:6 (1993),  607–617
15. Hereditarily recursively enumerable subalgebras of a recursive Boolean algebra
    
    Algebra Logika, 31:1 (1992),  38–46
16. The arithmetical hierarchy and ideals of enumerated Boolean algebras
    
    Sibirsk. Mat. Zh., 30:6 (1989),  140–149
17. Recursive Boolean algebras with a hyperhyperimmune set of atoms
    
    Mat. Zametki, 44:4 (1988),  488–493
18. The lattice of recursively enumerable subalgebras of a recursive Boolean algebra
    
    Algebra Logika, 25:6 (1986),  631–642
19. Atomless ideals of constructive Boolean algebras
    
    Algebra Logika, 23:3 (1984),  278–295


20. Larisa L'vovna Maksimova (obituary)
    
    Uspekhi Mat. Nauk, 80:3(483) (2025),  179–182
21. Evgenii Andreevich Palyutin (1945–2018)
    
    Sib. Èlektron. Mat. Izv., 16 (2019),  1–10
22. Sergei Ilyich Mardaev (6.04.1962–10.04.2013)
    
    Sib. Èlektron. Mat. Izv., 10 (2013),  30–34
23. Sergei Savost'yanovich Goncharov (on the occasion of his 60th birthday)
    
    Sibirsk. Mat. Zh., 52:5 (2011),  959–961
24. 9th Asian Logic Conference, Novosibirsk, Russia, 16–19 August 2005
    
    Sib. Èlektron. Mat. Izv., 2 (2005),  10–11