Mints G., Orevkov V. P., Tammet T. Transfer of sequent calculus strategies to resolution for S4 // Proof Theory of Modal Logic, Kluwer Academic Publishers, 1996, 17–31.
Orevkov V. P. Complexity of proofs and their transformations in axiomatic theories // Amer. Math. Soc. Translations of mathematical monographs, v. 128, 1993.
V. P. Orevkov, “Upper and lower bounds on the height of proofs in sequent calculus for intuitionistic logic”, Zap. Nauchn. Sem. POMI, 497 (2020), 124–169
2012
2.
V. P. Orevkov, “Cut for resolution method”, Zap. Nauchn. Sem. POMI, 407 (2012), 111–128; J. Math. Sci. (N. Y.), 199:1 (2014), 56–65
2004
3.
V. P. Orevkov, “A new decidable Horn fragment of the predicate calculus”, Zap. Nauchn. Sem. POMI, 316 (2004), 147–162; J. Math. Sci. (N. Y.), 134:5 (2006), 2403–2410
1989
4.
V. P. Orevkov, “A note on a extension of Kreisel's conjecture”, Zap. Nauchn. Sem. LOMI, 176 (1989), 118–126; J. Soviet Math., 59:3 (1992), 850–855
1988
5.
V. P. Orevkov, “Schemes of proof in Hilbert-type axiomatic theories”, Zap. Nauchn. Sem. LOMI, 174 (1988), 132–146; J. Soviet Math., 55:2 (1991), 1610–1620
V. P. Orevkov, “Applications of cut elimination for obtaining bounds on the lengths of proofs”, Dokl. Akad. Nauk SSSR, 296:3 (1987), 539–542; Dokl. Math., 36:2 (1988), 292–295
7.
V. P. Orevkov, “Lower bounds for the lengths of deductions in arithmetic in terms
of the complexity of the terms involved in the deductions”, Dokl. Akad. Nauk SSSR, 294:4 (1987), 784–787
8.
V. P. Orevkov, “Reconstruction of a proof by its scheme”, Dokl. Akad. Nauk SSSR, 293:2 (1987), 313–316
V. P. Orevkov, “Upper bounds for lengthening of proofs after cut-elimination”, Zap. Nauchn. Sem. LOMI, 137 (1984), 87–98
1979
10.
V. P. Orevkov, “Three ways of recognizing essential formulas in sequents”, Zap. Nauchn. Sem. LOMI, 88 (1979), 163–175; J. Soviet Math., 20:4 (1982), 2351–2357
V. P. Orevkov, “Lower bounds for lengthening of proofs after cut-elimination”, Zap. Nauchn. Sem. LOMI, 88 (1979), 137–162; J. Soviet Math., 20:4 (1982), 2337–2350
V. P. Orevkov, “Solvable classes of pseudoprenex formulas”, Zap. Nauchn. Sem. LOMI, 60 (1976), 109–170; J. Soviet Math., 14:5 (1980), 1497–1538
1974
13.
V. P. Orevkov, “New proof of the uniqueness theorem for the differentiable complex-variable functions”, Zap. Nauchn. Sem. LOMI, 40 (1974), 119–126
1973
14.
V. P. Orevkov, “The complexity of the expansion of algebraic irrationalities in continued fractions”, Trudy Mat. Inst. Steklov., 129 (1973), 24–29; Proc. Steklov Inst. Math., 1929 (1973), 20–24
1972
15.
V. P. Orevkov, “Undecidable classes of formulas for the constructive predicate calculus. I”, Trudy Mat. Inst. Steklov., 121 (1972), 100–108; Proc. Steklov Inst. Math., 121 (1972), 111–119
16.
S. Yu. Maslov, V. P. Orevkov, “Decidable classes that reduce to a single quantifier class”, Trudy Mat. Inst. Steklov., 121 (1972), 57–66; Proc. Steklov Inst. Math., 121 (1972), 61–72
17.
V. P. Orevkov, “A specialization of Gentzen-type deductions and its application”, Zap. Nauchn. Sem. LOMI, 32 (1972), 98–104
V. P. Orevkov, “On biconjunctive reduction classes”, Zap. Nauchn. Sem. LOMI, 20 (1971), 170–174
19.
V. P. Orevkov, “On the continuity of constructive functionals”, Zap. Nauchn. Sem. LOMI, 20 (1971), 160–169
20.
V. P. Orevkov, “The equivalence of the two definitions of recursive continuity”, Zap. Nauchn. Sem. LOMI, 20 (1971), 145–159
1969
21.
V. P. Orevkov, “Some properties of homeomorphisms of constructive metric spaces”, Zap. Nauchn. Sem. LOMI, 16 (1969), 157–164
22.
V. P. Orevkov, “On non-lengthening applications of equality rules”, Zap. Nauchn. Sem. LOMI, 16 (1969), 152–156
23.
G. V. Davydov, S. Yu. Maslov, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “A computer algorithm for establishing deducibility, based on the inverse method”, Zap. Nauchn. Sem. LOMI, 16 (1969), 8–19
1968
24.
V. P. Orevkov, “On Glivenko sequent classes”, Trudy Mat. Inst. Steklov., 98 (1968), 131–154; Proc. Steklov Inst. Math., 98 (1968), 147–173
V. P. Orevkov, “Two unsolvable classes of formulas of classical predicate calculus”, Zap. Nauchn. Sem. LOMI, 8 (1968), 202–210
26.
V. P. Orevkov, “Glivenko classes of sequents”, Zap. Nauchn. Sem. LOMI, 8 (1968), 196–201
1967
27.
V. P. Orevkov, “On certain types of continuity of constructive operators”, Trudy Mat. Inst. Steklov., 93 (1967), 164–186; Proc. Steklov Inst. Math., 93 (1970), 211–239
V. P. Orevkov, “On constructive mappings of finite polyhedra”, Trudy Mat. Inst. Steklov., 93 (1967), 142–163
29.
V. P. Orevkov, “Unsolvability in the modal predicate calculus of the class of formulas containing only one monadic predicate variable”, Zap. Nauchn. Sem. LOMI, 4 (1967), 168–173
30.
G. E. Mints, V. P. Orevkov, “On embedding operations”, Zap. Nauchn. Sem. LOMI, 4 (1967), 160–167
V. P. Orevkov, “Unsolvability in constructive predicate calculus of a class of formulas of type $\daleth\daleth\forall\exists$”, Dokl. Akad. Nauk SSSR, 163:3 (1965), 581–583
32.
S. Yu. Maslov, G. E. Mints, V. P. Orevkov, “Insolvability in the constructive calculus of predicates of certain classes of formulae containing only one-place predicate variables”, Dokl. Akad. Nauk SSSR, 163:2 (1965), 295–297
33.
V. P. Orevkov, “Certain reduction classes and solvable classes of sequents for the constructive calculus of predicates”, Dokl. Akad. Nauk SSSR, 163:1 (1965), 30–32
1964
34.
V. P. Orevkov, “Certain questions of the theory of polynomials with constructive real coefficients”, Trudy Mat. Inst. Steklov., 72 (1964), 462–487
35.
V. P. Orevkov, “On constructive mappings of a circle into itself”, Trudy Mat. Inst. Steklov., 72 (1964), 437–461
1963
36.
G. E. Mints, V. P. Orevkov, “A generalization of the theorems of V. I. Glivenko and G. Kreisel to a class of formulae of the predicate calculus”, Dokl. Akad. Nauk SSSR, 152:3 (1963), 553–554
37.
V. P. Orevkov, “Constructive mappings of polyhedra”, Dokl. Akad. Nauk SSSR, 152:2 (1963), 278–281
38.
V. P. Orevkov, “A constructive map of the square into itself, which moves every constructive point”, Dokl. Akad. Nauk SSSR, 152:1 (1963), 55–58
2023
39.
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
2013
40.
M. A. Vsemirnov, È. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, I. D. Zaslavskii, È. F. Karavaev, B. Yu. Konev, N. K. Kossovskii, V. A. Lifschitz, M. Margenstern, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, R. Pliuškevičius, A. O. Slisenko, S. V. Solov'ev, V. P. Chernov, “Nikolai Aleksandrovich Shanin (obituary)”, Uspekhi Mat. Nauk, 68:4(412) (2013), 173–176; Russian Math. Surveys, 68:4 (2013), 763–767
2001
41.
M. A. Vsemirnov, E. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, A. A. Ivanov, B. Yu. Konev, V. A. Lifshits, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his 80th birthday)”, Uspekhi Mat. Nauk, 56:3(339) (2001), 181–184; Russian Math. Surveys, 56:3 (2001), 601–605
Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his seventieth birthday)”, Uspekhi Mat. Nauk, 45:1(271) (1990), 205–206; Russian Math. Surveys, 45:1 (1990), 239–240
G. V. Davydov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, A. V. Sochilina, N. A. Shanin, “Sergei Yur'evich Maslov (obituary)”, Uspekhi Mat. Nauk, 39:2(236) (1984), 129–130; Russian Math. Surveys, 39:2 (1984), 133–135
S. Yu. Maslov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his sixtieth birthday)”, Uspekhi Mat. Nauk, 35:2(212) (1980), 241–245; Russian Math. Surveys, 35:2 (1980), 277–282