Image of Soviet and Russian logic in the West. Latter Half of the XXth Century

DOI10.21146/2074-1472-2021-27-2-133-152OpenAlexW4200242934MaRDI QIDQ5059702

Valentin A. Bazhanov, Irving H. Anellis

Publication date: 16 January 2023

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2021-27-2-133-152

zbMATH Keywords

bibliographymathematical logicnon-classical logictraditional logichistory of logic in Russia and USSR

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917 -- 1957
• Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates
• Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain
• Zur Deutung der intuitionistischen Logik
• Vladimir Alexandrovich Smirnov as a founder of research schools in logic and methodology of science in the USSR and Russia
• The logical legacy of Nikolai Vasiliev and modern logic
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• Foundations of the logical theory of scientific knowledge (complex logic). Translated from the Russian by T. J. Blakeley. Revised and enlarged English edition with an appendix by G. A. Smirnov, E. A. Sidorenko, A. M. Fedina, and L. A. Bobrova
• The heritage of S. A. Janovskaja
• Proof theory in the USSR 1925–1969
• Theorie der Numerierungen I
• Restoration: S. A. Yanovskaya's path in logic
• The problem of formalization of some nonstandard semantics
• Russian Origins of Non-Classical Logics
• In Memoriam: Vladimir Aleksandrovich Smirnov 1931–1996
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Image of Soviet and Russian logic in the West. Latter Half of the XXth Century