|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Undecidability of a newly proposed calculus for CatLog3доклад на конференции
- Авторы: Kanovich Max, Kuznetsov Stepan, Scedrov Andre
- Международная Конференция : Formal Grammar 2019
- Даты проведения конференции: 11 августа 2019
- Дата доклада: 11 августа 2019
- Тип доклада: Пленарный
- Докладчик: Kuznetsov Stepan
- Место проведения: Рига, Latvia
-
Аннотация доклада:
In his recent papers “Parsing/theorem-proving for logical grammar CatLog3” and “A note on movement in logical grammar”, Glyn Morrill proposes a new substructural calculus to be used as the basis for the categorial grammar parser CatLog3. In this paper we prove that the derivability problem for a fragment of this calculus is algorithmically undecidable.
- Добавил в систему: Кузнецов Степан Львович