|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
1. |
А. А. Оноприенко, “Поправка к статье “Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC””, Докл. РАН. Матем., информ., проц. упр., 515 (2024), 124 |
2. |
А. А. Оноприенко, “Битопологические модели интуиционистской эпистемической логики”, УМН, 79:1(475) (2024), 189–190 ; A. A. Onoprienko, “Bitopological models of intuitionistic epistemic logic”, Russian Math. Surveys, 79:1 (2024), 179–181 |
|
2023 |
3. |
А. А. Оноприенко, “Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC”, Докл. РАН. Матем., информ., проц. упр., 514:1 (2023), 123–128 ; A. A. Onoprienko, “On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC”, Dokl. Math., 108:3 (2023), 528–532 |
|
2022 |
4. |
А. А. Оноприенко, “Теорема о понижении мощности для логик ${\mathrm{QHC}}$ и ${\mathrm{QH4}}$”, Алгебра и логика, 61:6 (2022), 720–741 |
5. |
А. А. Оноприенко, “Предикатный вариант совместной логики задач и высказываний”, Матем. сб., 213:7 (2022), 97–120 ; A. A. Onoprienko, “The predicate version of the joint logic of problems and propositions”, Sb. Math., 213:7 (2022), 981–1003 |
7
|
6. |
А. А. Оноприенко, “Топологические модели пропозициональной логики задач и высказываний”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2022, № 5, 25–30 ; A. A. Onoprienko, “Topological models of propositional logic of problems and propositions”, Moscow University Mathematics Bulletin, 77:5 (2022), 236–241 |
5
|
|
2021 |
7. |
А. А. Оноприенко, “Семантика Крипке объединённой логики задач и высказываний”, Интеллектуальные системы. Теория и приложения, 25:4 (2021), 333–336 |
|
2020 |
8. |
А. А. Оноприенко, “Семантика типа Крипке для пропозициональной логики задач и высказываний”, Матем. сб., 211:5 (2020), 98–125 ; A. A. Onoprienko, “Kripke semantics for the logic of problems and propositions”, Sb. Math., 211:5 (2020), 709–732 |
7
|
|
2015 |
9. |
Л. Д. Беклемишев, А. А. Оноприенко, “О некоторых медленно сходящихся системах преобразований термов”, Матем. сб., 206:9 (2015), 3–20 ; L. D. Beklemishev, A. A. Onoprienko, “On some slowly terminating term rewriting systems”, Sb. Math., 206:9 (2015), 1173–1190 |
4
|
|
|
|
2020 |
10. |
А. Оноприенко, “Непрерывность дискретная и обычная”, Квант, 2020, № 2, 38–42 |
|
2018 |
11. |
А. Оноприенко, “Геометрия клетчатой бумаги”, Квант, 2018, № 11, 27–30 |
|