|
|
|
Publications in Math-Net.Ru |
Citations |
|
2004 |
| 1. |
S. N. Artemov, “Kolmogorov and Gödel's approach to intuitionistic logic: current developments”, Uspekhi Mat. Nauk, 59:2(356) (2004), 9–36     ; Russian Math. Surveys, 59:2 (2004), 203–229   |
26
|
|
2003 |
| 2. |
S. N. Artemov, “Embedding of the Modal $\lambda$-Calculus into the Logic of Proofs”, Trudy Mat. Inst. Steklova, 242 (2003), 44–58 ; Proc. Steklov Inst. Math., 242 (2003), 36–49 |
2
|
|
2001 |
| 3. |
S. N. Artemov, T. Yavorskaya, “On first order logic of proofs”, Mosc. Math. J., 1:4 (2001), 475–490 |
15
|
|
1990 |
| 4. |
S. N. Artemov, “Uniform arithmetical completeness of modal provability logics”, Mat. Zametki, 48:1 (1990), 3–9 ; Math. Notes, 48:1 (1990), 625–629 |
|
1988 |
| 5. |
S. N. Artemov, “Degrees of insolubility of extensions of arithmetic by true propositions”, Uspekhi Mat. Nauk, 43:2(260) (1988), 127–128 ; Russian Math. Surveys, 43:2 (1988), 159–160 |
|
1987 |
| 6. |
S. N. Artemov, G. K. Japaridze, “Effective predicate logics of provability”, Dokl. Akad. Nauk SSSR, 297:3 (1987), 521–523 ; Dokl. Math., 36:3 (1988), 478–480 |
|
1986 |
| 7. |
S. N. Artemov, “Superintuitionistic logics that have a provability interpretation”, Dokl. Akad. Nauk SSSR, 291:6 (1986), 1289–1291 |
| 8. |
S. N. Artemov, “Numerically correct logics of provability”, Dokl. Akad. Nauk SSSR, 290:6 (1986), 1289–1292 |
1
|
|
1985 |
| 9. |
S. N. Artemov, “Nonarithmeticity of truth predicate logics of provability”, Dokl. Akad. Nauk SSSR, 284:2 (1985), 270–271 |
3
|
| 10. |
S. N. Artemov, “On modal logics axiomatizing provability”, Izv. Akad. Nauk SSSR Ser. Mat., 49:6 (1985), 1123–1154 ; Math. USSR-Izv., 27:3 (1986), 401–429 |
9
|
|
|
|
2023 |
| 11. |
S. N. Artemov, L. D. Beklemishev, L. Ya. Borkin, A. M. Vershik, E. A. Hirsch, E. Ya. Dantsin, I. A. Ibragimov, E. V. Kalmens, V. Ya. Kreinovich, D. A. Koubenski, A. A. Lodkin, Yu. V. Matiyasevich, B. A. Novikov, V. P. Orevkov, A. L. Semenov, A. O. Slissenko, A. Kh. Shen, “Gregory Samuilovich Tseytin (obituary)”, Uspekhi Mat. Nauk, 78:3(471) (2023), 170–176 ; Russian Math. Surveys, 78:3 (2023), 555–561 |
|
2022 |
| 12. |
S. N. Artemov, J. M. Barzdiņš, L. A. Bokut', Yu. Gurevich, A. M. Dekhtyar', L. A. Levin, I. A. Lomazova, Yu. V. Matiyasevich, V. A. Nepomnyashchii, S. P. Novikov, A. Rabinovich, V. Yu. Sazonov, A. O. Slisenko, V. A. Sokolov, M. B. Trakhtenbrot, N. V. Shilov, “Boris Abramovich Trakhtenbrot (on the centenary of his birth)”, Uspekhi Mat. Nauk, 77:1(463) (2022), 191–195 ; Russian Math. Surveys, 77:1 (2022), 183–188 |
|
| Presentations in Math-Net.Ru |
|
|
| Organisations |
|
| |
|
|
Contact us: