Некоторые логические идеи В. А. Смирнова.

Abstract

This article examines V.A.Smirnov's logical ideas where many trends of the modern logic development have been foreseen. First of all it is a logical reconstruction of the ideas of Russian logician N.A.Vasil'ev. Then it is V.A.Smirnov's elaboration of the subject of classification of logical calculi and the first works in the world on logics without contraction rules. And the last but not least V.A.Smirnov's development of such an essential subject as the relations between formal theories.