This volume contains original contributions dedicated to Vladimir A. Smirnov by some of the leading scholars in Russia, the United States, Japan, Finland, Brazil, the Netherlands, Poland, and Hungary. Most of the papers deal with topics in which Smirnov has taken a direct interest. These include the problems of non-classical logics, logical semantics, analysis of logical proofs, and applications of logical methods to the methodology of science. The volume contains a selected bibliography of Smirnov's works. It is of interest to all students of philosophical and mathematical logic,...