V.A. Smirnov's Results in the Field of Modern Formal Logic
Abstract:This paper is a survey of V.A. Smirnov's main results in modern logic.
Keywords: Leniewski's systems; combined logics; definability; formal inference; implicational calculi; logical calculi; modal-temporal logics; multidimensional logics; proof theory; relevant logics; syllogistics
Document Type: Regular Paper
Publication date: November 1, 2000