–
Статьи в журналах
-
- 2019 The Method of Socratic Proofs Meets Correspondence Analysis
- Leszczyńska-Jasion Dorota, Petrukhin Yaroslav, Shangin Vasilyi
- в журнале Bulletin of the section of logic, том 48, № 2, с. 99-116 DOI
-
- 2019 Functional Completeness in CPL via Correspondence Analysis
- Leszczyńska-Jasion Dorota, Petrukhin Yaroslav, Shangin Vasilyi, Jukiewicz Marcin
- в журнале Bulletin of the section of logic, том 48, № 1, с. 45-76 DOI
Тезисы докладов
-
- 2019 Socratic proofs in correspondence analysis framework
- Leszczyńska-Jasion D., Petrukhin Y.I., Shangin V.O., Jukiewicz M.
- в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 65-66