Publications in Math-Net.Ru |
|
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 |
|
2003 |
2. |
S. N. Artemov, “Embedding of the Modal $\lambda$-Calculus into the Logic of Proofs”, Tr. Mat. Inst. Steklova, 242 (2003), 44–58 ; Proc. Steklov Inst. Math., 242 (2003), 36–49 |
|
2001 |
3. |
S. N. Artemov, T. Yavorskaya, “On first order logic of proofs”, Mosc. Math. J., 1:4 (2001), 475–490 |
|
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 |
|
1985 |
9. |
S. N. Artemov, “Nonarithmeticity of truth predicate logics of provability”, Dokl. Akad. Nauk SSSR, 284:2 (1985), 270–271 |
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 |
|