|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Craig's trick and a non-sequential system for the Lambek calculus and its fragmentsстатья
Статья опубликована в высокорейтинговом журнале
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 20 декабря 2019 г.
- Авторы: Kuznetsov Stepan, Lugovaya Valentina, Ryzhova Anastasiia
- Журнал: Logic Journal of the IGPL
- Том: 27
- Номер: 3
- Год издания: 2019
- Издательство: Oxford University Press
- Местоположение издательства: United Kingdom
- Первая страница: 252
- Последняя страница: 266
- DOI: 10.1093/jigpal/jzy037
- Аннотация: We show that Craig’s trick is not valid for the Lambek calculus, i.e. there exists such a recursively enumerable theory (set of sequents) over the Lambek calculus, which does not have a decidable axiomatization. We show that Lambek’s non-emptiness restriction (the constraint that left-hand sides of all sequents should be non-empty) and an infinite set of variables are crucial for the failure of Craig’s trick. We also present a non-sequential formulation of the product-free fragment of the Lambek calculus and show its equivalence to the sequential one.
- Добавил в систему: Кузнецов Степан Львович