A. A. Onoprienko, “Impossibility of an embedding of the logic $\operatorname{HC}$ into $\operatorname{IEL}^+$ preserving the classical implication”, Uspekhi Mat. Nauk, 2025, Volume 80, Issue 5(485),Pages 187

JOURNALS // Uspekhi Matematicheskikh Nauk // Archive

Uspekhi Mat. Nauk, 2025 Volume 80, Issue 5(485), Pages 187–188 (Mi rm10263)

Brief communications

Impossibility of an embedding of the logic $\operatorname{HC}$ into $\operatorname{IEL}^+$ preserving the classical implication

A. A. Onoprienko

HSE University

MSC: 03B20

Received: 17.07.2025
Presented: A. M. Raigorodskii
Accepted: 17.07.2025

DOI: 10.4213/rm10263

Fulltext: PDF file (314 kB)
First page: PDF file
References

English version: Russian Mathematical Surveys, 2025, 80:5, 928–930

Bibliographic databases: