Vladimir Smirnov, D.Sc., Professor, was an outstanding scholar in symbolic logic, cognitive science and methodology of science.
His results made a notable contribution to natural calculi, proof search in natural calculi, sylogistics, definability theory, relations between logical systems and scientific theories; temporal and relevant logics, paraconsistent logics; reconstructions of logical ideas of N.A. Vasiliev and costruction of two-dimensional and multidimensional logics, genetic method of scientic theory construction, problems of philosophy of mathematics, interrelations of logic and ontology, Lesniewski’s systems analysis. He did a considerable research in differents fields of logic. [TBU]