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

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

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


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