Impossibility of an embedding of the logic $\operatorname{HC}$ into $\operatorname{IEL}^+$ preserving the classical implication
- Authors: Onoprienko A.A.1
-
Affiliations:
- National Research University Higher School of Economics
- Issue: Vol 80, No 5 (2025)
- Pages: 187-188
- Section: SHORT MESSAGES
- URL: https://journals.rcsi.science/0042-1316/article/view/331275
- DOI: https://doi.org/10.4213/rm10263
- ID: 331275
Cite item
Open Access
Access granted
Subscription Access
Abstract
About the authors
Anastasiya Aleksandrovna Onoprienko
National Research University Higher School of Economics
Email: ansidiana@yandex.ru
ORCID iD: 0000-0001-5827-4715
SPIN-code: 4418-4668
Scopus Author ID: 56971162600
ResearcherId: AAX-2140-2020
Candidate of physico-mathematical sciences, no status
References
- S. Artemov, T. Protopopescu, Intuitionistic epistemic logic, vers. 2, 2014 (v1 – 2014, v4 – 2016), 41 pp.
- D. Prawitz, P.-E. Malmnäs, Contributions to mathematical logic (Hannover, 1966), Stud. Logic Found. Math., 50, North-Holland Publishing Co., Amsterdam, 1968, 215–229
- G. Ferreira, P. Oliva, Logic, construction, computation, Ontos Math. Log., 3, Ontos Verlag, Heusenstamm, 2012, 227–258
Supplementary files
