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

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

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

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

MSC: 03B20

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

DOI: 10.4213/rm10263

 Англоязычная версия: Russian Mathematical Surveys, 2025, 80:5, 928–930

Реферативные базы данных:

• 
•