Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Keywords: intuitionistic predicate calculus; sequent; cut-elimination; decidable class; reduction class; complexity of proof; inverse method; resolution method; proof-search strategy; unification problem; unifier; constructive metric space.

Main publications:

• 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.

Publications in Math-Net.Ru

Books in Math-Net.Ru

Personal pages:

• 
• 

Organisations:

• St. Petersburg Department of Steklov Mathematical Institute of Russian Academy of Sciences
• St. Petersburg State University, Mathematics and Mechanics Faculty