Oleg Fedorovich Serebryannikov (1930--1991)

B. N. Fedorov; Z. O. Dzhaliashvili

doi:rml/1204835731

Password Forgot your password?

Show

Remember Email on this computer

Remember Password

Please wait...

No Project Euclid account? Create an account
or Sign in with your institutional credentials

We can help you reset your password using the email address linked to your Project Euclid account.

Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches. Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content. Contact customer_support@projecteuclid.org with any questions.
View Project Euclid Privacy Policy

All Fields are Required

* First Name

* Last/Family Name

* Email

* Password

Password Requirements: Minimum 8 characters, must include as least one uppercase, one lowercase letter, and one number or permitted symbol Valid Symbols for password:
~ Tilde
! Exclamation Mark
@ At sign
$ Dollar sign
^ Caret
( Opening Parenthesis
) Closing Parenthesis
_ Underscore
. Period

* Confirm Password

Please wait...

Web Account created successfully

Browse
Resources
About

Advanced Search

Home > Journals > Mod. Log. > Volume 6 > Issue 3 > Article

July 1996 Oleg Fedorovich Serebryannikov (1930--1991)

B. N. Fedorov, Z. O. Dzhaliashvili

Mod. Log. 6(3): 300-301 (July 1996).

ABOUT
FIRST PAGE
CITED BY
DOWNLOAD PAPER SAVE TO MY LIBRARY

PERSONAL SIGN IN
Full access may be available with your subscription

Password Forgot your password?

Show

Remember Email on this computer

Remember Password

No Project Euclid account? Create an account
or Sign in with your institutional credentials

PURCHASE SINGLE ARTICLE

This article is only available to subscribers. It is not available for individual sale.

This will count as one of your downloads.

You will have access to both the presentation and article (if available).

DOWNLOAD NOW

This content is available for download via your institution's subscription. To access this item, please sign in to your personal account.

Password Forgot your password?

Show

Remember Email on this computer

Remember Password

No Project Euclid account? Create an account

My Library

You currently do not have any folders to save your paper to! Create a new folder below.

Abstract

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.