Odintsov Sergei Pavlovich

Publications in Math-Net.Ru

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


18. Evgenii Andreevich Palyutin (1945–2018)
    
    Sib. Èlektron. Mat. Izv., 16 (2019),  1–10
19. Sergei Ilyich Mardaev (6.04.1962–10.04.2013)
    
    Sib. Èlektron. Mat. Izv., 10 (2013),  30–34
20. Sergei Savost'yanovich Goncharov (on the occasion of his 60th birthday)
    
    Sibirsk. Mat. Zh., 52:5 (2011),  959–961
21. 9th Asian Logic Conference, Novosibirsk, Russia, 16–19 August 2005
    
    Sib. Èlektron. Mat. Izv., 2 (2005),  10–11