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

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

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






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


Lecture Notes in Comput. Sci., 2014, том 8222, страницы 268–278 (Mi lncs14)  

$L$-completeness of the Lambek calculus with the reversal operation allowing empty antecedents

S. Kuznetsov

Moscow State University, Russia

Аннотация: In this paper we prove that the Lambek calculus allowing empty antecedents and enriched with a unary connective corresponding to language reversal is complete with respect to the class of models on subsets of free monoids ($L$-models).

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 11-01-00281-a
12-01-00888-a
Министерство образования и науки Российской Федерации NSh-65648.2010.1
Swiss National Science Foundation STCP-CH-RU, project “Computational Proof Theory”
This research was supported by the Russian Foundation for Basic Research (grants 11-01-00281-a and 12-01-00888-a), by the Presidential Council for Support of Leading Research Schools (grant NSh-65648.2010.1) and by the Scientific and Technological Cooperation Programme Switzerland–Russia (STCP-CH-RU, project “Computational Proof Theory”).


DOI: https://doi.org/10.1007/978-3-642-54789-8_15


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

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

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

    ОТПРАВИТЬ: 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
  • Просмотров:
    Эта страница:31

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019