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

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

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


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