Korsakov, Sergey Nikolaevich From the history of the renaissance of logic in the USSR in 1941–1946. II. (Russian. English summary) Zbl 1370.97001 Log. Issled. 22, No. 1, 145-170 (2016). Reviewer: Jim Mackenzie (Sydney) MSC: 97-03 01A60 97E30 03-03 PDF BibTeX XML Cite \textit{S. N. Korsakov}, Log. Issled. 22, No. 1, 145--170 (2016; Zbl 1370.97001)
Sedov, Yuri Grigor’evich Remarks concerning the phenomenological foundations of mathematics. (Remarks conserning the phenomenalogical foundations of mathematics.) (English) Zbl 1370.03012 Log. Issled. 22, No. 1, 136-144 (2016). Reviewer: Valentin F. Goranko (Johannesburg) MSC: 03A05 00A30 18A15 PDF BibTeX XML Cite \textit{Y. G. Sedov}, Log. Issled. 22, No. 1, 136--144 (2016; Zbl 1370.03012)
Shalack, Vladimir Ivanovich On first-order theories which can be represented by definitions. (English) Zbl 1392.03019 Log. Issled. 22, No. 1, 125-135 (2016). MSC: 03B10 PDF BibTeX XML Cite \textit{V. I. Shalack}, Log. Issled. 22, No. 1, 125--135 (2016; Zbl 1392.03019)
Petrukhin, Yaroslav Igorevich Correspondence analysis for first degree entailment. (English) Zbl 1364.03037 Log. Issled. 22, No. 1, 108-124 (2016). Reviewer: Manfred Kerber (Birmingham) MSC: 03B50 03B53 PDF BibTeX XML Cite \textit{Y. I. Petrukhin}, Log. Issled. 22, No. 1, 108--124 (2016; Zbl 1364.03037)
Maximov, Dmitriĭ Yur’evich N. A. Vasiliev’s logic and many-valued logics. (Russian. English summary) Zbl 1393.03011 Log. Issled. 22, No. 1, 82-107 (2016). MSC: 03B50 03B53 03B60 PDF BibTeX XML Cite \textit{D. Y. Maximov}, Log. Issled. 22, No. 1, 82--107 (2016; Zbl 1393.03011)
Markin, Vladimir Ilyich The interpretation of categorical propositions in terms of relevant entailment. (Russian. English summary) Zbl 1392.03031 Log. Issled. 22, No. 1, 70-81 (2016). MSC: 03B47 03B20 PDF BibTeX XML Cite \textit{V. I. Markin}, Log. Issled. 22, No. 1, 70--81 (2016; Zbl 1392.03031)
Popov, Vladimir Mikhailovich Sequent axiomatization and semantics of I-logics of Vasiliev’s type. (Russian. English summary) Zbl 1392.03040 Log. Issled. 22, No. 1, 32-69 (2016). MSC: 03B60 PDF BibTeX XML Cite \textit{V. M. Popov}, Log. Issled. 22, No. 1, 32--69 (2016; Zbl 1392.03040)
Karpenko, A. S.; Chagrov, A. V. Modal propositional truth logic Tr and its completeness. (Russian. English summary) Zbl 1392.03028 Log. Issled. 22, No. 1, 13-31 (2016). MSC: 03B45 03B50 PDF BibTeX XML Cite \textit{A. S. Karpenko} and \textit{A. V. Chagrov}, Log. Issled. 22, No. 1, 13--31 (2016; Zbl 1392.03028)
Karpenko, A. S. Obituary: Jaakko Hintikka (1929–2015). (Russian) Zbl 1377.01029 Log. Issled. 22, No. 1, 9-12 (2016). MSC: 01A70 PDF BibTeX XML Cite \textit{A. S. Karpenko}, Log. Issled. 22, No. 1, 9--12 (2016; Zbl 1377.01029) Full Text: DOI