Oleg Fedorovich Serebryannikov (1930--1991)
Fedorov, B. N. ; Dzhaliashvili, Z. O.
Mod. Log., Tome 6 (1996) no. 1, p. 300-301 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Oleg Fedorovich Serebryannikov, whose scientific career was carried out at the University of Saint-Petersburg, died in 1991. He was especially interested in heuristic problems and principles of mathematical problems solving and in their connection with methods of formal deduction. In his technical research, he was noted for his work on normalization proofs, that is for proofs of cutelimination, or normal form theorems, for Gentzen-type calculi, and for modal logics, such as the systems S4.2 and S5.
Publié le : 1996-07-15
Classification:  01A70 
@article{1204835731,
     author = {Fedorov, B. N. and Dzhaliashvili, Z. O.},
     title = {Oleg Fedorovich Serebryannikov (1930--1991)},
     journal = {Mod. Log.},
     volume = {6},
     number = {1},
     year = {1996},
     pages = { 300-301},
     language = {ru},
     url = {http://dml.mathdoc.fr/item/1204835731}
}

Fedorov, B. N.; Dzhaliashvili, Z. O. Oleg Fedorovich Serebryannikov (1930--1991). Mod. Log., Tome 6 (1996) no. 1, pp.  300-301. http://gdmltest.u-ga.fr/item/1204835731/