|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
L-completeness of the Lambek calculus with the reversal operationстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 28 мая 2015 г.
- Автор: Kuznetsov S.
- Сборник: Logical Aspects of Computational Linguistics - 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
- Серия: Lecture Notes in Computer Science
- Том: 7351
- Год издания: 2012
- Место издания: Springer
- Первая страница: 151
- Последняя страница: 160
- DOI: 10.1007/978-3-642-31262-5_10
- Аннотация: We extend the Lambek calculus with rules for a unary operation corresponding to language reversal and prove that this calculus is complete with respect to the class of models on subsets of free semigroups (L-models). We also prove that categorial grammars based on this calculus generate precisely all context-free languages without the empty word.
- Добавил в систему: Кузнецов Степан Львович