Некоторые логические идеи В. А. Смирнова.
##plugins.themes.bootstrap3.article.main##
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.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Karpenko A. Некоторые логические идеи В. А. Смирнова. // Logicheskie Issledovaniya / Logical Investigations. 1998. VOL. 5. C. 7-18.
Issue
Section
Papers