|
|
|
Publications in Math-Net.Ru |
Citations |
|
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     |
9
|
|
2015 |
| 2. |
Z. V. Makridin, S. P. Odintsov, “On strong equivalence theorem for answer set semantics with strong negation”, Sib. Èlektron. Mat. Izv., 12 (2015), 108–121 |
|
2014 |
| 3. |
S. P. Odintsov, V. V. Rybakov, “Unification Problem in Nelson's Logic $\mathbf{N4}$”, Sib. Èlektron. Mat. Izv., 11 (2014), 434–443 |
1
|
|
2013 |
| 4. |
S. A. Drobyshevich, S. P. Odintsov, “Finite model property for negative modalities”, Sib. Èlektron. Mat. Izv., 10 (2013), 1–21 |
6
|
|
2011 |
| 5. |
S. P. Odintsov, “Glivenko theorem for $N^*$-extensions”, Sib. Èlektron. Mat. Izv., 8 (2011), 365–368 |
1
|
|
2010 |
| 6. |
S. P. Odintsov, “Combining intuitionistic connectives and Routley negation”, Sib. Èlektron. Mat. Izv., 7 (2010), 21–41 |
11
|
|
2007 |
| 7. |
S. P. Odintsov, “On extensions of Nelson's logic satisfying Dummett's axiom”, Sibirsk. Mat. Zh., 48:1 (2007), 138–155 ; Siberian Math. J., 48:1 (2007), 112–125  |
5
|
|
2006 |
| 8. |
S. P. Odintsov, “Transfer Theorems for Extensions of the Paraconsistent Nelson Logic”, Algebra Logika, 45:4 (2006), 409–435 ; Algebra and Logic, 45:4 (2006), 232–247 |
2
|
| 9. |
S. P. Odintsov, “The Lattice of Extensions of the Minimal Logic”, Mat. Tr., 9:2 (2006), 60–108  ; Siberian Adv. Math., 17:2 (2007), 112–143 |
3
|
| 10. |
S. P. Odintsov, “On one generalization of the principle reductio ad absurdum”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:3 (2006), 62–87 |
|
1997 |
| 11. |
N. V. Beliakin, S. P. Odintsov, “Infinite arithmetical formulas and the reflection principle”, Algebra Logika, 36:3 (1997), 245–258 |
|
1993 |
| 12. |
N. V. Beliakin, S. P. Odintsov, “Nonstandard analysis and the axiom of determinacy”, Algebra Logika, 32:6 (1993), 607–617 |
|
1992 |
| 13. |
S. P. Odintsov, “Hereditarily recursively enumerable subalgebras of a recursive
Boolean algebra”, Algebra Logika, 31:1 (1992), 38–46 |
4
|
|
1989 |
| 14. |
S. P. Odintsov, V. L. Selivanov, “The arithmetical hierarchy and ideals of enumerated Boolean algebras”, Sibirsk. Mat. Zh., 30:6 (1989), 140–149 ; Siberian Math. J., 30:6 (1989), 952–960 |
12
|
|
1988 |
| 15. |
S. P. Odintsov, “Recursive Boolean algebras with a hyperhyperimmune set of atoms”, Mat. Zametki, 44:4 (1988), 488–493 ; Math. Notes, 44:4 (1988), 747–749 |
2
|
|
1986 |
| 16. |
S. P. Odintsov, “The lattice of recursively enumerable subalgebras of a
recursive Boolean algebra”, Algebra Logika, 25:6 (1986), 631–642 |
|
1984 |
| 17. |
S. P. Odintsov, “Atomless ideals of constructive Boolean algebras”, Algebra Logika, 23:3 (1984), 278–295 |
|
|
|
2019 |
| 18. |
Yu. L. Ershov, S. S. Goncharov, V. D. Mazurov, B. S. Baizhanov, B. Sh. Kulpeshov, P. E. Alaev, A. V. Vasil'ev, E. V. Vasil'ev, E. P. Vdovin, V. V. Verbovskii, A. A. Vikent'ev, D. Yu. Vlasov, M. A. Grechkoseeva, V. N. Zhelyabin, P. S. Kolesnikov, V. M. Kopytov, L. L. Maksimova, I. A. Mal'tsev, A. S. Morozov, A. A. Nikitin, E. V. Ovchinnikova, S. P. Odintsov, D. E. Pal'chunov, N. A. Peryazev, A. G. Pinus, L. N. Pobedin, A. P. Pozhidaev, B. Poizat, V. G. Puzarenko, D. O. Revin, V. N. Remeslennikov, N. S. Romanovskii, A. N. Ryaskin, S. S. Starchenko, A. A. Stepanova, S. V. Sudoplatov, E. I. Timoshenko, D. A. Tusupov, N. G. Khisamiev, V. A. Churkin, Z. Chatzidakis, M. V. Schwidefsky, K. M. Shegirov, I. P. Shestakov, “Evgenii Andreevich Palyutin (1945–2018)”, Sib. Èlektron. Mat. Izv., 16 (2019), 1–10 |
|
2013 |
| 19. |
P. E. Alaev, O. V. Bogopolski, A. V. Vasil'ev, S. S. Goncharov, Yu. L. Ershov, V. D. Mazurov, L. L. Maksimova, A. S. Morozov, S. P. Odintsov, D. E. Palchunov, V. G. Puzarenko, V. V. Rybakov, K. L. Rychkov, A. N. Ryaskin, I. A. Taimanov, A. S. Filyurin, D. G. Khramtsov, V. A. Churkin, “Sergei Ilyich Mardaev (6.04.1962–10.04.2013)”, Sib. Èlektron. Mat. Izv., 10 (2013), 30–34 |
|
2011 |
| 20. |
Yu. L. Ershov, V. D. Mazurov, P. E. Alaev, L. L. Maksimova, A. S. Morozov, S. P. Odintsov, D. E. Pal'chunov, E. A. Palyutin, S. Yu. Podzorov, “Sergei Savost'yanovich Goncharov (on the occasion of his 60th birthday)”, Sibirsk. Mat. Zh., 52:5 (2011), 959–961 |
|
2005 |
| 21. |
S. S. Goncharov, A. S. Morozov, S. P. Odintsov, “9th Asian Logic Conference, Novosibirsk, Russia, 16–19 August 2005”, Sib. Èlektron. Mat. Izv., 2 (2005), 10–11 |
|
| Presentations in Math-Net.Ru |
| 1. |
Лекция 4. Алгебраические методы в неклассических логиках
S. P. Odintsov
November 2, 2023 16:00
|
| 2. |
Лекция 3. Алгебраические методы в неклассических логиках
S. P. Odintsov
November 1, 2023 16:00
|
| 3. |
Лекция 2. Алгебраические методы в неклассических логиках
S. P. Odintsov
October 26, 2023 16:00
|
| 4. |
Лекция 1. Алгебраические методы в неклассических логиках
S. P. Odintsov
October 25, 2023 16:00
|
| 5. |
Constructive logic N4 and connexive logic C: similarities and differences
S. P. Odintsov
Seminars
"Proof Theory" and "Logic Online Seminar"
October 23, 2023 18:30
|
| 6. |
Equations, fixed points, and nonclassical logics
S. P. Odintsov
Mathematical Colloquium of the Sobolev Institute of
Mathematics
May 11, 2023 16:30
|
| 7. |
On constructive versions of independence-friendly logic
Sergei P. Odintsov
Logical Perspectives 2018
May 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
October 20, 2017 15:00
|
|
|
| Organisations |
|
| |
|
|
Contact us: