We use cookies in order to improve the quality and usability of the HSE website. More information about the use of cookies is available here, and the regulations on processing personal data can be found here. By continuing to use the site, you hereby confirm that you have been informed of the use of cookies by the HSE website and agree with our rules for processing personal data. You may disable cookies in your browser settings.
Laboratory Head – Elena Dragalina-Chernaya
Deputy Head – Vitaliy Dolgorukov
Contacts:
Manager – Tatiana Khromova
Contacts: 105066, Moscow, Staraya Basmannaya, 21/4,
A-121, a-122, B-513.
+7 (495) 772-95-90 ext. 23247
llfp@hse.ru
The journal "Russian Mathematical Surveys" has published an article by Anastasia Onoprienko titled "Impossibility of an embedding of the logic HC into IEL+ preserving the classical implication."
