Image of Soviet and Russian logic in the West. Latter Half of the XXth Century
From MaRDI portal
Publication:5059702
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
bibliographymathematical logicnon-classical logictraditional logichistory of logic in Russia and USSR
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