|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
L-completeness of the Lambek calculus with the reversal operation allowing empty antecedentsстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 28 мая 2015 г.
- Автор: Kuznetsov S.L.
- Сборник: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday
- Серия: Lecture Notes in Computer Science
- Том: 8222
- Год издания: 2014
- Место издания: Springer Berlin, Heidelberg
- Первая страница: 268
- Последняя страница: 278
- DOI: 10.1007/978-3-642-54789-8_15
- Аннотация: 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).
- Добавил в систему: Кузнецов Степан Львович