Оноприенко Анастасия Александровна

Публикации в базе данных Math-Net.Ru

1. Невозможность погружения логики $\operatorname{HC}$ в логику $\operatorname{IEL}^+$ с сохранением классической импликации
   
   УМН, 80:5(485) (2025),  187–188
2. Кафедра математической логики и теории алгоритмов
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2025, № 1,  23–32
3. Поправка к статье “Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC”
   
   Докл. РАН. Матем., информ., проц. упр., 515 (2024),  124
4. Битопологические модели интуиционистской эпистемической логики
   
   УМН, 79:1(475) (2024),  189–190
5. Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC
   
   Докл. РАН. Матем., информ., проц. упр., 514:1 (2023),  123–128
6. Теорема о понижении мощности для логик ${\mathrm{QHC}}$ и ${\mathrm{QH4}}$
   
   Алгебра и логика, 61:6 (2022),  720–741
7. Предикатный вариант совместной логики задач и высказываний
   
   Матем. сб., 213:7 (2022),  97–120
8. Топологические модели пропозициональной логики задач и высказываний
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2022, № 5,  25–30
9. Семантика Крипке объединённой логики задач и высказываний
   
   Интеллектуальные системы. Теория и приложения, 25:4 (2021),  333–336
10. Семантика типа Крипке для пропозициональной логики задач и высказываний
    
    Матем. сб., 211:5 (2020),  98–125
11. О некоторых медленно сходящихся системах преобразований термов
    
    Матем. сб., 206:9 (2015),  3–20


12. Нужно больше золота!
    
    Квант, 2024, № 11-12,  10–17
13. Непрерывность дискретная и обычная
    
    Квант, 2020, № 2,  38–42
14. Геометрия клетчатой бумаги
    
    Квант, 2018, № 11,  27–30