V. A. Smirnov's results in the field of modern formal logic (Q1595913)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: V. A. Smirnov's results in the field of modern formal logic |
scientific article; zbMATH DE number 1565442
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | V. A. Smirnov's results in the field of modern formal logic |
scientific article; zbMATH DE number 1565442 |
Statements
V. A. Smirnov's results in the field of modern formal logic (English)
0 references
18 February 2001
0 references
This article is written by a team in the Department of Logic in the Russian Academy, ``under general editorship [sic] of A. S. Karpenko''. This collective surveys the main parts of Smirnov's various contributions to logic, emphasising above all his doctoral thesis of 1972, which included an attempt to classify logical calculi. Here and elsewhere he dealt with various logics, including modal, temporal many-valued and free ones.
0 references
many valued logics
0 references
modal logics
0 references
0.8578764200210571
0 references
0.8118144869804382
0 references
