Journal of Logic, Language and Information
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Главная страница
О проекте
Программное обеспечение
Классификаторы
Полезные ссылки
Пользовательское
соглашение

Поиск публикаций
Поиск ссылок

RSS
Текущие выпуски
Архивные выпуски
Что такое RSS






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


J. Logic Lang. Inf., 2021, том 30, страницы 31–88 (Mi jlli2)  

The multiplicative-additive Lambek calculus with subexponential and bracket modalities

Max Kanovichab, Stepan Kuznetsovbc, Andre Scedrovdc

a University College London, Gowers St., London, UK
b Steklov Mathematical Institute of the Russian Academy of Sciences, 8 Gubkina St., Moscow, Russia
c National Research University Higher School of Economics, 11 Pokrovsky Blvd., Moscow, Russia
d University of Pennsylvania, 209 South 33rd St., Philadelphia, PA, USA

Финансовая поддержка Номер гранта
EPSRC - Engineering and Physical Sciences Research Council EP/R006865/1
Министерство образования и науки Российской Федерации 5-100
Конкурс «Молодая математика России»
Российский фонд фундаментальных исследований 20-01-00435
The work of Max Kanovich was partially supported by EPSRC Programme Grant EP/R006865/1: “Interface Reasoning for Interacting Systems (IRIS).” The work of Andre Scedrov and Stepan Kuznetsov was prepared within the framework of the HSE University Basic Research Program and partially funded by the Russian Academic Excellence Project ‘5–100.’ The work of Stepan Kuznetsov was also partially supported by the Council of the President of Russia for Support of Young Russian Researchers and Leading Research Schools of the Russian Federation, by the Young Russian Mathematics Award, and by the Russian Foundation for Basic Research Grant 20-01-00435.


DOI: https://doi.org/10.1007/s10849-020-09320-9


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

Тип публикации: Статья
Язык публикации: английский

Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/jlli2

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Просмотров:
    Эта страница:21
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021