Lecture Notes in Computer Science
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Main page
About this project
Software
Classifications
Links
Terms of Use

Search papers
Search references

RSS
Current issues
Archive issues
What is RSS






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Lecture Notes in Comput. Sci., 2016, Volume 9804, Pages 240–256 (Mi lncs5)  

Undecidability of the Lambek calculus with a relevant modality

Max Kanovichab, Stepan Kuznetsovc, Andre Scedrovbd

a University College London, London, UK
b National Research University Higher School of Economics, Moscow, Russian Federation
c Steklov Mathematical Institute, Moscow, Russian Federation
d University of Pennsylvania, Philadelphia, USA

Funding Agency Grant Number
Russian Foundation for Basic Research 15-01-09218-a
14-01-00127-a
Ministry of Education and Science of the Russian Federation NSh-9091.2016.1
Engineering and Physical Sciences Research Council
Office of Naval Research
Stepan Kuznetsov抯 research was supported by the Russian Foundation for Basic Research (grants 15-01-09218-a and 14-01-00127-a) and by the Undecidability of the Lambek Calculus with a Relevant Modality 255 Presidential Council for Support of Leading Scientific Schools (grant NSh-9091.2016.1). Max Kanovich抯 research was partially supported by EPSRC. Andre Scedrov抯 research was partially supported by ONR. This research was performed in part during visits of Stepan Kuznetsov and Max Kanovich to the University of Pennsylvania. We greatly appreciate support of the Mathematics Department of the University. A part of the work was also done during the stay of Andre Scedrov at the National Research University Higher School of Economics. We would like to thank S.O. Kuznetsov and I.A. Makarov for hosting there. The paper was prepared in part within the framework of the Basic Research Program at the National Research University Higher School of Economics (HSE) and was partially supported within the framework of a subsidy by the Russian Academic Excellence Project 𔪧00.


DOI: https://doi.org/10.1007/978-3-662-53042-9_14


Bibliographic databases:

ArXiv: 1601.06303
Language:

Linking options:
  • http://mi.mathnet.ru/eng/lncs5

    SHARE: 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
  • Number of views:
    This page:86

     
    Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021