|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
On the Completeness of Lambek Calculus with Respect to Cofinite Language Modelsстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 28 октября 2016 г.
- Автор: Sorokin Alexey
- Сборник: 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
- Первая страница: 229
- Последняя страница: 233
- DOI: 10.1007/978-3-642-31262-5_16
- Аннотация: We give an alternative proof of the fact that the product-free Lambek calculus is complete with respect to cofinite language models. It was first proved by Buszkowski in 1982 by the method of barriers. We use another method, which is also based on the technique of canonical models, to obtain a new proof of this result.
- Добавил в систему: Сорокин Алексей Андреевич