Доклад Анастасии Оноприенко и Михаила Рыбакова в Казани

21 августа на VI Конференции математических центров России в Казани Анастасия Оноприенко и Михаил Рыбаков представили доклад, посвящённый сложности логики HC — гибридной системы, объединяющей классическую и интуиционистскую логики, а также её фрагментов.

А. Оноприенко, М. Рыбаков

21 августа 2026 года А. Оноприенко и М. Рыбаковым был представлен доклад (докладчик А. Оноприенко) на VI Конференции математических центров России, проходившей в этом году в Казани. На докладе были представлены новые результаты, касающиеся сложности совместной логики задач и высказываний (сочетающей классическую и интуиционистскую логики), а также её естественных фрагментов.