|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Language completeness of the Lambek calculusстатья
Информация о цитировании статьи получена из
Web of Science
Дата последнего поиска статьи во внешних источниках: 6 декабря 2018 г.
- Автор: Pentus Mati
- Сборник: Proceedings of the 9th Annual Symposium on Logic in Computer Science (LICS'94), Paris, France, July 4-7, 1994
- Серия: LICS
- Год издания: 1994
- Издательство: IEEE Computer Society
- Местоположение издательства: United States
- Первая страница: 487
- Последняя страница: 496
- DOI: 10.1109/LICS.1994.316042
- Аннотация: We prove that the Lambek calculus, which is essentially a subsystem of noncommutative linear logic, is complete with respect to L-models, i.e. free semigroup models.
- Добавил в систему: Золин Евгений Евгеньевич