Результаты В. А. Смирнова в области современной формальной логики.

Abstract

This article is an analytical review of V.A.Smirnov's main results in the modem logic. The work has been done under the general editorial ships of A. S. Karpenko by research working in the department of logic of the Institute of Philosophy RAS. The following topics are considered:

I. Formal inference and logical calculi.

II. Relevant logics.

III. Classification of logical calculi.

IV. Implicational calculi and their classification.

V. Definibility and logical relation between theories.

VI. Modal-temporal logics.

VII. Combined logics.

VIII. Multidimensional logics.

IX. SiIlogistics.

X. Lesniewski’s systems.

XI. Paraconsistent logics.

XII. Quite free systems.

XIII. Proof theory.