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

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

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


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