Краткие сообщения

Невозможность погружения логики $\operatorname{HC}$ в логику $\operatorname{IEL}^+$ с сохранением классической импликации

А. А. Оноприенко

Национальный исследовательский университет "Высшая школа экономики"

Поступила в редакцию: 17.07.2025
Представлено: А. М. Райгородский
Принято редколлегией: 17.07.2025

DOI: 10.4213/rm10263